Sylvia
🌲 Logic puzzle game based on the lambda calculus
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Sylvia | 15 | 11 years ago | gpl-3.0 | Haskell | ||||||
| :evergreen_tree: Logic puzzle game based on the lambda calculus | ||||||||||
| Lambda Calculus Game | 14 | 2 years ago | ||||||||
| Mock A Mockingbird | 7 | 6 years ago | mit | Haskell | ||||||
| My answers to Raymond Smullyan's "To Mock a Mockingbird" combinator puzzles, including a solver in Haskell | ||||||||||
Alternatives To SylviaSelect To Compare
Alternative Project Comparisons
Popular Calculus Projects
Popular Puzzle Projects
Popular Mathematics Categories
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Video Game
Haskell
Lambda Functions
Puzzle
Calculus
Lambda Calculus