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 10 years ago
• ColemanGariety / derivation-machine
  Propositional calculus in Haskell
  ☆11Updated 9 years ago
• vijaymathew / slogan
  A general purpose, dynamic, functional programming language with strong support for concurrency.
  ☆33Updated 4 years ago
• HarvardPL / shill
  Scripting with Least Privilege
  ☆110Updated 8 years ago
• webyrd / cool-relational-interpreter-examples
  Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work
  ☆14Updated 10 years ago
• endobson / racket-llvm
  Bindings for llvm in racket
  ☆66Updated 10 years ago
• Pauan / nulan
  Purely functional statically typed Lisp which compiles to JavaScript
  ☆48Updated 8 years ago
• melsman / aplcompile
  APL compiler written in Standard ML
  ☆35Updated 4 years ago
• swdunlop / WaspVM
  The Wasp Lisp Virtual Machine, Associated Libraries, and MOSREF
  ☆107Updated 7 years ago
• mpw / pLucid-osx
  A "port" of plucid that works on OS X
  ☆12Updated 11 years ago
• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆91Updated 6 years ago
• cfloume / Simple-APL-Neural
  A simple APL neural network.
  ☆11Updated 9 years ago
• Ninjacop / BuBBLE
  A DSL/LISP dialect written in Haskell
  ☆21Updated 7 years ago
• aidanhs / schrotcl
  Schrödinger's Tcl
  ☆29Updated 10 years ago
• billsix / bug
  Bill's Utilities for Gambit Scheme
  ☆17Updated 5 years ago
• rntz / rotten
  Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler
  ☆97Updated 10 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆45Updated 10 years ago
• wkoszek / flviz
  FLVIz - Finite Automata Simulator written in QT/Graphviz
  ☆36Updated 10 years ago
• studio / studio
  Studio is an interactive software diagnostics environment
  ☆121Updated 5 years ago
• erjiang / foxscheme
  An R5RS Scheme in JavaScript.
  ☆17Updated 2 months ago
• enkiv2 / mycroft
  A prolog-like language with compound truth value logic
  ☆69Updated 7 years ago
• edwinb / EpiVM
  Epic - a Supercombinator Compiler
  ☆64Updated 10 years ago
• damelang / mico
  Experimental Javascript Environment
  ☆22Updated 16 years ago
• ojarjur / multischeme
  Compile-time multitasking support for the Scheme programming language
  ☆37Updated 11 years ago
• kerneis / cpc
  Continuation Passing C
  ☆114Updated 6 years ago
• murisi / L2
  A minimalist type-inferred programming language with procedural macro support
  ☆136Updated 5 years ago
• noether-lang / noether
  Noether programming language
  ☆129Updated 8 years ago
• danluu / Fuzz.jl
  World's dumbest fuzzer
  ☆53Updated 2 years ago
• luqui / vatican
  A lazy specializing virtual machine for purely functional languages
  ☆103Updated 7 years ago