doppioslash / CastleOfElm
Roguelike for 7DRL make in Elm
☆30Updated 9 years ago
Alternatives and similar repositories for CastleOfElm:
Users that are interested in CastleOfElm are comparing it to the libraries listed below
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆23Updated 9 years ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 6 years ago
- ☆35Updated 5 years ago
- Haskell Snake clone.☆35Updated 12 years ago
- JVM implementation in Haskell☆44Updated 5 months ago
- IO for Elm☆29Updated 9 years ago
- ☆23Updated 7 years ago
- A native PureScript virtual DOM implementation.☆48Updated 7 years ago
- Experiments in Idris / Unity integration.☆49Updated 8 years ago
- Dynamic network FRP with events and continuous values☆52Updated 4 years ago
- A simple Prolog interpreter☆42Updated 3 years ago
- Clojure transducers in a typed setting, in Haskell☆55Updated 10 years ago
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆40Updated 7 years ago
- A step-by-step MicroKanren evaluator☆29Updated 8 years ago
- microkanren in sml☆26Updated 9 years ago
- A secure web framework, built in the Idris language.☆109Updated 11 years ago
- ☆49Updated 8 years ago
- *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers☆27Updated 8 years ago
- Relational Programming in miniKanren☆52Updated 9 years ago
- A purely functional, dynamically typed, parallel evaluated Lisp-like programming language☆35Updated 8 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 3 months ago
- Shem's powerful IDE.☆62Updated 4 years ago
- Yes, it is what you think it is☆33Updated 9 years ago
- S-expression-based syntax alternative for Haskell.☆21Updated 11 years ago
- Haskell port of the Hashids library.☆24Updated last year
- Type declarations for jQuery☆30Updated 4 years ago
- A data structure for drawings☆46Updated 6 years ago
- Transducers for Idris: a library for composable algorithmic transformation.☆32Updated 7 years ago
- The Alms Programming Language☆44Updated 6 years ago
- Implementations of µKanren in assorted languages☆61Updated 8 years ago