doppioslash / CastleOfElmLinks
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
Sorting:
- Shem's powerful IDE.☆62Updated 4 years ago
- Experiments in Idris / Unity integration.☆49Updated 8 years ago
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆40Updated 7 years ago
- Haskell Snake clone.☆35Updated 13 years ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 6 years ago
- A purely functional, dynamically typed, parallel evaluated Lisp-like programming language☆35Updated 9 years ago
- Haskell port of the Hashids library.☆24Updated last year
- IO for Elm☆29Updated 9 years ago
- just another compiler experiment☆14Updated 8 years ago
- microkanren in sml☆26Updated 10 years ago
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆23Updated 9 years ago
- A secure web framework, built in the Idris language.☆110Updated 11 years ago
- ☆23Updated 7 years ago
- Slides & demos for talks I do☆58Updated 4 years ago
- A native PureScript virtual DOM implementation.☆49Updated 8 years ago
- The Alms Programming Language☆44Updated 6 years ago
- Learning project by a group of people interested in learning the Idris language☆50Updated 10 years ago
- A partial implementation of Protocol Buffers in Idris☆31Updated 7 years ago
- 2048 in Idris☆122Updated 7 years ago
- μKanren in Elm☆43Updated 8 years ago
- ☆35Updated 5 years ago
- A step-by-step MicroKanren evaluator☆29Updated 8 years ago
- An implementation of the Core language☆30Updated 9 years ago
- Pacman implementation in Elm☆17Updated 7 years ago
- A simple Prolog interpreter☆42Updated 3 years ago
- A modified version of Brent Yorgey's CIS 194 Haskell course☆17Updated 4 years ago
- Implementations of µKanren in assorted languages☆63Updated 9 years ago
- ☆13Updated 7 years ago
- Haskell bindings to the libui C library.☆48Updated 7 years ago
- Multiplayer tile-laying board game in Elm☆19Updated last year