Alternatives and similar repositories for typecheck

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

• plum-umd / rtc
  ☆84Updated 9 years ago
• txus / fuby
  Fuby is a hybrid functional/object-oriented programming language on the Rubinius VM
  ☆62Updated 11 years ago
• txus / adts
  Algebraic Data Types for Ruby
  ☆74Updated 10 years ago
• foxnewsnetwork / arrows
  ruby lambda proc tools for functional programming and arrows
  ☆28Updated 10 years ago
• banister / funkify
  Haskell-style partial application and composition for Ruby methods
  ☆152Updated 10 years ago
• atomicobject / monadt
  Monads & ADTs in Ruby
  ☆27Updated 5 years ago
• steveklabnik / frappuccino
  Functional Reactive Programming in Ruby.
  ☆354Updated 9 years ago
• mcfilib / ruby-marshal
  Haskell library to parse a subset of Ruby objects serialised with Marshal.dump
  ☆33Updated 2 years ago
• guidosalva / ReactiveRubyTruffle
  ☆42Updated 8 years ago
• rubyworks / tapout
  TAP-Y/J Test Harness
  ☆53Updated 10 years ago
• justincampbell / generative
  Generative/property-based testing for RSpec
  ☆69Updated 3 years ago
• ms-ati / rumonade
  Scala-inspired Monads for Ruby
  ☆103Updated 10 years ago
• jimweirich / lambda_fizz
  The Classic FizzBuzz program implemented in pure Ruby-Flavored Lambda Calculus
  ☆47Updated 13 years ago
• plexus / hexp
  Ruby virtual DOM for HTML
  ☆56Updated 6 years ago
• mneumann / wee
  A high-level, light-weight web framework for Ruby with many ideas from Seaside.
  ☆117Updated 5 years ago
• spariev / mini_kanren
  MiniKanren implementation in Ruby
  ☆40Updated 9 years ago
• mrbrdo / theine
  Rails preloader for JRuby (similar to Zeus, Spring and Spork)
  ☆98Updated 5 years ago
• chef / dep-selector
  Fast Dependency Solver for Ruby using Gecode
  ☆25Updated 4 years ago
• halogenandtoast / dagon
  The programming language of the elder gods.
  ☆30Updated 9 years ago
• dry-rb / dry-pipeline
  The `>>` operator for Ruby aka "pipeline operator"
  ☆75Updated 6 years ago
• NoRedInk / elm_sprockets
  Sprockets preprocessor for Elm
  ☆16Updated 7 years ago
• rrrene / sparkr
  ▁▂▃▅▂▇ in Ruby (and your shell)
  ☆151Updated 11 years ago
• soveran / clap
  Command line argument parsing
  ☆90Updated 10 years ago
• jakeboxer / hyperloop
  Make simple websites with a technology stack familiar to Rails programmers.
  ☆73Updated 9 years ago
• neilconway / superators
  Superators add new operators to Ruby
  ☆32Updated 13 years ago
• jessitron / fp4rd
  Functional Principles for the Ruby Developer
  ☆106Updated 12 years ago
• pitr-ch / algebrick
  Typed structs on steroids based on algebraic types and pattern matching.
  ☆88Updated 4 years ago
• aaw / hyperloglog-redis
  An implementation of the HyperLogLog algorithm backed by Redis
  ☆171Updated 10 years ago
• JEG2 / rurses
  A more Ruby style wrapper over ncurses.
  ☆13Updated 5 years ago
• ruby-ore / ore
  Mine beautiful RubyGems from Ore
  ☆240Updated 7 years ago