Alternatives and similar repositories for mistral

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

• texodus / forml
  A programming language
  ☆77Updated 12 years ago
• flavioc / meld
  Meld virtual machine.
  ☆28Updated 9 years ago
• mpw / pLucid-osx
  A "port" of plucid that works on OS X
  ☆12Updated 10 years ago
• erjiang / foxscheme
  An R5RS Scheme in JavaScript.
  ☆17Updated last month
• Ninjacop / BuBBLE
  A DSL/LISP dialect written in Haskell
  ☆21Updated 6 years ago
• vijaymathew / slogan
  A general purpose, dynamic, functional programming language with strong support for concurrency.
  ☆33Updated 3 years ago
• webyrd / cool-relational-interpreter-examples
  Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work
  ☆14Updated 10 years ago
• ColemanGariety / derivation-machine
  Propositional calculus in Haskell
  ☆11Updated 8 years ago
• ojarjur / multischeme
  Compile-time multitasking support for the Scheme programming language
  ☆37Updated 10 years ago
• endobson / racket-llvm
  Bindings for llvm in racket
  ☆66Updated 10 years ago
• swdunlop / WaspVM
  The Wasp Lisp Virtual Machine, Associated Libraries, and MOSREF
  ☆107Updated 6 years ago
• rongarret / clmm
  An exercise in cryptographic minimlism
  ☆24Updated 10 years ago
• HarvardPL / shill
  Scripting with Least Privilege
  ☆109Updated 8 years ago
• melsman / aplcompile
  APL compiler written in Standard ML
  ☆35Updated 4 years ago
• alexanderkyte / VerticalFingerTree
  ☆33Updated 9 years ago
• Pauan / nulan
  Purely functional statically typed Lisp which compiles to JavaScript
  ☆47Updated 7 years ago
• edwinb / EpiVM
  Epic - a Supercombinator Compiler
  ☆65Updated 10 years ago
• aidanhs / schrotcl
  Schrödinger's Tcl
  ☆30Updated 10 years ago
• rntz / rotten
  Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler
  ☆96Updated 10 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 13 years ago
• luqui / vatican
  A lazy specializing virtual machine for purely functional languages
  ☆101Updated 7 years ago
• evincarofautumn / protodata
  A textual language for binary data.
  ☆37Updated 3 years ago
• GaloisInc / salty
  A DSL for generating GR(1) problems
  ☆11Updated 4 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆45Updated 10 years ago
• gravicappa / shen-js
  Shen on javascript.
  ☆70Updated 6 years ago
• UBMLtonGroup / RTMLton
  MLton with Realtime GC and Threading features
  ☆103Updated last year
• HackerFoo / peg
  A lazy non-deterministic concatenative programming language
  ☆55Updated 12 years ago
• abid-mujtaba / haskell-cas
  A Computer Algebra System written in and for Haskell
  ☆26Updated 9 years ago
• danluu / Fuzz.jl
  World's dumbest fuzzer
  ☆52Updated last year
• murisi / L2
  A minimalist type-inferred programming language with procedural macro support
  ☆136Updated 4 years ago