Lamcal
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Type Inference | 295 | 7 years ago | 5 | OCaml | ||||||
| The Hindley Milner Type Inference Algorithm | ||||||||||
| Minitt Rs | 68 |  | 4 | 5 | 4 years ago | 7 | September 21, 2020 | 7 | apache-2.0 | Rust |
| Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust | ||||||||||
| Shen C | 54 | 2 years ago | 1 | C | ||||||
| A C implementation of the Shen programming language | ||||||||||
| Lambda Explorer | 52 | 2 years ago | 31 | mit | JavaScript | |||||
| Tutorial / REPL for the lambda calculus | ||||||||||
| Zxcalculus.jl | 44 | 3 months ago | 11 | mit | Julia | |||||
| An implementation of ZX-calculus in Julia | ||||||||||
| Chez Scmutils | 18 | 7 years ago | 1 | Scheme | ||||||
| Port of the 'MIT Scmutils' library to Chez Scheme. | ||||||||||
| Silly K | 13 | 7 years ago | Scheme | |||||||
| silly-k is an experimental hobby language inspired by K and APL | ||||||||||
| Screencasts | 9 | 9 years ago | Clojure | |||||||
| Typed Clojure screencasts | ||||||||||
| Ulc | 7 | 8 years ago | Swift | |||||||
| Untyped Lambda Calculus REPL written in Swift | ||||||||||
| Unnamed Project | 6 | 8 years ago | 1 | other | Haskell | |||||
| A toy STLC implementation. | ||||||||||
Alternatives To LamcalSelect To Compare
Alternative Project Comparisons
Popular Repl Projects
Popular 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.
Rust
Lambda Functions
Mathematics
Repl
Calculus