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
-
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
Alternative implementation of the logical framework Dedukti
-
Updated
Nov 21, 2019 - Haskell
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
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
Jun 2, 2024 - TypeScript
Collection of small javascript type check functions.
-
Updated
Aug 27, 2019 - JavaScript
OCaml Project for my second year undergraduate programming course at Pisa University. I implemented an interpreter with a dynamic typechecker and a static typecheker.
-
Updated
Jun 27, 2021 - OCaml
☁️ Wolke language interpreter ☁️
-
Updated
Sep 4, 2022 - Haskell
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."