Alternatives and similar repositories for mistral

Users that are interested in mistral are comparing it to the libraries listed below

• ColemanGariety / derivation-machine
  Propositional calculus in Haskell
  ☆11Updated 9 years ago
• webyrd / cool-relational-interpreter-examples
  Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work
  ☆14Updated 10 years ago
• flavioc / meld
  Meld virtual machine.
  ☆28Updated 10 years ago
• texodus / forml
  A programming language
  ☆77Updated 12 years ago
• danluu / Fuzz.jl
  World's dumbest fuzzer
  ☆52Updated 2 years ago
• HarvardPL / shill
  Scripting with Least Privilege
  ☆110Updated 8 years ago
• endobson / racket-llvm
  Bindings for llvm in racket
  ☆66Updated 10 years ago
• erjiang / foxscheme
  An R5RS Scheme in JavaScript.
  ☆17Updated last month
• vijaymathew / slogan
  A general purpose, dynamic, functional programming language with strong support for concurrency.
  ☆33Updated 4 years ago
• rntz / rotten
  Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler
  ☆97Updated 10 years ago
• Pauan / nulan
  Purely functional statically typed Lisp which compiles to JavaScript
  ☆48Updated 8 years ago
• cwearl / fulmar
  Generate formatted C++ from Racket S-expressions
  ☆36Updated 10 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 14 years ago
• rongarret / clmm
  An exercise in cryptographic minimlism
  ☆24Updated 10 years ago
• murisi / L2
  A minimalist type-inferred programming language with procedural macro support
  ☆136Updated 5 years ago
• aidanhs / schrotcl
  Schrödinger's Tcl
  ☆29Updated 10 years ago
• Ninjacop / BuBBLE
  A DSL/LISP dialect written in Haskell
  ☆21Updated 7 years ago
• uwplse / arvo
  A proof assistant.
  ☆12Updated 9 years ago
• gravicappa / shen-js
  Shen on javascript.
  ☆71Updated 7 years ago
• enkiv2 / mycroft
  A prolog-like language with compound truth value logic
  ☆69Updated 7 years ago
• evanrmurphy / PicoLisp
  ☆31Updated 14 years ago
• mpw / pLucid-osx
  A "port" of plucid that works on OS X
  ☆12Updated 11 years ago
• kevina / zl
  A C compatible and C++ like programming language that focuses on extensiblilty and giving the programmer control over how high-level cons…
  ☆30Updated 3 years ago
• GaloisInc / ICryptol
  IPython-style interaction for Cryptol
  ☆15Updated 9 years ago
• eholk / elegant-weapons
  An R6RS framework for creating compilers that target C.
  ☆116Updated 10 years ago
• kyagrd / tiper
  Type Inference Prototyping Engine from Relational specifications of type systems
  ☆11Updated 5 years ago
• hanshuebner / secd
  SECD microprocessor reimplementation in VHDL
  ☆36Updated 6 years ago
• edwinb / EpiVM
  Epic - a Supercombinator Compiler
  ☆64Updated 10 years ago
• philipcmonk / phlisped
  Graphical programming editor
  ☆33Updated 8 years ago
• billsix / bug
  Bill's Utilities for Gambit Scheme
  ☆17Updated 5 years ago