Alternatives and similar repositories for roulette-tree

Users that are interested in roulette-tree are comparing it to the libraries listed below

• Ninjacop / BuBBLE
  A DSL/LISP dialect written in Haskell
  ☆21Updated 6 years ago
• texodus / forml
  A programming language
  ☆77Updated 11 years ago
• HackerFoo / peg
  A lazy non-deterministic concatenative programming language
  ☆55Updated 11 years ago
• djspiewak / derivative-combinators
  An implementation of derivative parsing in the parser combinator framework
  ☆59Updated 14 years ago
• Pauan / nulan
  Purely functional statically typed Lisp which compiles to JavaScript
  ☆46Updated 7 years ago
• cgrand / parsnip
  parsley is dead, long live parsnip!
  ☆17Updated 10 years ago
• kyagrd / tiper
  Type Inference Prototyping Engine from Relational specifications of type systems
  ☆11Updated 4 years ago
• ColemanGariety / derivation-machine
  Propositional calculus in Haskell
  ☆11Updated 8 years ago
• melsman / aplcompile
  APL compiler written in Standard ML
  ☆35Updated 4 years ago
• MateVM / MateVM
  A Java JIT compiler written in Haskell
  ☆72Updated 11 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆52Updated 8 years ago
• billhails / PyScheme
  A small demo lambda-language written in Python
  ☆32Updated 6 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 13 years ago
• calvis / cKanren
  Constraint programming language embedded in Racket
  ☆153Updated 3 years ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆22Updated last week
• GaloisInc / mistral
  An interpreter for the Mistral language.
  ☆19Updated 7 years ago
• cedricbonhomme / iterated-function-systems
  Iterated Function Systems fractals with OCaml.
  ☆35Updated 2 years ago
• webyrd / cato
  Concatenative relational interpreter in miniKanren
  ☆22Updated 10 years ago
• hypirion / pvec-perf
  Persistent vector performance measurements and analysis
  ☆22Updated 10 years ago
• gravicappa / klvm
  Shen KLambda to KLVM translator.
  ☆30Updated 9 years ago
• abid-mujtaba / haskell-cas
  A Computer Algebra System written in and for Haskell
  ☆26Updated 8 years ago
• deech / ATSPresentation
  ☆21Updated 9 years ago
• hraberg / Shen.java
  神.java | Shen for Java 8 Indy. Shen is a portable functional programming language by Mark Tarver.
  ☆58Updated 11 years ago
• githwxi / ATS-Postiats-contrib
  ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats
  ☆48Updated 4 years ago
• gfredericks / the-halting-project
  What's the simplest Turing Machine with unknown behavior?
  ☆13Updated 8 years ago
• motersen / pot
  organizes tags
  ☆23Updated 7 years ago
• charles-l / po
  minimal lisp that compiles to x86
  ☆10Updated 8 years ago
• webyrd / cool-relational-interpreter-examples
  Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work
  ☆14Updated 10 years ago
• webyrd / untitled-relational-interpreter-book
  Relational Programming in miniKanren
  ☆52Updated 9 years ago
• murisi / L2
  A minimalist type-inferred programming language with procedural macro support
  ☆136Updated 4 years ago