lortabac / arielLinks
A simple, purely-functional programming language
ā25Updated 3 years ago
Alternatives and similar repositories for ariel
Users that are interested in ariel are comparing it to the libraries listed below
Sorting:
- A compiler for a simple language using llvmā35Updated 2 years ago
- š Idris implementation of patricia treeā23Updated 4 years ago
- Small implementation of OutsideIn(X) type checking algorithmā31Updated 10 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effectsā35Updated 10 months ago
- The compilation target that functional programmers always wanted.ā62Updated 5 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.ā32Updated 5 years ago
- Austin's supercompiler workā21Updated 5 years ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis projectā17Updated 6 years ago
- Classes for types where we know all the valuesā39Updated 7 months ago
- A partial binary associative operator (appendMaybe :: a ā a ā Maybe a)ā13Updated 10 months ago
- š§ Liquid Haskell integration for Cabal and Stackā25Updated 6 years ago
- ICFP tutorialā39Updated 4 years ago
- A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of sā¦ā21Updated 5 years ago
- š Better Haskell documentation.ā17Updated 4 years ago
- Haskell time library focusing on performanceā57Updated last week
- A two-dimensional parser combinator library.ā41Updated 8 years ago
- Haskell port of the WebAssembly OCaml reference interpreterā45Updated 2 years ago
- MPFR bindings for Haskellā35Updated last year
- ā41Updated 8 years ago
- Hedgehog will eat your typeclass bugsā56Updated 2 months ago
- ICFP Bingo 2017 (Idris edition)ā30Updated 6 years ago
- ā44Updated 5 months ago
- Zippers for cofree typesā13Updated 3 years ago
- Efficient implementation of the implicit treap data structureā62Updated 4 years ago
- Robust prettyprinter for output of auto-generated Show instancesā17Updated 5 years ago
- Ties the knot on data structures that reference each other by unique keysā47Updated last year
- Deep evaluation of data structuresā43Updated 2 months ago
- Dual Traversableā42Updated 2 years ago
- A small NuPRL style proof assistantā31Updated 6 years ago
- Build tool for ATS.ā42Updated 3 years ago