takeoutweight / bidirectional

Related projects ⓘ

Alternatives and complementary repositories for bidirectional

• hypirion / haskell-transducers
  Clojure's Transducers in Haskell
  ☆40Updated 8 years ago
• QuentinDuval / IdrisReducers
  Transducers for Idris: a library for composable algorithmic transformation.
  ☆32Updated 7 years ago
• mthom / shen-minikanren
  An embedding of miniKanren in Shen.
  ☆24Updated 9 years ago
• FranklinChen / clojure-transducers-in-haskell
  Clojure transducers in a typed setting, in Haskell
  ☆55Updated 9 years ago
• webyrd / untitled-relational-interpreter-book
  Relational Programming in miniKanren
  ☆52Updated 9 years ago
• paf31 / mu-kanren
  A step-by-step MicroKanren evaluator
  ☆29Updated 8 years ago
• ocamllabs / ocaml-effects
  *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers
  ☆27Updated 8 years ago
• jasonhemann / microKanren-shen
  An implementation of microKanren in Shen
  ☆9Updated 9 years ago
• webyrd / miniKanren-hangout-summaries
  Summaries of intro and advanced miniKanren hangout series
  ☆28Updated 6 years ago
• ProjectMAC / propagators
  The propagator system
  ☆41Updated 8 years ago
• gfredericks / the-halting-project
  What's the simplest Turing Machine with unknown behavior?
  ☆13Updated 8 years ago
• webyrd / miniKanren-uncourse
  Code, wiki, and resources for the weekly miniKanren uncourse
  ☆52Updated 9 years ago
• deech / shen-rust
  ☆34Updated 5 years ago
• kovasb / combinator
  Experiments with fast term-rewriting in clojure
  ☆63Updated 9 years ago
• idris-hackers / iQuery
  Idris Lib to interact with the DOM and Browser API for the JavaScript backend
  ☆40Updated 6 years ago
• 97jaz / hamt
  Hash Array Mapped Tries for Racket
  ☆20Updated 7 years ago
• typedclojure / core.typed
  Mirror of core.typed for internal development.
  ☆14Updated 6 years ago
• deech / lambdaconf-shen-talk
  ☆14Updated 8 years ago
• webyrd / cool-relational-interpreter-examples
  Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work
  ☆14Updated 9 years ago
• plum-umd / adapton.racket
  Racket-based implementation of Adapton
  ☆22Updated 5 years ago
• orchid-hybrid / microKanren-sagittarius
  microKanren sagittarius/larceny
  ☆11Updated 9 years ago
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 3 months ago
• webyrd / cato
  Concatenative relational interpreter in miniKanren
  ☆22Updated 9 years ago
• mrb / idris-ruby
  Yes, really!
  ☆11Updated 9 years ago
• hraberg / akeem
  Akeem is a small JIT-ed subset of R7RS Scheme written in x86-64 assembler as an experiment.
  ☆22Updated 7 years ago
• namin / pink
  Collapsing Towers of Interpreters (in Scheme)
  ☆56Updated 6 years ago
• haskell-lisp / lisk
  Exploratory new work on a Haskell Lisp
  ☆16Updated 8 years ago
• rntz / minikanren-datalog
  Datalog implemented in minikanren
  ☆24Updated 7 years ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆22Updated this week