A fast static code analyzer & language server for Python
-
Updated
May 23, 2024 - Rust
A fast static code analyzer & language server for Python
🏝 automated contract testing via type checking for Elixir functions and mocks
JS type check (TypeScript supported) functions like `isPlainObject() isArray()` etc. A simple & small integration.
🚨 Enhanced TypeScript support for Parcel
🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
Typeis. it's the smart and simple javaScript type checker
A PEG Parsing Tool
Hypertypes - generic programming for heterogeneous recursive types
Static Python Code Analyzer
Normalization by evaluation for Martin-Löf Type Theory with dependent records
Swift type checking and semantic analysis for developer tools
🌴 Type Checker and IDE Support for Lua
WIP: Python Type Checker and LSP 🔎
🧊 Модальний гомотопічний верифікатор математики
Lean type-checker written in Scala.
Value type safing utility
An implementation of the mugda paper
The code in this repository is relevant to the assignments given in the course COL226, taught by Prof. Sanjiva Prasad, in IIT Delhi, 2nd semester, 2017-2018.
A small, flexible and extensible front-end for GLSL.
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."