naominitel/hmx naominitel/hmx

  • Stars
    star
    7
  • Rank 2,294,772 (Top 46 %)
  • Language
    OCaml
  • Created over 6 years ago
  • Updated over 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
naominitel/hmx
github

naominitel

Reviews

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

Repository Details

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

More 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

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

Schell

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

r7.rs

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