Alternatives and similar repositories for mnemosyne

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

• hawkw / seax
  A VM-based runtime environment for functional programming languages
  ☆48Updated 8 years ago
• AndyShiue / pts
  implementation of Pure Type Systems (PTS) in Rust.
  ☆52Updated 8 years ago
• hellerve / cspfuck
  Brainfuck with Actors
  ☆36Updated 6 years ago
• chrisosaurus / icarus
  Programming language designed as an experiment to explore mutation and aliasing control
  ☆33Updated 5 years ago
• ruuda / transducers
  A transducer library for Rust
  ☆10Updated 9 years ago
• jsdf / lisp.rs
  Scheme Interpreter in Rust
  ☆28Updated 7 years ago
• jolisper / ulisp
  An implementation of @phil_eaton compilers basic notes in Rust
  ☆35Updated 6 years ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆15Updated 7 years ago
• DemiMarie / rusty_scheme
  Very incomplete Scheme interpreter, written in Rust
  ☆23Updated 8 years ago
• nikomatsakis / bidir-type-infer
  Implementing the type system described in the paper "Complete and Easy Bidirectional Type Inference" in Rust
  ☆46Updated 9 years ago
• iwillspeak / ullage
  A statically-typed compiled language defined by a simple grammar
  ☆24Updated 2 years ago
• wartmanm / rust-kanren
  A miniKanren implementation in Rust
  ☆37Updated 9 years ago
• graydon / z3-rs
  ☆23Updated 6 years ago
• willcrichton / rabbot
  Abstract binding tree code generator
  ☆37Updated 8 years ago
• exists-forall / nickel
  A safe and efficient target language for functional compilers
  ☆20Updated 7 years ago
• nikomatsakis / rustypop
  A not-yet-functional Rust parser written in LALRPOP.
  ☆35Updated 8 years ago
• bollu / timi
  A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages
  ☆70Updated 8 years ago
• murisi / L2
  A minimalist type-inferred programming language with procedural macro support
  ☆136Updated 4 years ago
• dagit / rust-prolog
  Rust implementation of prolog based on miniprolog: http://andrej.com/plzoo/html/miniprolog.html
  ☆82Updated 4 years ago
• crespyl / marching-squares
  Simple demo of noise-rs and rustbox
  ☆22Updated 6 years ago
• endoli / burst.rs
  A disassembler framework
  ☆18Updated 2 years ago
• adam-mcdaniel / maroon-lang
  A (nearly) pure functional programming language.
  ☆25Updated 6 years ago
• rsaarelm / nock-rs
  ☆14Updated 9 years ago
• NoraCodes / sbrain
  A library for execution of Semantic Brain, based on Urban Müller's famous but unprintable language.
  ☆24Updated 5 years ago
• Adapton / fungi-lang.rust
  Fungi: Typed incremental computation with names
  ☆69Updated 5 years ago
• arrow-lang / arrow
  Arrow is a fast (as or faster than C) general-purpose programming language. It does not employ a garbage collector and has minimal runtim…
  ☆34Updated 8 years ago
• HuwCampbell / zebra
  Column-oriented binary format for immutable datasets
  ☆9Updated 5 years ago
• nixpulvis / lalrpop-lambda
  A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.
  ☆85Updated last year
• huonw / llvmint
  ☆27Updated 10 years ago
• jorendorff / cell-gc
  A very small GC in Rust, with a safe API
  ☆62Updated last year