Alternatives and similar repositories for derivative-combinators

Users that are interested in derivative-combinators are comparing it to the libraries listed below

• idris-hackers / idris-java
  Java Code Generator for Idris
  ☆72Updated 9 years ago
• softdevteam / eco
  Editor for language composition
  ☆58Updated 2 years ago
• webyrd / miniKanren-uncourse
  Code, wiki, and resources for the weekly miniKanren uncourse
  ☆52Updated 10 years ago
• pluto-build / pluto
  ☆22Updated 2 years ago
• mthom / shen-minikanren
  An embedding of miniKanren in Shen.
  ☆25Updated 10 years ago
• Frege / frege-repl
  Frege REPL
  ☆79Updated 6 years ago
• msteindorfer / research-paper-oopsla15-artifact
  Artifact accompanying our OOPSLA'15 publication.
  ☆33Updated 2 years ago
• webyrd / dissertation-single-spaced
  Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'
  ☆59Updated 6 years ago
• jonleivent / mindless-coding-phase2
  Mindless, verified (erasably) coding using dependent types, phase 2
  ☆20Updated 5 years ago
• chris-taylor / LondonHUG
  Presentation/code from my talk at London HUG
  ☆57Updated 12 years ago
• exclipy / pdata
  Purely functional, persistent and efficient vector and hash-map data structures for Haskell
  ☆46Updated 8 years ago
• TiarkRompf / lancet
  surgical precision JIT compilers
  ☆122Updated 8 years ago
• dvanhorn / redex-aam-tutorial
  An Introduction to Redex with Abstracting Abstract Machines
  ☆104Updated last year
• iu-parfunc / lvars
  The LVish Haskell library
  ☆80Updated 3 years ago
• nwf / dyna
  Dyna2 compiler and REPL
  ☆147Updated 5 years ago
• calvis / cKanren
  Constraint programming language embedded in Racket
  ☆154Updated 4 years ago
• webyrd / cool-relational-interpreter-examples
  Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work
  ☆14Updated 10 years ago
• odipar / spread
  SPREAD
  ☆18Updated 4 years ago
• aturon / ChemistrySet
  A library for composable fine-grained concurrency.
  ☆54Updated 13 years ago
• namin / lms-black
  purple: compiling a reflective language
  ☆33Updated last year
• idris-hackers / idris-sublime
  A Plugin to use Idris with Sublime
  ☆27Updated 4 years ago
• namin / unsound
  Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala
  ☆75Updated 2 years ago
• kyagrd / tiper
  Type Inference Prototyping Engine from Relational specifications of type systems
  ☆11Updated 5 years ago
• namin / scalogno
  prototyping logic programming in Scala
  ☆42Updated 3 years ago
• FranklinChen / clojure-transducers-in-haskell
  Clojure transducers in a typed setting, in Haskell
  ☆56Updated 10 years ago
• slamdata / truffled-purescript
  ☆92Updated 10 years ago
• readevalprintlove / black
  Kenichi Asai's reflective programming language Black
  ☆198Updated 3 years ago
• webyrd / cato
  Concatenative relational interpreter in miniKanren
  ☆22Updated 10 years ago
• ProjectMAC / propagators
  The propagator system
  ☆41Updated 10 years ago
• enso-lang / enso
  ☆71Updated 5 years ago