naominitel/midi-lang

Stars
1
Language
Rust
Created almost 5 years ago
Updated over 3 years ago

naominitel/midi-lang

naominitel

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

[Archive] Synchronous dataflow langage for live programming of MIDI data (obsolete, new version at https://git.naomini.tel/nao/lysp)

amd2901

An AMD am2901 4-bit ALU slice

Mechaml

[Experimental] High-level, safe interfacing between Rust and OCaml

RustLex

Lexical analysers generator for Rust, written in Rust

hmx

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 Rust

pkg-remove

Utility to uninstall OS X software installed via .pkg files

r7.rs-vm

A lightweight virtual machine for functional languages interpretation

racket-lambda-calculus

A Racket #lang module for λ-calculus.

rust-compiletest

A copy of the compiletest program of Rust, to be used with other projects.

Schell

Schell : the Scheme shell. An useless, improbable and aberrant mix of Scheme and UNIX shell.

r7.rs

An implementation of R7RS Scheme. Consists of a bytecode compiler and a virtual machine.