ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.
-
Updated
Mar 9, 2018 - JavaScript
ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.
Specification of the Formality proof and programming language
Interpreter for simply typed lambda calculus implemented in JavaScript λ
(experimental) Conceptual s-expression based typed term graph rewriting system
A Typescript fundamentals tutorials for beginners, An introduction & step-by-step guide to Typescript language latest features in combination with ECMAScript 5,6,7
Tennis Kata introducing algebric data Types Driven Design
Exonum type system for JavaScript
🐍 Vanilla oriented type checking library based on Facebook's prop-types
🔧 Simplistic and minimal runtime type checking system for Node.js applications
Add a description, image, and links to the type-system topic page so that developers can more easily learn about it.
To associate your repository with the type-system topic, visit your repo's landing page and select "manage topics."