type-checker
Here are 103 public repositories matching this topic...
-
Updated
Nov 18, 2017 - XSLT
❓ Collection of tiny type introspection helpers
-
Updated
Dec 6, 2023 - TypeScript
Full rewrite of IntelliJ IDEA Erlang plugin with type inference and good stuff
-
Updated
Feb 24, 2023 - Kotlin
Runtime Type Checker for Typescript
-
Updated
Jan 8, 2024 - TypeScript
a simple programming language with variables, scopes, functions, and basic higher-order support
-
Updated
Jul 24, 2025 - F#
Consists of a Functional language as well as an Imperative language, implemented using Ocaml
-
Updated
Jan 27, 2021 - OCaml
control types of variables in runtime
-
Updated
Jan 14, 2021 - Python
Pytest plugin for replacing reveal_type() calls with static and runtime type checking result comparison
-
Updated
Dec 1, 2025 - Python
Type validator package.
-
Updated
Dec 3, 2018 - JavaScript
lab assignments of cs3130 course in iitpkd
-
Updated
Dec 30, 2020 - Standard ML
A JavaScript library that checks whether the value is of a specific type
-
Updated
Feb 7, 2024 - JavaScript
An attempt at a language for the logic of a possible type checker for lau
-
Updated
Aug 26, 2023 - Elm
Toy typechecker and interpreter for the Mirage language.
-
Updated
Dec 3, 2023 - Rust
A tiny interpreter for a subset of expressions of the ML language.
-
Updated
Feb 17, 2023 - F#
a non-opinionated JavaScript schema validator/duck-typing based runtime type detector
-
Updated
Jul 2, 2024 - JavaScript
-
Updated
Sep 24, 2016 - OCaml
unidiomatic usage of Rust, no linear type, no memory safety 😂
-
Updated
Aug 21, 2016 - Rust
A dependent type checker for lambda calculus.
-
Updated
Apr 13, 2024 - Rust
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."