gabriel-fallen

gabriel-fallen

👤 Developer

2 repositories on SrcLog

View on GitHub
2 Repos
11 Stars
1 Forks
11 Watchers

Repositories (2)

rusty-krivine gabriel-fallen/rusty-krivine Rust

Extended Krivine machine implemented in Rust.

6
krivine-extended gabriel-fallen/krivine-extended Haskell

An implementation of extended Krivine machine.

5