lortabac / ariel
A simple, purely-functional programming language
☆24Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for ariel
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- Dependently typed elimination functions using singletons☆28Updated 2 weeks ago
- 🌋 Idris implementation of patricia tree☆22Updated 4 years ago
- Edit is a monad for rewriting things.☆23Updated 4 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆34Updated 2 weeks ago
- ☆23Updated 7 years ago
- Type Safe LLVM IR ( Experimental )☆49Updated 6 years ago
- Kleene algebra, regular expressions☆32Updated 11 months ago
- Session Types with Priority in Linear Haskell☆25Updated 4 months ago
- Funny little Haskell impl☆18Updated 4 years ago
- A partial binary associative operator (appendMaybe :: a → a → Maybe a)☆14Updated last month
- Formalised embedding of an imperative language with effect system into session-typed pi calculus.☆28Updated 9 years ago
- Deep evaluation of data structures☆41Updated 2 months ago
- A usable type system for call by push-value☆28Updated 4 years ago
- van Laarhoven lenses for Idris☆20Updated 7 years ago
- Hakyll support for Agda literate files☆19Updated 3 years ago
- First class patterns and pattern matching, using type families☆17Updated 4 years ago
- classical sequent calculus, embedded in Haskell☆19Updated 2 years ago
- higher-kinded data☆30Updated last year
- Interpreter for functional pure type systems.☆21Updated 7 years ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆18Updated 5 years ago
- A natural transformation package☆16Updated last week
- Austin's supercompiler work☆21Updated 4 years ago
- Order theory☆23Updated last year
- Reification of data structures using observable sharing☆28Updated last week
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆51Updated 6 years ago
- "operating system" based on the calculus of constructions☆18Updated 2 years ago
- 💧 Liquid Haskell integration for Cabal and Stack☆24Updated 5 years ago
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago