Highlights
- Pro
Stars
Tools for finding and manipulating differences between files
Forum for discussion about what unsafe code can and can't do
historical archive of rust pre-publication development
A futures abstraction that runs a set of futures which may complete in any order.
Experiments with structured concurrency in Rust
Async fundamentals initiative: portable and interoperable
💌 A beautiful, fast and fully open source mail client for Mac, Windows and Linux.
An interpreter for a concurrent lisp with message-passing and pattern-matching.
Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.
Proposal to add exception handling to WebAssembly
A formally verified compiler of untyped lambda calculus to brainfuck
A client/server indexer for c/c++/objc[++] with integration for Emacs based on clang.
brson / miri
Forked from rust-lang/miriAn experimental compiler from Rust to WebAssembly (inactive - do not use)
Open Source Continuous File Synchronization
A Rust Interface to the Linux sysfs GPIO interface (https://www.kernel.org/doc/Documentation/gpio/sysfs.txt)
HamShield Arduino Library and Example Sketches