naominitel/Mechaml naominitel/Mechaml

  • Stars
    star
    10
  • Rank 1,801,010 (Top 36 %)
  • Language
    Rust
  • Created over 6 years ago
  • Updated almost 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
naominitel/Mechaml
github

naominitel

Reviews

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

Repository Details

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

More Repositories

1

amd2901

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

RustLex

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

hmx

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

mu-lambda

An extensible type system laboratory.
Racket
4
star
5

RustLex-old

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

pkg-remove

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

r7.rs-vm

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

racket-lambda-calculus

A Racket #lang module for λ-calculus.
Racket
1
star
9

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
10

rust-compiletest

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

r7.rs

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

Schell

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