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
• talex5 / irmin-js
  Javascript bindings for Irmin
  ☆31Updated 9 years ago
• xixixao / Golem
  Shem's powerful IDE.
  ☆62Updated 5 years ago
• srikumarks / FD.js
  Finite domain constraint programming library in JS
  ☆62Updated 3 years ago
• gigasquid / babar
  A little language for machines with speech acts
  ☆110Updated 6 years ago
• nkpart / adt
  ADTs for Ruby
  ☆24Updated 12 years ago
• takeoutweight / bidirectional
  Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure
  ☆24Updated 9 years ago
• plum-umd / rtc
  ☆84Updated 9 years ago
• webyrd / cool-relational-interpreter-examples
  Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work
  ☆14Updated 10 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆45Updated 10 years ago
• ghxiao / nrdatalog2sql
  Converting Non-Recursive Datalog to SQL
  ☆24Updated 8 years ago
• saturnflyer / direction
  Forward messages to collaborators in East-oriented style.
  ☆14Updated this week
• plexus / hexp
  Ruby virtual DOM for HTML
  ☆56Updated 7 years ago
• jxe / ceml
  a language for coordinating real-world interaction
  ☆36Updated 14 years ago
• janestreet / jenga
  Build system
  ☆90Updated 7 years ago
• frankmcsherry / explanation
  Infrastructure for explaining the outputs of differential dataflow computations
  ☆22Updated 9 years ago
• aquasync / ruby-ometa
  Library for parsing and compiling OMeta grammars to ruby
  ☆48Updated 17 years ago
• alexwarth / roomdb
  A Datalog-style database that enables programmers to represent facts using natural language
  ☆52Updated 2 years ago
• jsl / ruby_ukanren
  A port of microKanren to Ruby
  ☆29Updated 10 years ago
• sladeware / groningen
  A generational genetic algorithm approach to Java Virtual Machine settings optimization for a variety of servers.
  ☆21Updated 11 years ago
• tomstuart / kanren
  An example Ruby implementation of μKanren.
  ☆23Updated 6 years ago
• jgalenson / research.js
  Share your research online by compiling it to JavaScript!
  ☆23Updated 10 years ago
• strangeloop / StrangeLoop2015
  ☆64Updated 9 years ago
• cedricbonhomme / iterated-function-systems
  Iterated Function Systems fractals with OCaml.
  ☆34Updated 3 years ago
• bollwyvl / TangleDown
  Markdown + Tangle.js + (someday) SymPy
  ☆31Updated 3 years ago
• chrisa / ruby-dtrace
  Ruby bindings for DTrace
  ☆63Updated 12 years ago
• mcfilib / ruby-marshal
  Haskell library to parse a subset of Ruby objects serialised with Marshal.dump
  ☆33Updated 3 years ago
• iquiw / cabal-delete
  Command line tool to delete cabal library packages
  ☆24Updated 10 years ago
• dkubb / dockerfiles
  A set of docker images I use for development
  ☆11Updated 8 years ago
• witheve / eve-experiments
  The many experiments that have led to Eve in its current form
  ☆64Updated 6 years ago