Full rewrite of IntelliJ IDEA Erlang plugin with type inference and good stuff
-
Updated
Feb 24, 2023 - Kotlin
Full rewrite of IntelliJ IDEA Erlang plugin with type inference and good stuff
Consists of a Functional language as well as an Imperative language, implemented using Ocaml
unidiomatic usage of Rust, no linear type, no memory safety 😂
Simple dynamic Python type checker
Hadron Object Type Checker
lab assignments of cs3130 course in iitpkd
Runtime Type Checker for Typescript
A JavaScript library that checks whether the value is of a specific type
An attempt at a language for the logic of a possible type checker for lau
❓ Collection of tiny type introspection helpers
A dependent type checker for lambda calculus.
Type validator package.
Hurricane: HoTT-I Type System
A tiny interpreter for a subset of expressions of the ML language.
Toy typechecker and interpreter for the Mirage language.
control types of variables in runtime
Add a description, image, and links to the type-checker topic page so that developers can more easily learn about it.
To associate your repository with the type-checker topic, visit your repo's landing page and select "manage topics."