nomyx / NomyxLinks
The Nomyx game
☆86Updated 2 years ago
Alternatives and similar repositories for Nomyx
Users that are interested in Nomyx are comparing it to the libraries listed below
Sorting:
- A schemy Lisp backed by Haskell☆60Updated 7 years ago
- A formal moral framework coded in Haskell☆49Updated 10 years ago
- Awelon project is a new UI model with a new language.☆106Updated 10 years ago
- A Magic: the Gathering™ expert system☆95Updated 14 years ago
- The propagator system☆41Updated 10 years ago
- Noether programming language☆130Updated 8 years ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 7 years ago
- Relational Programming in miniKanren☆52Updated 10 years ago
- TiML: A Functional Programming Language with Time Complexity☆80Updated 8 years ago
- Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.☆89Updated 8 years ago
- LambdaCube 3D is a Haskell-like purely functional language for GPU. Try it out:☆87Updated 2 years ago
- Get those pesky braces out of your face☆49Updated 8 years ago
- Probabilistic computation in Idris☆33Updated 6 years ago
- Translate Pascal into Haskell☆51Updated 6 years ago
- A browser Pong game, taking advantage of Idris's ability to compile to javascript.☆18Updated 11 years ago
- ☆64Updated 7 years ago
- Automatically exported from code.google.com/p/ghilbert☆47Updated 8 years ago
- Lojban ologs (categorical databases) using jq☆25Updated 7 years ago
- Dependently-typed language with Iverson-style implicit lifting☆126Updated 5 years ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆29Updated 8 years ago
- ☆21Updated 10 years ago
- Running the code you want to write as fast as the code you have to write☆140Updated 9 years ago
- Roguelike for 7DRL make in Elm☆30Updated 10 years ago
- An example distributed systems application in Haskell using Cloud Haskell☆69Updated 5 years ago
- Vector & affine spaces, linear maps, and derivatives☆49Updated 8 months ago
- Simply Reactive! Declarative orchestration in Haskell using RDP☆274Updated 12 years ago
- Generate Haskell code from a type☆146Updated 11 months ago
- Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Id…☆182Updated 7 years ago
- The LVish Haskell library☆80Updated 3 years ago
- A step-by-step MicroKanren evaluator☆29Updated 9 years ago