nomyx / NomyxLinks
The Nomyx game
☆84Updated last year
Alternatives and similar repositories for Nomyx
Users that are interested in Nomyx are comparing it to the libraries listed below
Sorting:
- A formal moral framework coded in Haskell☆49Updated 10 years ago
- Homotopy Type Theory proofs in Idris☆22Updated 6 years ago
- ☆65Updated 6 years ago
- Generate Haskell code from a type☆134Updated 3 months ago
- LambdaCube 3D is a Haskell-like purely functional language for GPU. Try it out:☆87Updated last year
- ☆89Updated 9 years ago
- A wiki based on firm theoretical foundations☆51Updated 9 years ago
- Awelon project is a new UI model with a new language.☆103Updated 9 years ago
- Idris to Serpent back end for Ethereum smart contracts☆32Updated 7 years ago
- Haskell clone of a certain game☆95Updated 11 years ago
- ncurses binding for Haskell☆61Updated 3 weeks ago
- Translate Pascal into Haskell☆51Updated 5 years ago
- A series of implementations of a simple functional programming language.☆30Updated 9 years ago
- Experiments in Idris / Unity integration.☆49Updated 8 years ago
- Bézier curves in Haskell☆28Updated 8 years ago
- Let GHC prove program equations for you☆145Updated 6 years ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 6 years ago
- A multi-method simulation library☆80Updated 11 months ago
- Functional GPU programming - DSEL & compiler☆22Updated 8 years ago
- Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐☆160Updated 6 years ago
- Dimensional library variant built on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+).☆112Updated 7 months ago
- A Computer Algebra System written in and for Haskell☆26Updated 8 years ago
- A programming language that runs in Haskell's type system.☆253Updated 9 years ago
- Model-view-controller☆64Updated 2 years ago
- compiler with polyhedral optmization for a lazy functional programming language☆67Updated 7 years 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…☆179Updated 7 years ago
- A simple UI for evaluating expressions in the untyped lambda calculus☆56Updated 2 years ago
- Distributed programming language that desugars to Morte☆92Updated 2 years ago
- A tool for privacy-preserving identity management (PPIM)☆56Updated 8 years ago
- An implementation of Google's Protocol Buffers in Haskell.☆96Updated 3 years ago