jimwise / rulog
Ruby with Logic, a prolog-style logic programming system for Ruby
☆31Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for rulog
- ☆84Updated 8 years ago
- a unification engine for Ruby☆17Updated 6 years ago
- a gem for nondeterministic programming in Ruby☆19Updated 6 years ago
- helps dealing with exceptional situations, it comes from the sphere of functional programming and bringing the goodies I have come to lov…☆229Updated 8 years ago
- Transformation of ruby data-structures with optionally traced evaluation☆4Updated 6 months ago
- A design-by-contract framework for Ruby.☆42Updated 9 years ago
- Scala-inspired Monads for Ruby☆103Updated 9 years ago
- ruby lambda proc tools for functional programming and arrows☆28Updated 9 years ago
- Haskell-style partial application and composition for Ruby methods☆154Updated 9 years ago
- Symbolic math for ruby☆91Updated 12 years ago
- Do notation for the monads provided by the Kleisli gem - https://github.com/txus/kleisli☆10Updated 9 years ago
- Functional Reactive Programming in Ruby.☆354Updated 8 years ago
- ☆83Updated last week
- An LL(1) parser generator for Ruby.☆43Updated last year
- Monads & ADTs in Ruby☆27Updated 4 years ago
- The Classic FizzBuzz program implemented in pure Ruby-Flavored Lambda Calculus☆47Updated 12 years ago
- The Maybe monad for Ruby☆50Updated 6 years ago
- Algebraic Data Types for Ruby☆74Updated 9 years ago
- Typed structs on steroids based on algebraic types and pattern matching.☆86Updated 3 years ago
- The `>>` operator for Ruby aka "pipeline operator"☆75Updated 5 years ago
- Generative/property-based testing for RSpec☆69Updated 2 years ago
- Viva exposes the virtual variable API to Ruby land.☆22Updated 8 years ago
- Graph Theory library for Ruby☆48Updated 5 years ago
- ☆11Updated 8 years ago
- Time travel for Ruby Pry☆38Updated 7 years ago
- ☆32Updated 9 years ago
- A data mapper ORM for Ruby. Persists POROs, enables DDD and fast tests. Makes your objects less alien.☆17Updated 3 years ago
- A high-level, light-weight web framework for Ruby with many ideas from Seaside.☆117Updated 4 years ago
- a modular, macro-ular, totally tubular language for the Rubinius VM. #atomo @ freenode☆52Updated 8 years ago