OCaml Project for my second year undergraduate programming course at Pisa University. I implemented an interpreter with a dynamic typechecker and a static typecheker.
-
Updated
Jun 27, 2021 - OCaml
#
typechecker
Here are 119 public repositories matching this topic...
Dependently-typed language w/ little to say for itself
-
Updated
Mar 29, 2018 - Haskell
Dependently typed core calculus with erasure
-
Updated
Aug 31, 2021 - Idris
Simple frontend developed to learn how to create type checkers
-
Updated
Mar 1, 2025 - C
Alternative implementation of the logical framework Dedukti
-
Updated
Nov 21, 2019 - Haskell
Variant of TypeScript with interfaces that express complex constraints on the presence of its properties
-
Updated
Dec 30, 2018 - TypeScript
A command line tool that generates ts/js typechecker functions from typescript types.
-
Updated
Jan 23, 2024 - Rust
Repositório de projetos solicitados na disciplina Linguagens de Programação durante o semestre 2023.1
-
Updated
Jul 28, 2023 - Haskell
Experiments in designing a language LSP-first
-
Updated
Dec 30, 2024 - Rust
A lightweight Python static type checking and inference tool.
python typechecker types static-code-analysis best-practices static-analysis typing best python-type
-
Updated
Aug 4, 2025 - Python
Command line Type-Checking tool for only the script part of Vue
-
Updated
Feb 4, 2023 - TypeScript
A Schema-less JSON validator, only requires typescript interface definitions
-
Updated
Dec 30, 2022 - TypeScript
A type checker for dynamically typed JavaScript
-
Updated
Mar 16, 2018 - JavaScript
Programming language for clear, concise and clever computing.
language programming-language rust typechecker library typescript extension interpreter runtime language-server-protocol
-
Updated
Nov 9, 2024 - Rust
-
Updated
Oct 15, 2014 - OCaml
A minimal boilerplate to test Flow Static Type functionaties.
-
Updated
Jun 7, 2022 - JavaScript
📝 | Type system | Static typeChecker | Type inference
-
Updated
Feb 23, 2024 - JavaScript
A repository dedicated to the derivation and implementation of type systems. Current system: Extended System F
typechecker pattern-matching type-system system-f parametric-polymorphism universal-quantifiers simply-typed-lambda-calculus
-
Updated
Aug 5, 2017 - Haskell
Labs for programming languages
-
Updated
Nov 23, 2024 - Java
Improve this page
Add a description, image, and links to the typechecker topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the typechecker topic, visit your repo's landing page and select "manage topics."