Specification of the Formality proof and programming language
-
Updated
Feb 5, 2023 - JavaScript
#
type-system
Here are 8 public repositories matching this topic...
Interpreter for simply typed lambda calculus implemented in JavaScript λ
-
Updated
Aug 7, 2017 - JavaScript
A Typescript fundamentals tutorials for beginners, An introduction & step-by-step guide to Typescript language latest features in combination with ECMAScript 5,6,7
typescript es6 tuples ecmascript decorators inheritance enum const typescript-library classes enumeration es7 es5 type-system type-inference let interfaces typescript-framework access-modifiers
-
Updated
Aug 10, 2019 - JavaScript
White Cats define Pure functions
-
Updated
Nov 4, 2025 - JavaScript
Tennis Kata introducing algebric data Types Driven Design
-
Updated
Mar 18, 2019 - JavaScript
Exonum type system for JavaScript
-
Updated
May 10, 2020 - JavaScript
🔧 Simplistic and minimal runtime type checking system for Node.js applications
-
Updated
Oct 16, 2018 - JavaScript
🐍 Vanilla oriented type checking library based on Facebook's prop-types
-
Updated
Oct 16, 2018 - JavaScript
Improve this page
Add a description, image, and links to the type-system topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the type-system topic, visit your repo's landing page and select "manage topics."