A type checker for dynamically typed JavaScript
-
Updated
Mar 16, 2018 - JavaScript
#
type-checker
Here are 103 public repositories matching this topic...
🔏 Type checker for any data structures
-
Updated
Apr 5, 2023 - JavaScript
Run-time type checking for JavaScript
-
Updated
Mar 2, 2018 - JavaScript
Semester Long Project: Compiler for ERPLAG (Toy Language)
-
Updated
Jul 22, 2020 - C
-
Updated
Nov 18, 2017 - XSLT
Full rewrite of IntelliJ IDEA Erlang plugin with type inference and good stuff
-
Updated
Feb 24, 2023 - Kotlin
JSON-Schema based type resolver for golang
-
Updated
Sep 1, 2018 - Go
FairCheck is a type checker for a calculus of binary sessions. The type system guarantees that well-typed programs terminate under a strong fairness assumption.
-
Updated
Dec 30, 2021 - Haskell
❓ Collection of tiny type introspection helpers
javascript typechecker typescript class-instance type-checking primitive-types plain-objects is-object type-checker type-check is-plain-obj plain-object check-type class-identifier define-type get-type what-type is-plain-object javavscript-type
-
Updated
Dec 6, 2023 - TypeScript
control types of variables in runtime
-
Updated
Jan 14, 2021 - Python
Runtime Type Checker for Typescript
-
Updated
Jan 8, 2024 - TypeScript
a simple programming language with variables, scopes, functions, and basic higher-order support
parser interpreter parser-combinators mips-assembly code-generation abstract-syntax-tree type-checker programming-language-theory programming-language-development
-
Updated
Jul 24, 2025 - F#
A simple runtime JSON type checker.
-
Updated
Jan 7, 2023 - TypeScript
Mirror of the `pyre-check` package for pre-commit.
-
Updated
Oct 30, 2024 - Python
Pytest plugin for replacing reveal_type() calls with static and runtime type checking result comparison
typechecker types annotation dynamic-typing typing pytest pytest-plugin type-checking typecheck typechecking type-checker static-typing type-check runtime-typechecking
-
Updated
Dec 1, 2025 - Python
Consists of a Functional language as well as an Imperative language, implemented using Ocaml
-
Updated
Jan 27, 2021 - OCaml
An excercise in developing a programming language
-
Updated
May 2, 2021 - Swift
The project of the Computer Language Processing (CLP) course in EPFL. It implements a compiler and an interpreter for Amy Language that is a subset of Scala. (2018-2019)
-
Updated
Dec 21, 2018 - Scala
Taipo is a simple library for checking the types of variables
-
Updated
Jun 9, 2018 - Ruby
Improve this page
Add a description, image, and links to the type-checker topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the type-checker topic, visit your repo's landing page and select "manage topics."