type-checking
Here are 202 public repositories matching this topic...
This repo consists of compiler course project phases from lexical analysis to bytecode generation of a hypothetical actor-based language named ACTon using java language and ANTLR tool.
-
Updated
Feb 19, 2022
Useful heuristics, type checks, and validation helpers for JavaScript and TypeScript
-
Updated
Jun 1, 2023 - TypeScript
Library for checking types. Similar from IEx's i command
-
Updated
Apr 16, 2022 - Elixir
Generates runnable x86 assembly code based on a small object-oriented programming language input.
-
Updated
Sep 15, 2022 - C++
🧩 Plain JavaScript objects with runtime type guarantees
-
Updated
May 14, 2024 - JavaScript
Function triggers error if argument is not finite number of type 'number'
-
Updated
Sep 2, 2020 - JavaScript
Common lisp implementation of Dr. Kothari's extended Wand algorithm for type inference
-
Updated
Sep 8, 2019 - Common Lisp
Runtime type checking library for TS & JS
-
Updated
Apr 4, 2021 - TypeScript
An implementation of Daan Leijen's λ^k effect-conscience type system in OCaml
-
Updated
Dec 19, 2020 - OCaml
Run-time type checking for JavaScript
-
Updated
Mar 2, 2018 - JavaScript
an interpreter for C++
-
Updated
Feb 9, 2020 - C++
BGU PPL Course Assignment 4 - Scheme type checking, typescript generators and promises
-
Updated
Jul 21, 2021 - TypeScript
an interpreter for a subset of the rust language with main focus on algebraic data types + pattern matching
-
Updated
May 29, 2022 - Rust
A Python3 decorator for automated checking of function-call argument types/values using std-lib ‘inspect'.
-
Updated
Sep 13, 2023 - Python
Measure Units Auto-Generated Imperative Procedural General
-
Updated
May 4, 2020 - C#
Improve this page
Add a description, image, and links to the type-checking topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the type-checking topic, visit your repo's landing page and select "manage topics."