Krivine Machine

Abstract krivine machine implementing call-by-name semantics. In OCaml.
Alternatives To Krivine Machine
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Fp Core.rs644
4 years ago25mitRust
A library for functional programming in Rust
Cognate196
2 months ago3bsd-2-clauseC
A human readable quasi-concatenative programming language
Krivine Machine29
6 years agoOCaml
Abstract krivine machine implementing call-by-name semantics. In OCaml.
Alternatives To Krivine Machine
Select To Compare


Alternative Project Comparisons
Popular Closure Projects
Popular Lambda Calculus Projects
Popular User Interface Categories
Related Searches

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Ocaml
Programming Language
Closure
Lambda Calculus