A fast type checker and language server for Python
Mago is a toolchain for PHP that aims to provide a set of tools to help developers write better code.
Type checking static analysis for Go templates.
Webpages of course Programming Language Technology
Pytest plugin for replacing reveal_type() calls with static and runtime type checking result comparison
A work-in-progress core language for Agda, in Agda
JS type check (TypeScript supported) functions like `isPlainObject() isArray()` etc. A simple & small integration.
Lightweight runtime type checking for JavaScript.
A Lean (4) type checker written in RPython
🏝 automated contract testing via type checking for Elixir functions and mocks
a simple programming language with variables, scopes, functions, and basic higher-order support
Shared settings for linters, type checking tools and VSCode
An implementation of the mugda paper
This repository contains the core components of our Recursive Student Programming Language Compiler Construction and Design project. The project aims to implement a complete compiler, including lexical analysis, parsing, semantic analysis, and code generation.
🧊 Модальний гомотопічний верифікатор математики
A fast, feature-rich static code analyzer & language server for Python
Hypertypes - generic programming for heterogeneous recursive types
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."