haskell-lisp / blaise

Related projects ⓘ

Alternatives and complementary repositories for blaise

• jasonhemann / microKanren-shen
  An implementation of microKanren in Shen
  ☆9Updated 9 years ago
• racket / parser-tools
  ☆11Updated 2 weeks ago
• deech / shen-rust
  ☆34Updated 5 years ago
• micahhahn / FunctionalGeometry
  A simple implementation of the algebra of pictures in Haskell outlined in Peter Henderson's "Functional Geometry".
  ☆26Updated 7 years ago
• haskell-lisp / lisk
  Exploratory new work on a Haskell Lisp
  ☆16Updated 8 years ago
• liamoc / hilbert
  An intensely interactive, graphical theorem prover based on natural deduction
  ☆29Updated 10 years ago
• webyrd / alphaKanren
  Nominal logic programming extensions to miniKanren, based on alphaProlog.
  ☆24Updated 10 years ago
• mietek / haskell-exchange-2015
  TODO
  ☆10Updated 9 years ago
• miniKanren / sokuza-kanren
  Oleg Kiselyov's minimal implementation of logic programming
  ☆24Updated 11 years ago
• nikita-volkov / slave-thread
  A principal solution to ghost threads and silent exceptions
  ☆24Updated last year
• egison / backtracking
  Backtracking monad in Haskell
  ☆14Updated 2 years ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆22Updated this week
• doublec / shen-wasp
  Port of Shen to run on top of Wasp Lisp
  ☆25Updated 2 years ago
• typeclasses / loc
  Types representing line and column positions and ranges in text files
  ☆11Updated last year
• rntz / minikanren-datalog
  Datalog implemented in minikanren
  ☆24Updated 7 years ago
• deech / LeftPad
  ☆23Updated 6 years ago
• grebenyukaa / cmm-compiler-backend
  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
• jasonhemann / miniKanren
  An outdated miniKanren implementation with a not-pairo constraint
  ☆29Updated 10 years ago
• gfour / gic
  The generalized intensional compiler for a Haskell-like language.
  ☆14Updated 6 years ago
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆34Updated 3 weeks ago
• namin / reflective-towers
  software archaeology of reflective towers of interpreters
  ☆15Updated last month
• gravicappa / klvm
  Shen KLambda to KLVM translator.
  ☆29Updated 8 years ago
• takeoutweight / bidirectional
  Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure
  ☆23Updated 8 years ago
• QuentinDuval / IdrisReducers
  Transducers for Idris: a library for composable algorithmic transformation.
  ☆32Updated 7 years ago
• carl-eastlund / dracula
  ☆10Updated 8 years ago
• bennn / forth
  Forth emulator, as a Racket #lang
  ☆20Updated last year
• fpco / mutable-containers
  Abstactions and concrete implementations of mutable containers
  ☆14Updated 8 years ago
• ziman / bibdris
  BibTeX database management in Idris
  ☆18Updated 10 years ago
• alpha-convert / pacman
  A proof that Idris is pacman complete
  ☆8Updated 7 years ago
• FranklinChen / clojure-transducers-in-haskell
  Clojure transducers in a typed setting, in Haskell
  ☆55Updated 9 years ago