jimwise / rulog

Related projects: ⓘ

• jimwise / ambit
  a gem for nondeterministic programming in Ruby
  ☆19Updated 6 years ago
• plum-umd / rtc
  ☆84Updated 8 years ago
• jimwise / unific
  a unification engine for Ruby
  ☆17Updated 6 years ago
• spariev / mini_kanren
  MiniKanren implementation in Ruby
  ☆40Updated 8 years ago
• pzol / monadic
  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
• atomicobject / monadt
  Monads & ADTs in Ruby
  ☆27Updated 4 years ago
• mcandre / rubycheck
  ☆62Updated this week
• pitr-ch / algebrick
  Typed structs on steroids based on algebraic types and pattern matching.
  ☆86Updated 3 years ago
• banister / funkify
  Haskell-style partial application and composition for Ruby methods
  ☆154Updated 9 years ago
• bguthrie / handshake
  A design-by-contract framework for Ruby.
  ☆42Updated 9 years ago
• 0x0dea / viva
  Viva exposes the virtual variable API to Ruby land.
  ☆22Updated 8 years ago
• dry-rb / dry-pipeline
  The `>>` operator for Ruby aka "pipeline operator"
  ☆75Updated 5 years ago
• plexus / typecheck
  ☆45Updated 9 years ago
• ms-ati / rumonade
  Scala-inspired Monads for Ruby
  ☆103Updated 9 years ago
• steveklabnik / frappuccino
  Functional Reactive Programming in Ruby.
  ☆354Updated 8 years ago
• mbj / morpher
  Transformation of ruby data-structures with optionally traced evaluation
  ☆4Updated 4 months ago
• jimweirich / lambda_fizz
  The Classic FizzBuzz program implemented in pure Ruby-Flavored Lambda Calculus
  ☆47Updated 12 years ago
• txus / adts
  Algebraic Data Types for Ruby
  ☆74Updated 9 years ago
• bhb / maybe
  The Maybe monad for Ruby
  ☆50Updated 6 years ago
• jsl / ruby_ukanren
  A port of microKanren to Ruby
  ☆27Updated 9 years ago
• yorickpeterse / ruby-ll
  An LL(1) parser generator for Ruby.
  ☆42Updated last year
• hayeah / rantly
  ☆99Updated this week
• justincampbell / generative
  Generative/property-based testing for RSpec
  ☆69Updated 2 years ago
• jicksta / superators
  Superators add new operators to Ruby
  ☆60Updated 5 years ago
• bestie / terrestrial
  A data mapper ORM for Ruby. Persists POROs, enables DDD and fast tests. Makes your objects less alien.
  ☆17Updated 3 years ago
• mneumann / wee
  A high-level, light-weight web framework for Ruby with many ideas from Seaside.
  ☆118Updated 3 years ago
• rom-rb / rom-yesql
  rom-rb adapter inspired by original Yesql from the Clojure world
  ☆31Updated 2 years ago
• seattlerb / sexp_processor
  ☆82Updated last month
• larrytheliquid / dataflow
  Dataflow concurrency for Ruby (inspired by the Oz language)
  ☆124Updated 14 years ago