Naomi Nitel (@naominitel)
github

naominitel

Twitter logo Share LinkedIn logo Share Facebook logo Share

Top repositories

1

amd2901

An AMD am2901 4-bit ALU slice
Assembly
10
star
2

Mechaml

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

RustLex

Lexical analysers generator for Rust, written in Rust
Rust
9
star
4

hmx

A toy implementation of the HM(X) type system (see http://pauillac.inria.fr/~fpottier/publis/emlti-final.pdf)
OCaml
7
star
5

mu-lambda

An extensible type system laboratory.
Racket
4
star
6

RustLex-old

Lexical analysers generator (Lex-like) for Rust
Rust
2
star
7

pkg-remove

Utility to uninstall OS X software installed via .pkg files
C
2
star
8

r7.rs-vm

A lightweight virtual machine for functional languages interpretation
Rust
2
star
9

racket-lambda-calculus

A Racket #lang module for Ξ»-calculus.
Racket
1
star
10

rust-compiletest

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

midi-lang

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

r7.rs

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

Schell

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