haskell-lisp / blaise
Slava Akhmechet's Lisp from 2006
☆14Updated 10 years ago
Related projects: ⓘ
- TODO☆10Updated 8 years ago
- ☆10Updated last month
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆23Updated 10 years ago
- ☆34Updated 5 years ago
- An intensely interactive, graphical theorem prover based on natural deduction☆30Updated 10 years ago
- Lua parser and pretty-printer☆14Updated 4 months ago
- The MLtonLibrary repository☆34Updated last year
- Types representing line and column positions and ranges in text files☆11Updated last year
- The generalized intensional compiler for a Haskell-like language.☆14Updated 6 years ago
- BibTeX database management in Idris☆18Updated 10 years ago
- Port of Shen to run on top of Wasp Lisp☆25Updated 2 years ago
- A proof that Idris is pacman complete☆8Updated 6 years ago
- Relational Scheme interpreter, written in miniKanren, with Scheme pattern matcher☆11Updated 9 years ago
- Interpreter for Joy in Haskell using extensible-effects☆34Updated 7 years ago
- An implementation of microKanren in Shen☆9Updated 9 years ago
- Pure relational SKI combinator calculus interpreter.☆10Updated 7 years ago
- Transducers for Idris: a library for composable algorithmic transformation.☆32Updated 7 years ago
- Used libraries: llvm-general, llvm-general-pure - 3.4.2-1; llvm version: 3.4.2-1; Based on http://www.stephendiehl.com/llvm/ solution.☆7Updated 9 years ago
- Vector & affine spaces, linear maps, and derivatives☆45Updated last month
- ☆23Updated 6 years ago
- Efficient parsing and encoding of Lisp expressions for Haskell.☆24Updated 4 years ago
- Abstactions and concrete implementations of mutable containers☆14Updated 8 years ago
- SVG Combinators for Haskell☆23Updated 7 years ago
- (Somewhat) Algebraic Data Types for Racket☆35Updated last year
- The Alms Programming Language☆43Updated 6 years ago
- Backtracking monad in Haskell☆14Updated 2 years ago
- An embedding of miniKanren in Shen.☆24Updated 9 years ago
- Safe and minimal Haskell Prelude☆10Updated 4 years ago
- Materials for 2-hr LiquidHaskell Workshop