acunniffe / marvin
Learn the structure of a programming language from examples. "Brain the size of a planet and they just have me reading code"
☆19Updated 5 years ago
Related projects: ⓘ
- Maybe Functor, Applicative and Monad☆30Updated 6 years ago
- An embedding of Alloy in Ruby☆19Updated 10 years ago
- ADTs for Ruby☆23Updated 11 years ago
- Library for parsing and compiling OMeta grammars to ruby☆48Updated 16 years ago
- ☆84Updated 8 years ago
- A calendar of your entire life☆20Updated 8 years ago
- Haskell library to parse a subset of Ruby objects serialised with Marshal.dump☆33Updated last year
- Fuby is a hybrid functional/object-oriented programming language on the Rubinius VM☆62Updated 10 years ago
- Lambra is an experiment to implement a functional, distributed Lisp on the Rubinius VM.☆36Updated 10 years ago
- Just the language names and colors from github-lingust☆24Updated 6 years ago
- Samus helps you release Open Source Software.☆29Updated 4 years ago
- Petrinet.org interactive playground website☆14Updated 4 years ago
- An example Ruby implementation of μKanren.☆22Updated 5 years ago
- Forward messages to collaborators in East-oriented style.☆14Updated 3 weeks ago
- ☆45Updated 9 years ago
- a language for coordinating real-world interaction☆36Updated 13 years ago
- A high-level, light-weight web framework for Ruby with many ideas from Seaside.☆118Updated 3 years ago
- A client-side relational modeling framework. Like a blend of ActiveRecord and Backbone, but different and better.☆37Updated 11 years ago
- Ruby bindings for DTrace☆63Updated 11 years ago
- A port of microKanren to Ruby☆27Updated 9 years ago
- Dataflow concurrency for Ruby (inspired by the Oz language)☆124Updated 14 years ago
- Scala-inspired Monads for Ruby☆103Updated 9 years ago
- Try it! https://comby.live☆10Updated last year
- This is a logic-based database that can do inferences based on known facts in addition to SQL type queries. Rules are introduced through …☆21Updated 7 months ago
- A set of docker images I use for development☆11Updated 7 years ago
- Flexible, robust, and performant dependency analysis.☆21Updated 2 years ago
- Machine bootstrapping tool with a focus on sensible defaults, conventions, and avoidance of vendoring☆20Updated last week
- Nitro Web Application Framework☆74Updated 14 years ago
- The Yak☆16Updated 6 years ago
- ActiveRecord query logger and analyzer☆24Updated 7 months ago