Report or block diakopter
Contact Support about this user's behavior.Report abuse
Lean Theorem Prover
Prototype smart text editor
Powerful meta-programming for powerful types.
Prototype implementation of presentation-based UI widgets for Racket's GUI library
Write your next refinement logic in Racket!
A Dependently Typed Functional Programming Language
homebrew tap for Lean theorem prover
Visual editor for Babylon.js
An ML-like language with a type system for program verification
A set of nagios checks for RabbitMQ using the management interface
Specware consists of a formal specification language and tools for transformation and refinement to efficient implementations in CommonLisp, C, Java and Haskell.
Reference type checker for the Lean Theorem Prover
Automatically exported from code.google.com/p/intuitionistic
Chrome app for tedit
dombuilder that applies diffs only to the real dom
NoFlo Development Environment
Object Utilities for NoFlo
GitHub components for NoFlo
Base library for building NoFlo runtimes
Polymer components for NoFlo
The NoFlo website
small Demonstration of calculating and applying different transformation types by user input (1, 2, 3 and 4 fingers)