Alternatives and similar repositories for marvin

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

• sdg-mit / arby
  An embedding of Alloy in Ruby
  ☆19Updated 11 years ago
• plum-umd / rtc
  ☆84Updated 9 years ago
• nkpart / adt
  ADTs for Ruby
  ☆24Updated 12 years ago
• bloom-lang / bud-sandbox
  Work-in-progress sample code related to Bud
  ☆68Updated 8 years ago
• saturnflyer / direction
  Forward messages to collaborators in East-oriented style.
  ☆14Updated 2 months ago
• leostera / hotstuff
  Composable, incremental, turnkey document compiler
  ☆22Updated 4 years ago
• jsl / ruby_ukanren
  A port of microKanren to Ruby
  ☆28Updated 10 years ago
• tomstuart / kanren
  An example Ruby implementation of μKanren.
  ☆23Updated 5 years ago
• xixixao / Golem
  Shem's powerful IDE.
  ☆62Updated 4 years ago
• ohmjs / ohm-editor
  An IDE for the Ohm language (JavaScript edition)
  ☆100Updated 8 months ago
• bollwyvl / TangleDown
  Markdown + Tangle.js + (someday) SymPy
  ☆31Updated 3 years ago
• gigasquid / babar
  A little language for machines with speech acts
  ☆110Updated 6 years ago
• ibdknox / lueve
  Temporary home of Eve in Lua - will be merged into witheve/eve soon.
  ☆19Updated 9 years ago
• chrisa / ruby-dtrace
  Ruby bindings for DTrace
  ☆63Updated 12 years ago
• harc / nl-datalog
  Natural Language Datalog
  ☆134Updated 7 years ago
• strangeloop / StrangeLoop2015
  ☆64Updated 8 years ago
• talex5 / irmin-js
  Javascript bindings for Irmin
  ☆31Updated 9 years ago
• atomicobject / monadt
  Monads & ADTs in Ruby
  ☆27Updated 5 years ago
• foam-framework / foam2
  FOAM: Feature-Oriented Active Modeller, Version 2
  ☆76Updated last year
• cjheath / activefacts
  A fact-based semantic modeling and query language (CQL) and application runtime (the Constellation API)
  ☆57Updated 6 years ago
• witheve / eve-experiments
  The many experiments that have led to Eve in its current form
  ☆64Updated 6 years ago
• mfp / rocaml
  rocaml: Ruby extensions in OCaml
  ☆18Updated 14 years ago
• joshmarinacci / meowlang
  Meow Programming Language
  ☆36Updated 8 years ago
• cdglabs / prolog-viz
  The best Prolog visualizer
  ☆84Updated 2 years ago
• dkubb / dockerfiles
  A set of docker images I use for development
  ☆11Updated 8 years ago
• iquiw / cabal-delete
  Command line tool to delete cabal library packages
  ☆24Updated 10 years ago
• ghxiao / nrdatalog2sql
  Converting Non-Recursive Datalog to SQL
  ☆24Updated 8 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 8 years ago
• andreypopp / purescript-node-thunk
  Node callbacks as thunks
  ☆20Updated 10 years ago
• jgalenson / research.js
  Share your research online by compiling it to JavaScript!
  ☆23Updated 10 years ago