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
• 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 9 years ago
• erjiang / foxscheme
  An R5RS Scheme in JavaScript.
  ☆17Updated 2 months ago
• ColemanGariety / derivation-machine
  Propositional calculus in Haskell
  ☆11Updated 8 years ago
• HarvardPL / shill
  Scripting with Least Privilege
  ☆110Updated 8 years ago
• ojarjur / multischeme
  Compile-time multitasking support for the Scheme programming language
  ☆37Updated 10 years ago
• Pauan / nulan
  Purely functional statically typed Lisp which compiles to JavaScript
  ☆48Updated 8 years ago
• endobson / racket-llvm
  Bindings for llvm in racket
  ☆66Updated 10 years ago
• danluu / Fuzz.jl
  World's dumbest fuzzer
  ☆52Updated last year
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 14 years ago
• vijaymathew / slogan
  A general purpose, dynamic, functional programming language with strong support for concurrency.
  ☆33Updated 3 years ago
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Updated 13 years ago
• vellvm / vellvm-legacy
  ☆33Updated 10 years ago
• kyagrd / tiper
  Type Inference Prototyping Engine from Relational specifications of type systems
  ☆11Updated 5 years ago
• rntz / rotten
  Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler
  ☆96Updated 10 years ago
• billsix / bug
  Bill's Utilities for Gambit Scheme
  ☆17Updated 4 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆31Updated 2 years ago
• aidanhs / schrotcl
  Schrödinger's Tcl
  ☆30Updated 10 years ago
• sllam / comingle
  CoMingle: Distributed Logic Programming for Decentralized Mobile Ensembles
  ☆33Updated 8 years ago
• Ninjacop / BuBBLE
  A DSL/LISP dialect written in Haskell
  ☆21Updated 7 years ago
• murisi / L2
  A minimalist type-inferred programming language with procedural macro support
  ☆136Updated 4 years ago
• odipar / spread
  SPREAD
  ☆18Updated 4 years ago
• uwplse / arvo
  A proof assistant.
  ☆12Updated 9 years ago
• flouc001 / Simple-APL-Neural
  A simple APL neural network.
  ☆11Updated 9 years ago
• luqui / vatican
  A lazy specializing virtual machine for purely functional languages
  ☆101Updated 7 years ago
• mrocklin / matrix-algebra
  An algebra for Matrix Expressions written in Maude
  ☆24Updated 12 years ago
• iu-parfunc / lvars
  The LVish Haskell library
  ☆80Updated 2 years ago
• akeep / nanopass-framework-racket
  Racket port of the nanopass-framework
  ☆34Updated 4 years ago
• noether-lang / noether
  Noether programming language
  ☆127Updated 8 years ago