acunniffe / marvinLinks
Learn the structure of a programming language from examples. "Brain the size of a planet and they just have me reading code"
☆19Updated 7 years ago
Alternatives and similar repositories for marvin
Users that are interested in marvin are comparing it to the libraries listed below
Sorting:
- ADTs for Ruby☆24Updated 12 years ago
- ☆64Updated 9 years ago
- Library for parsing and compiling OMeta grammars to ruby☆47Updated 17 years ago
- Shem's powerful IDE.☆62Updated 5 years ago
- Work-in-progress sample code related to Bud☆69Updated 9 years ago
- An embedding of Alloy in Ruby☆19Updated 11 years ago
- Mockfighter is a Stockfighter clone☆15Updated 10 years ago
- ☆84Updated 9 years ago
- ☆71Updated 5 years ago
- Javascript bindings for Irmin☆31Updated 10 years ago
- A little language for machines with speech acts☆110Updated 6 years ago
- Repeat from the sign☆80Updated 9 years ago
- A calendar of your entire life☆20Updated 2 weeks ago
- Share your research online by compiling it to JavaScript!☆23Updated 11 years ago
- Markdown + Tangle.js + (someday) SymPy☆31Updated 3 years ago
- Relational Algebra at your fingertips☆62Updated 11 years ago
- A port of microKanren to Ruby☆29Updated 11 years ago
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆24Updated 10 years ago
- Tool for uploading unikernels into EC2☆77Updated 7 years ago
- Forward messages to collaborators in East-oriented style.☆14Updated 3 months ago
- Command line tool to delete cabal library packages☆24Updated 10 years ago
- Node callbacks as thunks☆20Updated 11 years ago
- Monads & ADTs in Ruby☆27Updated 5 years ago
- Haskell library to parse a subset of Ruby objects serialised with Marshal.dump☆33Updated 3 years ago
- A Datalog-style database that enables programmers to represent facts using natural language☆53Updated 3 years ago
- The Omni Programming Language☆34Updated 8 years ago
- A DNS server that automatically starts unikernels on demand☆22Updated 10 years ago
- Build system☆89Updated 7 years ago
- Converting Non-Recursive Datalog to SQL☆24Updated 9 years ago
- An example Ruby implementation of μKanren.☆24Updated 6 years ago