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:
- A secure web framework, built in the Idris language.☆110Updated 11 years ago
- μKanren in Elm☆43Updated 8 years ago
- Haskell Snake clone.☆35Updated 13 years ago
- Implementations of µKanren in assorted languages☆64Updated 9 years ago
- The LVish Haskell library☆80Updated 2 years ago
- A simple Prolog interpreter☆42Updated 3 years ago
- The Ntha Programming Language☆91Updated 8 years ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 6 years ago
- Shem's powerful IDE.☆62Updated 5 years ago
- Asteroids for a web browser, in PureScript☆44Updated 11 years ago
- A schemy Lisp backed by Haskell☆60Updated 6 years ago
- microkanren in sml☆26Updated 10 years ago
- Experiments in Idris / Unity integration.☆49Updated 8 years ago
- A small strongly typed language that compiles to C++11☆152Updated 6 years ago
- A purely functional, dynamically typed, parallel evaluated Lisp-like programming language☆35Updated 9 years ago
- Slides & demos for talks I do☆58Updated 5 years ago
- A simple FRP library providing leak-free first-class streams.☆114Updated 9 years ago
- A partial clone of 2D Star Dodge☆26Updated 10 years ago
- A step-by-step MicroKanren evaluator☆29Updated 8 years ago
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆40Updated 7 years ago
- Haskell bindings to the libui C library.☆48Updated 7 years ago
- 2048 in Idris☆123Updated 7 years ago
- The Red Flag of Functional Programming☆105Updated 3 years ago
- A simple implementation of the algebra of pictures in Haskell outlined in Peter Henderson's "Functional Geometry".☆26Updated 8 years ago
- Clojure transducers in a typed setting, in Haskell☆55Updated 10 years ago
- A lazy non-deterministic concatenative programming language☆55Updated 12 years ago
- Funslang is a pure functional shading language for graphics processors. It borrows heavily from ML and Haskell.☆43Updated 4 years ago
- A prolog interpreter written in Haskell.☆62Updated 10 years ago
- (Haskell) Web application server with stateful, type safe user interactions and widget combinators☆101Updated 9 years ago
- Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.☆61Updated 8 years ago