Typecheck

Enables the creation of pairs of content for quizzes(e.g. What are the numbers between one and seven?-[[1]][[2]][[3]][[4]]1520) for learning purposes. The answers in square brackets indicate the correct answers. End-users can test their memory by selecting the correct checkboxes (see Typecheck...


Platforms: PHP

Getargs::Long is a Perl module with named subroutine arguments, with optional type checking. SYNOPSIS use Getargs::Long; # case sensitive use Getargs::Long qw(ignorecase); # case insensitive # Simple, args mandatory my ($val, $other) = getargs(@_, qw(val other)); # Simple, args optional...


Platforms: *nix

CIL, also knows as the C Intermediate Language was built as a front-end for the C programming language. It was designed in order to facilitate program analysis and transformation. CIL will parse and typecheck a program, and compile it into a simplified subset of C. For example, in CIL all...


Platforms: Windows

This library defines an Interpreter monad. It allows to load Haskell modules, browse them, type-check and evaluate strings with Haskell expressions and even coerce them into values. The library is thread-safe and type-safe (even the coercion of expressions to values). It is, esentially, a huge...


Platforms: Mac