typechecker
Here are 96 public repositories matching this topic...
🔬 Minimalistic JS data type checking and serialization utility..
-
Updated
Jan 7, 2023 - TypeScript
Variant of TypeScript with interfaces that express complex constraints on the presence of its properties
-
Updated
Dec 30, 2018 - TypeScript
Runtime validation of data types in functions call parameters and return in runtime for ES6.
-
Updated
Apr 30, 2019 - JavaScript
-
Updated
Oct 15, 2014 - OCaml
📝 | Type system | Static typeChecker | Type inference
-
Updated
Feb 23, 2024 - JavaScript
Alternative implementation of the logical framework Dedukti
-
Updated
Nov 21, 2019 - Haskell
A gradual type checker for a fragment of the Elixir Language
-
Updated
Mar 27, 2024 - Python
An interpreter for a (very) simple functional programming language.
-
Updated
Oct 29, 2021 - Java
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
JavaScript library for runtime type checking
-
Updated
Jun 1, 2024 - JavaScript
ES6 JavaScript Type Check Library
-
Updated
Oct 18, 2020 - JavaScript
Parser and Syntaxchecker for the "minigo" language, written with flex/bison
-
Updated
Aug 14, 2018 - Yacc
We have invented the arithmetic logic programming language called as PP. We had to create parser, type check and eval which let you play with that language.
-
Updated
Jun 15, 2017 - Haskell
❓ Collection of tiny type introspection helpers
-
Updated
Dec 6, 2023 - TypeScript
This repository consists of various assignments given by Prof. Sanjiva in the COL226 course.
-
Updated
Nov 28, 2018 - OCaml
Cure for being paranoia about parameters which are coming in every single wrong way to our functions.
-
Updated
Jan 30, 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."