typechecker
Here are 96 public repositories matching this topic...
🔬 Minimalistic JS data type checking and serialization utility..
-
Updated
Jan 7, 2023 - TypeScript
Dependently-typed language w/ little to say for itself
-
Updated
Mar 29, 2018 - Haskell
Variant of TypeScript with interfaces that express complex constraints on the presence of its properties
-
Updated
Dec 30, 2018 - TypeScript
Dependently typed core calculus with erasure
-
Updated
Aug 31, 2021 - Idris
Alternative implementation of the logical framework Dedukti
-
Updated
Nov 21, 2019 - Haskell
-
Updated
Oct 15, 2014 - OCaml
A minimal boilerplate to test Flow Static Type functionaties.
-
Updated
Jun 7, 2022 - JavaScript
📝 | Type system | Static typeChecker | Type inference
-
Updated
Feb 23, 2024 - JavaScript
Type-Checking Function Arguments for Humans™
-
Updated
Jun 6, 2018 - Python
Command line Type-Checking tool for only the script part of Vue
-
Updated
Feb 4, 2023 - TypeScript
A gradual type checker for a fragment of the Elixir Language
-
Updated
Mar 27, 2024 - Python
🦅 A pure, strongly typed functional language that compiles to js
-
Updated
May 24, 2024 - TypeScript
Decorator style assertions and type check library for Contract programming
-
Updated
Nov 21, 2019 - Ruby
JavaScript library for runtime type checking
-
Updated
May 4, 2024 - JavaScript
An interpreter for a (very) simple functional programming language.
-
Updated
Oct 29, 2021 - Java
Compiler for the sPLash programming language
-
Updated
Jun 15, 2023 - Python
Collection of small javascript type check functions.
-
Updated
Aug 27, 2019 - JavaScript
Improve this page
Add a description, image, and links to the typechecker topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the typechecker topic, visit your repo's landing page and select "manage topics."