Alternatives and similar repositories for derivative-combinators:

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

• dvanhorn / redex-aam-tutorial
  An Introduction to Redex with Abstracting Abstract Machines
  ☆102Updated 11 months ago
• odipar / spread
  SPREAD
  ☆19Updated 3 years ago
• jonleivent / mindless-coding-phase2
  Mindless, verified (erasably) coding using dependent types, phase 2
  ☆20Updated 4 years ago
• namin / lms-black
  purple: compiling a reflective language
  ☆32Updated 4 months ago
• mthom / shen-minikanren
  An embedding of miniKanren in Shen.
  ☆25Updated 9 years ago
• iu-parfunc / lvars
  The LVish Haskell library
  ☆80Updated 2 years ago
• djspiewak / sparse
  Generalized, incremental parser combinators for scalaz-stream
  ☆62Updated 10 years ago
• webyrd / cato
  Concatenative relational interpreter in miniKanren
  ☆22Updated 9 years ago
• calvis / cKanren
  Constraint programming language embedded in Racket
  ☆153Updated 3 years ago
• exclipy / pdata
  Purely functional, persistent and efficient vector and hash-map data structures for Haskell
  ☆46Updated 7 years ago
• coeffects / coeffects-playground
  Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.
  ☆59Updated 7 years ago
• gasche / popl2017-papers
  Link to preprints for POPL'17 and co-located events
  ☆100Updated 7 years ago
• idris-hackers / idris-sublime
  A Plugin to use Idris with Sublime
  ☆27Updated 4 years ago
• edwinb / EpiVM
  Epic - a Supercombinator Compiler
  ☆65Updated 9 years ago
• webyrd / miniKanren-uncourse
  Code, wiki, and resources for the weekly miniKanren uncourse
  ☆52Updated 9 years ago
• kayceesrk / multiMLton
  MLton for scalable multicore architectures
  ☆57Updated 10 years ago
• edwinb / Idris-old
  A language with dependent types
  ☆19Updated 13 years ago
• MLton / mltonlib
  The MLtonLibrary repository
  ☆35Updated last year
• begeric / FastParsers
  Fast Parser Combinators
  ☆27Updated 10 years ago
• aliclark / hasp
  A Lisp syntax for Haskell.
  ☆22Updated 12 years ago
• softdevteam / eco
  Editor for language composition
  ☆58Updated 2 years ago
• aturon / ChemistrySet
  A library for composable fine-grained concurrency.
  ☆53Updated 12 years ago
• carl-eastlund / dracula
  ☆10Updated 9 years ago
• namin / lms-verify
  generative programming & verification
  ☆32Updated 3 years ago
• travitch / datalog
  A pure Haskell implementation of Datalog
  ☆104Updated 4 years ago
• nrnrnr / SML-Lint
  Tool for detecting bad style in Standard ML programs
  ☆16Updated 5 years ago
• webyrd / untitled-relational-interpreter-book
  Relational Programming in miniKanren
  ☆52Updated 9 years ago
• PLTools / OCanren
  Statically typed embedding of miniKanren relational programming language into OCaml
  ☆117Updated 2 weeks ago
• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆41Updated 10 years ago
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Updated 13 years ago