jimwise / rulogLinks
Ruby with Logic, a prolog-style logic programming system for Ruby
☆31Updated 7 years ago
Alternatives and similar repositories for rulog
Users that are interested in rulog are comparing it to the libraries listed below
Sorting:
- Haskell-style partial application and composition for Ruby methods☆153Updated 10 years ago
- helps dealing with exceptional situations, it comes from the sphere of functional programming and bringing the goodies I have come to lov…☆228Updated 9 years ago
- Bridge from Ruby to Haskell☆261Updated 10 years ago
- a gem for nondeterministic programming in Ruby☆19Updated 7 years ago
- The Maybe Monad in idiomatic Ruby☆301Updated 8 years ago
- Simplifies querying of structured data using relational algebra☆456Updated 6 years ago
- A design-by-contract framework for Ruby.☆43Updated 10 years ago
- Symbolic math for ruby☆91Updated 13 years ago
- PiecePipe helps you break your code into small interesting pieces and provides the glue for pipelining them together to provide elegant, …☆53Updated 4 years ago
- A pure Ruby gem implemention of a Prolog-like DSL for AI and logical programming.☆206Updated 5 months ago
- Usable, idiomatic common monads in Ruby☆387Updated last year
- Generative/property-based testing for RSpec☆69Updated 3 years ago
- Monads & ADTs in Ruby☆27Updated 5 years ago
- Transformation of ruby data-structures with optionally traced evaluation☆4Updated last year
- The `>>` operator for Ruby aka "pipeline operator"☆75Updated 6 years ago
- ☆84Updated 9 years ago
- Sprockets preprocessor for Elm☆16Updated 7 years ago
- The Classic FizzBuzz program implemented in pure Ruby-Flavored Lambda Calculus☆47Updated 13 years ago
- Functional Reactive Programming in Ruby.☆353Updated 9 years ago
- Scala-inspired Monads for Ruby☆103Updated 9 years ago
- ☆11Updated 9 years ago
- Validation frontend for models.☆124Updated 5 years ago
- Ruby wrapper for the GNU linear programming kit (GLPK). The GLPK (GNU Linear Programming Kit) package is intended for solving large-scale…☆54Updated 4 years ago
- Super simple, clean. Contracts for Ruby☆375Updated 8 years ago
- [DISCONTINUED] Business transaction flow DSL☆101Updated 9 years ago
- The wrapped gem: the maybe functor for Ruby.☆55Updated 10 years ago
- ☆83Updated 3 months ago
- Typed structs on steroids based on algebraic types and pattern matching.☆88Updated 4 years ago
- Viva exposes the virtual variable API to Ruby land.☆22Updated 9 years ago
- Ruby Linear Algebra Library☆108Updated 16 years ago