There are no reviews yet. Be the first to send feedback to the community and the maintainers!
amd2901
An AMD am2901 4-bit ALU sliceMechaml
[Experimental] High-level, safe interfacing between Rust and OCamlRustLex
Lexical analysers generator for Rust, written in Rusthmx
A toy implementation of the HM(X) type system (see http://pauillac.inria.fr/~fpottier/publis/emlti-final.pdf)mu-lambda
An extensible type system laboratory.RustLex-old
Lexical analysers generator (Lex-like) for Rustpkg-remove
Utility to uninstall OS X software installed via .pkg filesr7.rs-vm
A lightweight virtual machine for functional languages interpretationracket-lambda-calculus
A Racket #lang module for Ξ»-calculus.rust-compiletest
A copy of the compiletest program of Rust, to be used with other projects.r7.rs
An implementation of R7RS Scheme. Consists of a bytecode compiler and a virtual machine.Schell
Schell : the Scheme shell. An useless, improbable and aberrant mix of Scheme and UNIX shell.Love Open Source and this site? Check out how you can help us