-
singletons Public
An implementation of singleton types in Rust using macros, and type level programming.
-
morphism.rs Public
A structure for suspended closure composition in Rust
Rust MIT License UpdatedJul 5, 2015 -
-
rust-fuse Public
Forked from zargony/fuse-rsRust library for filesystems in userspace (FUSE)
Rust MIT License UpdatedJun 10, 2015 -
-
lambdaconf-2015-official Public
Forked from degoes-consulting/lambdaconf-2015The official supporting materials repository for LambdaConf 2015.
JavaScript Artistic License 2.0 UpdatedMay 27, 2015 -
-
Idris-dev Public
Forked from idris-lang/Idris-devA Dependently Typed Functional Programming Language
Haskell Other UpdatedApr 13, 2015 -
-
coq Public
Forked from rocq-prover/rocqCoq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…
OCaml GNU Lesser General Public License v2.1 UpdatedFeb 24, 2015 -
acetic Public
A playground for experimenting with Rust's type system
-
hacking-rustc Public
Random documentation and wisdom assembled while hacking on Rustc.
UpdatedFeb 3, 2015 -
concurrency Public
A place to stash my experiments in Rust concurrency primitives
Rust UpdatedJan 30, 2015 -
290c-reading-list Public
A reading list with citations for UCSB's CS 290G
-
-
-
pg-typeprovider Public
A macro that implements a type provider for PostgreSQL schema.
-
-
gradr Public
Scalable automatic grading for everyone! (for CS 290B)
Ruby MIT License UpdatedNov 13, 2014 -
-
rust-mustache Public
Forked from nickel-org/rust-mustachemustache template library for rust
Rust Other UpdatedOct 12, 2014 -
rust-openssl Public
Forked from rust-openssl/rust-opensslOpenSSL bindings for Rust
Rust Other UpdatedOct 11, 2014 -
session Public
Forked from iron-graveyard/sessionSessioning middleware for the iron web framework.
-
ghc-mod-atom Public
Explorations in adding ghc-mod to Atom.
CoffeeScript MIT License UpdatedOct 2, 2014 -
-
rust-http Public
Forked from chris-morgan/rust-httpRust HTTP library (server and client) [obsolete but still maintained until teepee/teepee is ready]
Rust Other UpdatedOct 2, 2014 -
rustv Public
A tool for managing multiple versions of the Rust compiler.
-
toolbelt-rs Public
A Rust library full of extensions to the standard library
Rust MIT License UpdatedSep 30, 2014 -
-
toml-rs Public
Forked from toml-rs/toml-rsA TOML encoding/decoding library for Rust
Rust UpdatedSep 18, 2014
{{ message }}