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
- Shem's powerful IDE.☆62Updated 4 years ago
- Experiments in Idris / Unity integration.☆49Updated 8 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 Snake clone.☆35Updated 12 years ago
- ☆23Updated 7 years ago
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆40Updated 7 years ago
- Type declarations for jQuery☆30Updated 5 years ago
- The Spire Programming Language☆59Updated 10 years ago
- A native PureScript virtual DOM implementation.☆49Updated 7 years ago
- Pacman implementation in Elm☆17Updated 7 years ago
- a simple functional language for learners☆30Updated 8 years ago
- 2048 in Idris☆121Updated 7 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- A wrapper for Node's HTTP APIs☆40Updated last year
- Slides & demos for talks I do☆59Updated 4 years ago
- Haskell bindings for a very compact embedded JavaScript engine | now on https://codeberg.org/valpackett/hs-duktape☆23Updated 2 years ago
- ☆35Updated 5 years ago
- Asteroids for a web browser, in PureScript☆44Updated 10 years ago
- ☆41Updated 7 years ago
- Visually describe Haskell/Purescript/Elm types☆105Updated 7 years ago
- An Elm library for creating diagrams, inspired by Brent Yorgey's Diagrams library for Haskell.☆44Updated 8 years ago
- A partial clone of 2D Star Dodge☆26Updated 9 years ago
- A secure web framework, built in the Idris language.☆110Updated 11 years ago
- The Alms Programming Language☆44Updated 6 years ago
- Companion code for "Why Dependent Types Matter" paper.☆60Updated 6 years ago
- An implementation of the Core language☆30Updated 9 years ago
- IO for Elm☆29Updated 9 years ago
- A simple UI for evaluating expressions in the untyped lambda calculus☆56Updated 2 years ago
- PureScript compiler written in PureScript (On hold / inactive)☆61Updated 10 years ago