Useful heuristics, type checks, and validation helpers for JavaScript and TypeScript
-
Updated
Jun 1, 2023 - TypeScript
Useful heuristics, type checks, and validation helpers for JavaScript and TypeScript
Generates runnable x86 assembly code based on a small object-oriented programming language input.
Function triggers error if argument is not finite number of type 'number'
Common lisp implementation of Dr. Kothari's extended Wand algorithm for type inference
Runtime type checking library for TS & JS
BGU PPL Course Assignment 4 - Scheme type checking, typescript generators and promises
Programming work for my Senior Initiative project
✔️ a small uility Python module for type checking an object towards a sample object
A simmple library to serialize dataclasses in Python with tight type-checking
Lecture notes, assignments, and other materials for a one-semester course on programming language concepts and theory, interpretation and compilation, and programming paradigms.
Extension of the Boolean parser to include Boolean expressions, integer expressions, conditional and declaration statements as well as functional abstraction and application. The project includes lexing, parsing, generation of abstract syntax, type checking and evaluation.
A suite of Python namespaced packages that provides implementations of the Queue ADT and related algorithms.
zero compile type checking prettier configuration with zod and vscode
Formal Methods: Core Java Typechecker
Type checker for pure MLTT using well-scoped de Bruijn indices
Let's write a C program in a parametric-polymorphismic way!
Credential storage and checking system, with user permissions, which contains a room area calculator. Includes error handling and type checking.
ChaiSQL - a prototype optional type checker for raw SQL ☕️ 🫖 @ TU/e Database Research Group
Add a description, image, and links to the type-checking topic page so that developers can more easily learn about it.
To associate your repository with the type-checking topic, visit your repo's landing page and select "manage topics."