verus-lang/verus

Commits: 968

isubasinghe/monday-talk

Commits: 618

isubasinghe/verus

Commits: 331

utaal/utaal.github.io

Commits: 164

TimelyDataflow/timely-dataflow

A modular implementation of timely dataflow in Rust

Commits: 78

tisonkun/timely-dataflow

Commits: 78

wuchunfu/timely-dataflow

Commits: 78

frankmcsherry/timely-dataflow

Commits: 75

utaal/infinity-rust

Commits: 43

utaal/spsc-bip-buffer

A concurrent, spsc ring-buffer with sized reservations

Commits: 42

buildo/retro

One repo to rule them all

Commits: 41

utaal/hdrhist

Commits: 25

TimelyDataflow/diagnostics

Diagnostic tools for timely dataflow computations

Commits: 23

TimelyDataflow/differential-dataflow

An implementation of differential dataflow using timely dataflow on Rust.

Commits: 20

buildo/nozzle

Commits: 11

buildo/mvn

Commits: 6

turbopuffer/tpuf-benchmark

Commits: 5

utaal/signalling

A lightweight signal to (un)park a single thread

Commits: 4

gcanti/tcomb

Commits: 4

feldera/feldera

Commits: 3

rust-lang/rust-clippy

A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/

Commits: 3

dongjoon-hyun/rust

Commits: 3

matthiaskrgr/rust-clippy2

test repo

Commits: 3

jnqnfe/rust

A safe, concurrent, practical language.

Commits: 3

Andrea-MariaDB-2/rust

Commits: 3

myasuka/feldera

Commits: 3

Manishearth/rust-clippy

Commits: 3

ferrocene/ferrocene

Source code of Ferrocene, safety-critical Rust toolchain

Commits: 3

rust-lang-nursery/rust-clippy

Commits: 3

rust-lang/rust

Empowering everyone to build reliable and efficient software.

Commits: 3

li1/snailtrail

Commits: 2

http4s/http4s

A minimal, idiomatic Scala interface for HTTP

Commits: 2

rust-lang/polonius

Defines the Rust borrow checker.

Commits: 2

http4s/blaze

Blazing fast NIO microframework and Http Parser

Commits: 2

rust-lang-nursery/polonius

Commits: 2

ndimiduk/homebrew

Commits: 1

cstamas/homebrew

Commits: 1

microsoft/verified-storage

Commits: 1

tadayosi/homebrew-core

Commits: 1

marcaurele/homebrew-core

Commits: 1

xldenis/creusot

Commits: 1

kapadia/homebrew

Commits: 1

clear-crab/embedded-book

Commits: 1

abernier/homebrew

Commits: 1

sukso96100/homebrew-cask

Commits: 1

rust-embedded/book

Commits: 1

papers-we-love/papers-we-love

Commits: 1

matthewoestreich/z3

Commits: 1

meilisearch/bbqueue

Commits: 1

jamesmunns/bbqueue

A SPSC, lockless, no_std, thread safe, queue, based on BipBuffers

Commits: 1

Homebrew/legacy-homebrew

💀 The former home of Homebrew/homebrew (deprecated)

Commits: 1

com-lihaoyi/utest

A simple testing framework for Scala

Commits: 1

sjackman/linuxbrew-core

:beers::penguin: Core formulae for the Linuxbrew package manager

Commits: 1

mistydemeo/tigerbrew

Experimental fork of homebrew for PPC Macs on Tiger

Commits: 1

mistydemeo/tigerbrew

Experimental fork of homebrew for PPC Macs on Tiger

Commits: 1

314-education/book

Documentation on how to use the Rust Programming Language to develop firmware for bare metal (microcontroller) devices

Commits: 1

314-education/book

Documentation on how to use the Rust Programming Language to develop firmware for bare metal (microcontroller) devices

Commits: 1

creusot-rs/creusot

Creusot helps you prove your code is correct in an automated fashion.

Commits: 1

Z3Prover/z3

The Z3 Theorem Prover

Commits: 1

Homebrew/homebrew-core

🍻 Default formulae for the missing package manager for macOS (or Linux)

Commits: 1

Homebrew/homebrew-core

🍻 Default formulae for the missing package manager for macOS (or Linux)

Commits: 1

Homebrew/homebrew-cask

🍻 A CLI workflow for the administration of macOS applications distributed as binaries

Commits: 1

ipatch/homebrew-core-bigsur

Commits: 1

ipatch/homebrew-core-catalina

alt homebrew-core for macos catalina attempt to set repo to allow CI to build bottles for macos 10.15

Commits: 1

ipatch/homebrew-core-catalina

alt homebrew-core for macos catalina attempt to set repo to allow CI to build bottles for macos 10.15

Commits: 1

ungtb10d/homebrew-core

Commits: 1

ungtb10d/homebrew-core

Commits: 1

utaal/homebrew-tap

Commits: 1

chef/homebrew-cask-autotesting

Disposable git fork via github for testing. Do not use.

Commits: 1

scalatra/scalatra.g8

A giter8 template for a basic Scalatra SBT project

Commits: 1

propensive/scalaworld

Scala World website

Commits: 1

ReactiveMongo/ReactiveMongo

:leaves: Non-blocking, Reactive MongoDB Driver for Scala

Commits: 1

brightdigit/homebrew-speculid

BrightDigit Tap for Homebrew

Commits: 1

djbender/homebrew-tmux

Commits: 1

bholt/linuxbrew

My fork of linuxbrew.

Commits: 1

utaal/blip

A queue of queues

Commits: 1

fasterthanlime/homebrew-mingw

:warning: brew for Windows (legacy)

Commits: 1

mistydemeo/tigerbrew-core

Commits: 1

utaal/christmas

Commits: 1

syhw/homebrew

my homebrew kegs/ports

Commits: 1

andrew/homebrew

Commits: 1

timbru31/homebrew-cask

Commits: 1

verus-lang/verusfmt

Commits: 1

janl/homebrew

Commits: 1

rnewson/homebrew

Commits: 1