kobalicek / webcivLinks
A Strategy Game Engine in JavaScript
☆11Updated 8 years ago
Alternatives and similar repositories for webciv
Users that are interested in webciv are comparing it to the libraries listed below
Sorting:
- Code samples inspiring language design☆23Updated 9 years ago
- A lazy non-deterministic concatenative programming language☆55Updated 12 years ago
- A simple interpreter and superoptimizer for the F18A instruction set used by GreenArrays chips.☆28Updated 4 years ago
- Try Idris☆35Updated 10 years ago
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆40Updated 7 years ago
- Explicitly Typed exceptions as a library☆22Updated 4 years ago
- The Dao System, a Haskell package providing a domain-specific scripting language and knowledge base designed for artificial intelligence,…☆46Updated 5 years ago
- A Haskell embedded DSL for generating an API's JSON wrappers and documentation.☆34Updated last month
- State machines in Idris☆37Updated 9 years ago
- This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"☆19Updated 6 years ago
- An intensely interactive, graphical theorem prover based on natural deduction☆29Updated 11 years ago
- IO for Elm☆29Updated 10 years ago
- Minimal IRC client in Elm.☆18Updated 6 years ago
- Share your research online by compiling it to JavaScript!☆23Updated 11 years ago
- Haskell implementation of the InterPlanetary File System☆14Updated 11 years ago
- Haskell Join-calculus DSL☆24Updated 6 years ago
- An implementation of wxAsteroids in javascript using UHC (Utrecht Haskell Compiler)☆12Updated 11 years ago
- TeLLer is a collection of tools that explore the use of linear logic applied to narrative generation and story telling.☆18Updated 10 years ago
- ☆16Updated 10 years ago
- Roguelike for 7DRL make in Elm☆30Updated 9 years ago
- Materials for my LambdaConf 2015 Workshop☆17Updated 10 years ago
- Haskell to Elm translation using Template Haskell. Contains both a library and executable.☆49Updated 7 years ago
- Gidl: an Interface Description Language☆10Updated 8 years ago
- Haskell Snake clone.☆35Updated 13 years ago
- Explaining category theory by example☆10Updated 8 years ago
- Matlab bindings and interface for Haskell☆13Updated 5 years ago
- Bindings to Haskell's IO monad which respect Agda's semantics☆24Updated 7 years ago
- Translate Pascal into Haskell☆51Updated 6 years ago
- SDL2 Bindings for the Idris programming language☆10Updated 5 years ago
- An HTTP library for idris☆39Updated 6 years ago