Signs
A tool for working with abstract categorial grammars (ACG) . Includes a REPL util where terms can be entered, type checked and evaluated.
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Lambdalisp | 187 | a year ago | mit | Common Lisp | ||||||
| A Lisp interpreter written in untyped lambda calculus | ||||||||||
| Lambda Explorer | 52 | 2 years ago | 31 | mit | JavaScript | |||||
| Tutorial / REPL for the lambda calculus | ||||||||||
| Lambda | 17 | 3 years ago | apache-2.0 | C++ | ||||||
| lambda calculus interpreter | ||||||||||
| Silly K | 13 | 7 years ago | Scheme | |||||||
| silly-k is an experimental hobby language inspired by K and APL | ||||||||||
| Gazelle | 7 | 5 years ago | 3 | gpl-3.0 | Python | |||||
| Gazelle - A scripting language inspired by LISP and Scheme | ||||||||||
| Ulc | 7 | 8 years ago | Swift | |||||||
| Untyped Lambda Calculus REPL written in Swift | ||||||||||
| Malcjs | 5 |  | 2 | 3 years ago | 8 | November 15, 2020 | JavaScript | |||
| Make a lambda calculus - npm package version for JavaScript | ||||||||||
| L | 5 | 14 years ago | lgpl-3.0 | C | ||||||
| A Small Evaluator for Untyped Lambda Calculus | ||||||||||
| Signs | 5 | 8 years ago | mit | Haskell | ||||||
| A tool for working with abstract categorial grammars (ACG) . Includes a REPL util where terms can be entered, type checked and evaluated. | ||||||||||
Alternatives To SignsSelect To Compare
Alternative Project Comparisons
Popular Repl Projects
Popular Lambda Calculus Projects
Popular User Interface Categories
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Haskell
Repl
Grammar
Lambda Calculus