Discover @naominitel Open Source projects

Naomi Nitel (@naominitel)

naominitel

Stars
51
Global Rank 336,599 (Top 12 %)
Followers 17
Registered almost 7 years ago
Most used languages

Rust
46.2 %

Racket
23.1 %

Assembly
7.7 %

C
7.7 %

Scheme
7.7 %

OCaml
7.7 %
Location 🇫🇷 France
Country Total Rank 8,296
Country Ranking

Racket
5

Scheme
50

Assembly
78

OCaml
142

Rust
361

C
3,437

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.

midi-lang

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

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.