Alternatives and similar repositories for marvin

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

• nkpart / adt
  ADTs for Ruby
  ☆24Updated 12 years ago
• xixixao / Golem
  Shem's powerful IDE.
  ☆62Updated 5 years ago
• sdg-mit / arby
  An embedding of Alloy in Ruby
  ☆19Updated 11 years ago
• talex5 / irmin-js
  Javascript bindings for Irmin
  ☆31Updated 9 years ago
• enso-lang / enso
  ☆71Updated 5 years ago
• strangeloop / StrangeLoop2015
  ☆64Updated 8 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆45Updated 10 years ago
• bloom-lang / bud-sandbox
  Work-in-progress sample code related to Bud
  ☆68Updated 8 years ago
• parsimony-ide / parsimony
  a web-based development environment for constructing parsers by example (backend code)
  ☆17Updated 8 years ago
• ohmjs / ohm-editor
  An IDE for the Ohm language (JavaScript edition)
  ☆101Updated 9 months ago
• takeoutweight / bidirectional
  Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure
  ☆24Updated 9 years ago
• gigasquid / babar
  A little language for machines with speech acts
  ☆110Updated 6 years ago
• aquasync / ruby-ometa
  Library for parsing and compiling OMeta grammars to ruby
  ☆48Updated 16 years ago
• plexus / hexp
  Ruby virtual DOM for HTML
  ☆56Updated 6 years ago
• dkubb / dockerfiles
  A set of docker images I use for development
  ☆11Updated 8 years ago
• bollwyvl / TangleDown
  Markdown + Tangle.js + (someday) SymPy
  ☆31Updated 3 years ago
• struct / Nerve
  Nerve is a cross platform hit tracer built on Ragweed
  ☆46Updated 13 years ago
• jgalenson / research.js
  Share your research online by compiling it to JavaScript!
  ☆23Updated 10 years ago
• janestreet / jenga
  Build system
  ☆90Updated 6 years ago
• webyrd / cool-relational-interpreter-examples
  Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work
  ☆14Updated 10 years ago
• mcfilib / ruby-marshal
  Haskell library to parse a subset of Ruby objects serialised with Marshal.dump
  ☆33Updated 2 years ago
• plum-umd / rtc
  ☆84Updated 9 years ago
• notablemind / notablemind
  Life manager. All your mind. All your notes.
  ☆43Updated 8 years ago
• jsl / ruby_ukanren
  A port of microKanren to Ruby
  ☆29Updated 10 years ago
• mneumann / wee
  A high-level, light-weight web framework for Ruby with many ideas from Seaside.
  ☆117Updated 4 years ago
• alexwarth / roomdb
  A Datalog-style database that enables programmers to represent facts using natural language
  ☆53Updated 2 years ago
• kmicinski / program-analysis-examples
  Notes for CIS 700 (Fall '19) at Syracuse U.
  ☆13Updated 5 years ago
• saturnflyer / direction
  Forward messages to collaborators in East-oriented style.
  ☆14Updated 3 months ago
• cdglabs / prolog-viz
  The best Prolog visualizer
  ☆85Updated 2 years ago
• HarvardPL / shill
  Scripting with Least Privilege
  ☆110Updated 8 years ago