Property types that add CHECK constraints to your DB and validations to your model. Data integrity FTW.

QuacksLike is a module for RSpec to add matchers that test if an object is fully duck-typed to pretend to be another class. This kind of thing is really only necessary when passing such an object as the return value in an API where you don't know exactly how it will be consumed, but it needs to ...

QuacksLike is a module for RSpec to add matchers that test if an object is fully duck-typed to pretend to be another class. This kind of thing is really only necessary when passing such an object as the return value in an API where you don't know exactly how it will be consum...

File type identification library.

Generate all parts of a compiler, including the lexer, parser, syntax tree, symbol table, type checker, code generator, and optimizer.

Experimental type checker

== PintosCheck -- Auto Pintos Checker to Save the Day == == Functionalities == The functionality of this simple script is to download pintos homework assignments from the mail inbox and then run through all the desired tests and finally generate reports in plain text or html formats, all automat...

Allows checking of reply content type with request accept types. Also allows contracting of downstream apps to supplying a single type.

Guard plugin for Flow type checks

A puppet-lint plugin to check that manifest files do not contain resources outside of a class or defined type definition.