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 8 years ago
• texodus / forml
  A programming language
  ☆77Updated 12 years ago
• HarvardPL / shill
  Scripting with Least Privilege
  ☆111Updated 8 years ago
• flavioc / meld
  Meld virtual machine.
  ☆28Updated 9 years ago
• vijaymathew / slogan
  A general purpose, dynamic, functional programming language with strong support for concurrency.
  ☆33Updated 3 years ago
• erjiang / foxscheme
  An R5RS Scheme in JavaScript.
  ☆17Updated 3 months ago
• Pauan / nulan
  Purely functional statically typed Lisp which compiles to JavaScript
  ☆48Updated 8 years ago
• rntz / rotten
  Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler
  ☆96Updated 10 years ago
• webyrd / cool-relational-interpreter-examples
  Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work
  ☆14Updated 10 years ago
• swdunlop / WaspVM
  The Wasp Lisp Virtual Machine, Associated Libraries, and MOSREF
  ☆107Updated 7 years ago
• Ninjacop / BuBBLE
  A DSL/LISP dialect written in Haskell
  ☆21Updated 7 years ago
• rongarret / clmm
  An exercise in cryptographic minimlism
  ☆24Updated 10 years ago
• enkiv2 / mycroft
  A prolog-like language with compound truth value logic
  ☆69Updated 7 years ago
• endobson / racket-llvm
  Bindings for llvm in racket
  ☆66Updated 10 years ago
• mpw / pLucid-osx
  A "port" of plucid that works on OS X
  ☆12Updated 11 years ago
• flavioc / cl-meld
  Meld compiler written in Common Lisp
  ☆13Updated 9 years ago
• kogir / rark
  a Racket language inspired by ARc, by Kogir
  ☆29Updated 12 years ago
• gravicappa / shen-js
  Shen on javascript.
  ☆70Updated 7 years ago
• eholk / elegant-weapons
  An R6RS framework for creating compilers that target C.
  ☆116Updated 9 years ago
• melsman / aplcompile
  APL compiler written in Standard ML
  ☆36Updated 4 years ago
• UBMLtonGroup / RTMLton
  MLton with Realtime GC and Threading features
  ☆103Updated last year
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆32Updated 2 years ago
• uwplse / arvo
  A proof assistant.
  ☆12Updated 9 years ago
• aidanhs / schrotcl
  Schrödinger's Tcl
  ☆30Updated 10 years ago
• murisi / L2
  A minimalist type-inferred programming language with procedural macro support
  ☆136Updated 5 years ago
• damelang / mico
  Experimental Javascript Environment
  ☆22Updated 16 years ago
• luqui / vatican
  A lazy specializing virtual machine for purely functional languages
  ☆103Updated 7 years ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆23Updated last week
• flouc001 / Simple-APL-Neural
  A simple APL neural network.
  ☆11Updated 9 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