elben / neblen
A programming language
☆8Updated 8 years ago
Related projects: ⓘ
- An embedding of miniKanren in Shen.☆24Updated 9 years ago
- microkanren in sml☆26Updated 9 years ago
- Lollimon, a monadic concurrent linear logic programming language☆26Updated 12 years ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 5 years ago
- A purely functional, dynamically typed, parallel evaluated Lisp-like programming language☆35Updated 8 years ago
- Clojure transducers in a typed setting, in Haskell☆55Updated 9 years ago
- A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!☆22Updated 8 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 6 years ago
- Transducers for Idris: a library for composable algorithmic transformation.☆32Updated 7 years ago
- Yes, really!☆11Updated 9 years ago
- LambdaConf 2017 Fusion Presentation☆10Updated 7 years ago
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆24Updated 8 years ago
- Relational Scheme interpreter, written in miniKanren, with Scheme pattern matcher☆11Updated 9 years ago
- Type Inference Prototyping Engine from Relational specifications of type systems☆11Updated 4 years ago
- Mindless, verified (erasably) coding using dependent types, phase 2☆20Updated 4 years ago
- Relational Programming in miniKanren☆52Updated 9 years ago
- A playground for type theory implementations in Racket☆20Updated 8 years ago
- The LVish Haskell library☆81Updated last year
- Interpreter for Joy in Haskell using extensible-effects☆34Updated 7 years ago
- Abstactions and concrete implementations of mutable containers☆14Updated 8 years ago
- System POSIX bindings for Idris.☆35Updated 5 years ago
- A purely functional programming language intended for practical programming.☆28Updated 14 years ago
- Yes, it is what you think it is☆33Updated 8 years ago
- ☆37Updated this week
- A library for composable and effectful production, transformation and consumption of streams of data in Idris☆37Updated 6 years ago
- ☆21Updated 7 years ago
- TODO☆10Updated 8 years ago
- The Alms Programming Language☆43Updated 6 years ago
- Miller/pattern unification in Agda☆62Updated 10 years ago