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:
- Awelon project is a new UI model with a new language.☆103Updated 9 years ago
- A tool for privacy-preserving identity management (PPIM)☆56Updated 8 years ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 6 years ago
- ncurses binding for Haskell☆62Updated last month
- A schemy Lisp backed by Haskell☆60Updated 6 years ago
- Haskell clone of a certain game☆95Updated 11 years ago
- Idris to Serpent back end for Ethereum smart contracts☆32Updated 7 years ago
- A Computer Algebra System written in and for Haskell☆26Updated 8 years ago
- A wiki based on firm theoretical foundations☆51Updated 9 years ago
- A formal moral framework coded in Haskell☆49Updated 10 years ago
- LambdaCube 3D is a Haskell-like purely functional language for GPU. Try it out:☆87Updated last year
- Haskell Semantics with Lisp Syntax☆68Updated 11 years ago
- Translate your console applications to run in the web browser and have reactive, window-oriented and spreadsheet effects for free. Widget…☆60Updated 9 years ago
- Distributed programming language that desugars to Morte☆92Updated 2 years ago
- Homotopy Type Theory proofs in Idris☆22Updated 6 years ago
- A pure Haskell implementation of Datalog☆105Updated 4 years ago
- Functional GPU programming - DSEL & compiler☆22Updated 8 years ago
- ☆89Updated 9 years ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆29Updated 7 years ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 9 years ago
- Experiments in Idris / Unity integration.☆49Updated 8 years ago
- ☆65Updated 7 years ago
- Model-view-controller☆64Updated 2 years ago
- Functional Computer Vision☆20Updated 11 years ago
- A PureScript prelude with more features.☆30Updated 7 years ago
- A simple interpreter and superoptimizer for the F18A instruction set used by GreenArrays chips.☆27Updated 4 years ago
- Code, wiki, and resources for the weekly miniKanren uncourse☆52Updated 10 years ago
- Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.☆60Updated 8 years ago
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆23Updated 9 years ago
- Static blog generator in Idris.☆40Updated 10 years ago