Alternatives and similar repositories for marvin

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

• strangeloop / StrangeLoop2015
  ☆64Updated 9 years ago
• sdg-mit / arby
  An embedding of Alloy in Ruby
  ☆19Updated 11 years ago
• takeoutweight / bidirectional
  Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure
  ☆24Updated 9 years ago
• talex5 / irmin-js
  Javascript bindings for Irmin
  ☆31Updated 10 years ago
• plum-umd / rtc
  ☆84Updated 9 years ago
• jgalenson / research.js
  Share your research online by compiling it to JavaScript!
  ☆23Updated 10 years ago
• nkpart / adt
  ADTs for Ruby
  ☆24Updated 12 years ago
• bollwyvl / TangleDown
  Markdown + Tangle.js + (someday) SymPy
  ☆31Updated 3 years ago
• andreypopp / purescript-node-thunk
  Node callbacks as thunks
  ☆20Updated 10 years ago
• xixixao / Golem
  Shem's powerful IDE.
  ☆62Updated 5 years ago
• iquiw / cabal-delete
  Command line tool to delete cabal library packages
  ☆24Updated 10 years ago
• leostera / hotstuff
  Composable, incremental, turnkey document compiler
  ☆22Updated 5 years ago
• GaloisInc / ec2-unikernel
  Tool for uploading unikernels into EC2
  ☆76Updated 7 years ago
• mcfilib / ruby-marshal
  Haskell library to parse a subset of Ruby objects serialised with Marshal.dump
  ☆33Updated 3 years ago
• gigasquid / babar
  A little language for machines with speech acts
  ☆110Updated 6 years ago
• jsl / ruby_ukanren
  A port of microKanren to Ruby
  ☆29Updated 10 years ago
• webyrd / cool-relational-interpreter-examples
  Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work
  ☆14Updated 10 years ago
• atomicobject / monadt
  Monads & ADTs in Ruby
  ☆27Updated 5 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆45Updated 10 years ago
• readevalprintlove / readevalprintlove
  The repository for the zine
  ☆29Updated 10 years ago
• janestreet / jenga
  Build system
  ☆89Updated 7 years ago
• lord / mortalical
  A calendar of your entire life
  ☆20Updated 10 years ago
• librariesio / languages
  Just the language names and colors from github-lingust
  ☆24Updated 7 years ago
• svanderbleek / haskellandchill.com
  writing on haskell
  ☆33Updated 8 years ago
• statebox / fsm-oracle
  Finite state machines as graphs
  ☆60Updated 5 years ago
• jmoy / costlyState
  Classroom demonstration of costly state verification in finance
  ☆16Updated 10 years ago
• ghxiao / nrdatalog2sql
  Converting Non-Recursive Datalog to SQL
  ☆24Updated 9 years ago
• aquasync / ruby-ometa
  Library for parsing and compiling OMeta grammars to ruby
  ☆48Updated 17 years ago
• joefiorini / hi-elm
  ☆18Updated 10 years ago
• aleksandarmilicevic / hola
  Alloy*---Higher Order Logic for Alloy
  ☆36Updated 5 years ago