plexus / typecheck
☆45Updated 10 years ago
Alternatives and similar repositories for typecheck:
Users that are interested in typecheck are comparing it to the libraries listed below
- ☆84Updated 8 years ago
- The Classic FizzBuzz program implemented in pure Ruby-Flavored Lambda Calculus☆47Updated 12 years ago
- Fuby is a hybrid functional/object-oriented programming language on the Rubinius VM☆62Updated 11 years ago
- Algebraic Data Types for Ruby☆74Updated 10 years ago
- ruby lambda proc tools for functional programming and arrows☆28Updated 10 years ago
- UNMAINTAINED: See celluloid/celluloid#779 - Celluloid actors that talk over the 0MQ protocol☆82Updated 4 years ago
- Lambra is an experiment to implement a functional, distributed Lisp on the Rubinius VM.☆36Updated 11 years ago
- micro.rb website☆55Updated 4 years ago
- TAP-Y/J Test Harness☆53Updated 10 years ago
- MiniKanren implementation in Ruby☆40Updated 9 years ago
- A more Ruby style wrapper over ncurses.☆13Updated 4 years ago
- Monads & ADTs in Ruby☆27Updated 5 years ago
- I can't figure out SSL, please help!☆19Updated 9 years ago
- Scala-inspired Monads for Ruby☆103Updated 9 years ago
- ☆32Updated 9 years ago
- Transformation of ruby data-structures with optionally traced evaluation☆4Updated 11 months ago
- Generative/property-based testing for RSpec☆69Updated 3 years ago
- Time travel for Ruby Pry☆38Updated 8 years ago
- Typed structs on steroids based on algebraic types and pattern matching.☆88Updated 4 years ago
- External validations for ruby objects☆119Updated 9 years ago
- Haskell library to parse a subset of Ruby objects serialised with Marshal.dump☆33Updated 2 years ago
- rom-rb adapter inspired by original Yesql from the Clojure world☆32Updated 3 months ago
- Superators add new operators to Ruby☆32Updated 13 years ago
- Functional Reactive Programming in Ruby.☆354Updated 9 years ago
- The Maybe monad for Ruby☆50Updated 7 years ago
- Facades around interchangeable objects & system boundaries☆30Updated 11 years ago
- Rails preloader for JRuby (similar to Zeus, Spring and Spork)☆99Updated 5 years ago
- Ruby virtual DOM for HTML☆56Updated 6 years ago
- RabbitMQ JRuby based worker framework on top of march_hare (hot_bunnies)☆70Updated last year
- A ruby library for prettier-still anonymous blocks.☆74Updated 12 years ago