Alternatives and similar repositories for marvin

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

• talex5 / irmin-js
  Javascript bindings for Irmin
  ☆31Updated 10 years ago
• gigasquid / babar
  A little language for machines with speech acts
  ☆110Updated 6 years ago
• xixixao / Golem
  Shem's powerful IDE.
  ☆62Updated 5 years ago
• strangeloop / StrangeLoop2015
  ☆64Updated 9 years ago
• sdg-mit / arby
  An embedding of Alloy in Ruby
  ☆19Updated 11 years ago
• witheve / eve-experiments
  The many experiments that have led to Eve in its current form
  ☆64Updated 6 years ago
• ghxiao / nrdatalog2sql
  Converting Non-Recursive Datalog to SQL
  ☆24Updated 9 years ago
• nkpart / adt
  ADTs for Ruby
  ☆24Updated 12 years ago
• joshmarinacci / meowlang
  Meow Programming Language
  ☆35Updated 9 years ago
• cdglabs / prolog-viz
  The best Prolog visualizer
  ☆87Updated 3 years ago
• enso-lang / enso
  ☆71Updated 5 years ago
• librariesio / languages
  Just the language names and colors from github-lingust
  ☆24Updated 7 years ago
• jduey / protocol-monads
  A protocol based monad implementation for clojure
  ☆61Updated 11 years ago
• takeoutweight / bidirectional
  Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure
  ☆24Updated 10 years ago
• witheve / eve-native
  ☆189Updated 6 years ago
• aquasync / ruby-ometa
  Library for parsing and compiling OMeta grammars to ruby
  ☆48Updated 17 years ago
• quoll / mulgara
  An RDF TripleStore in Java
  ☆47Updated 4 years ago
• harc / nl-datalog
  Natural Language Datalog
  ☆136Updated 8 years ago
• janestreet / jenga
  Build system
  ☆89Updated 7 years ago
• alanb2718 / wallingford
  An experimental DSL for handling state and updates, along with constraints, in Rosette.
  ☆50Updated 6 years ago
• ohmjs / ohm-editor
  An IDE for the Ohm language (JavaScript edition)
  ☆101Updated last year
• webyrd / cool-relational-interpreter-examples
  Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work
  ☆14Updated 10 years ago
• comnik / functional-differential-programming
  FRP with 3DF and Differential Dataflow.
  ☆27Updated 6 years ago
• foam-framework / foam2
  FOAM: Feature-Oriented Active Modeller, Version 2
  ☆76Updated last year
• Pauan / nulan
  Purely functional statically typed Lisp which compiles to JavaScript
  ☆48Updated 8 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆45Updated 10 years ago
• frankmcsherry / dynamic-datalog
  Engines, queries, and data for dynamic Datalog computation
  ☆132Updated 4 years ago
• mkremins / flense-nw
  Clojure code editor wrapping Flense
  ☆22Updated 10 years ago
• ox-lang / ox
  Ox - An immutable statically typed Lisp for the JVM
  ☆66Updated 3 years ago
• Cirru / cirru-script-editor
  [Deprecated] using respo-cirru-editor instead
  ☆30Updated 9 years ago