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
- š Better Haskell documentation.ā17Updated 4 years ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis projectā17Updated 6 years ago
- Austin's supercompiler workā21Updated 5 years ago
- Small implementation of OutsideIn(X) type checking algorithmā31Updated 10 years ago
- High level, generic library for interrogative user interfaces in Haskellā41Updated 4 years ago
- A partial binary associative operator (appendMaybe :: a ā a ā Maybe a)ā13Updated 9 months ago
- The compilation target that functional programmers always wanted.ā62Updated 5 years ago
- A two-dimensional parser combinator library.ā41Updated 8 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effectsā35Updated 9 months ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.ā32Updated 5 years ago
- Edit is a monad for rewriting things.ā23Updated 4 years ago
- ICFP tutorialā39Updated 4 years ago
- š Idris implementation of patricia treeā23Updated 4 years ago
- ICFP Bingo 2017 (Idris edition)ā30Updated 5 years ago
- Haskell port of the WebAssembly OCaml reference interpreterā45Updated 2 years ago
- Efficient parser combinators for Haskellā39Updated this week
- Template for Hindley-Milner based languagesā39Updated 3 years ago
- Efficient implementation of the implicit treap data structureā62Updated 4 years ago
- semirings and *-semirings of types in base/haskell-platformā42Updated last year
- š§ Liquid Haskell integration for Cabal and Stackā25Updated 6 years ago
- Combine and enhance Functorsā39Updated last month
- A simple library I wrote to allow me to quickly and easily construct command line interfaces.ā28Updated 2 years ago
- š Actor library for Haskellā30Updated 2 years ago
- Compile Dhall expressions to Cabal filesā101Updated 2 years ago
- Non-empty Vectorsā25Updated 3 months ago
- Wrap up Haskell toolsā15Updated 4 years ago
- ā20Updated 6 years ago
- Zippers for cofree typesā13Updated 3 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