Alternatives and similar repositories for typecheck

Users that are interested in typecheck are comparing it to the libraries listed below

• jimweirich / lambda_fizz
  The Classic FizzBuzz program implemented in pure Ruby-Flavored Lambda Calculus
  ☆47Updated 12 years ago
• plum-umd / rtc
  ☆84Updated 8 years ago
• atomicobject / monadt
  Monads & ADTs in Ruby
  ☆27Updated 5 years ago
• rubyworks / tapout
  TAP-Y/J Test Harness
  ☆53Updated 10 years ago
• txus / fuby
  Fuby is a hybrid functional/object-oriented programming language on the Rubinius VM
  ☆62Updated 11 years ago
• bhb / maybe
  The Maybe monad for Ruby
  ☆50Updated 7 years ago
• foxnewsnetwork / arrows
  ruby lambda proc tools for functional programming and arrows
  ☆28Updated 10 years ago
• txus / lambra
  Lambra is an experiment to implement a functional, distributed Lisp on the Rubinius VM.
  ☆36Updated 11 years ago
• txus / adts
  Algebraic Data Types for Ruby
  ☆74Updated 10 years ago
• mcfilib / ruby-marshal
  Haskell library to parse a subset of Ruby objects serialised with Marshal.dump
  ☆33Updated 2 years ago
• ms-ati / rumonade
  Scala-inspired Monads for Ruby
  ☆103Updated 9 years ago
• awwaiid / pry-timetravel
  Time travel for Ruby Pry
  ☆38Updated 8 years ago
• plexus / hexp
  Ruby virtual DOM for HTML
  ☆56Updated 6 years ago
• justincampbell / generative
  Generative/property-based testing for RSpec
  ☆69Updated 3 years ago
• microrb / microrb.com
  micro.rb website
  ☆55Updated 4 years ago
• dkubb / dockerfiles
  A set of docker images I use for development
  ☆11Updated 7 years ago
• jarhart / rattler
  Ruby Tool for Language Recognition
  ☆44Updated 10 years ago
• jimwise / rulog
  Ruby with Logic, a prolog-style logic programming system for Ruby
  ☆31Updated 7 years ago
• tenderlove / arghhh
  I can't figure out SSL, please help!
  ☆19Updated 9 years ago
• guidosalva / ReactiveRubyTruffle
  ☆42Updated 8 years ago
• banister / funkify
  Haskell-style partial application and composition for Ruby methods
  ☆152Updated 10 years ago
• atomicobject / piece_pipe
  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
• bestie / terrestrial
  A data mapper ORM for Ruby. Persists POROs, enables DDD and fast tests. Makes your objects less alien.
  ☆17Updated 4 years ago
• pitr-ch / algebrick
  Typed structs on steroids based on algebraic types and pattern matching.
  ☆88Updated 4 years ago
• rom-rb / rom-couchdb
  Experimental CouchDB support for ROM
  ☆18Updated 8 years ago
• jbodah / spy_rb
  Transparent Test Spies for Ruby
  ☆28Updated 5 years ago
• chef / dep-selector
  Fast Dependency Solver for Ruby using Gecode
  ☆25Updated 3 years ago
• mbj / morpher
  Transformation of ruby data-structures with optionally traced evaluation
  ☆4Updated last year
• mbj / vanguard
  External validations for ruby objects
  ☆119Updated 9 years ago
• justinwsmith / ruby-xxhash
  A pure Ruby implementation of xxhash.
  ☆23Updated 2 years ago