type-checker
There are 104 repositories under type-checker topic.
facebook/pyrefly
A fast type checker and IDE for Python
mtshiba/pylyzer
A fast, feature-rich static code analyzer & language server for Python
carthage-software/mago
Mago is a toolchain for PHP that aims to provide a set of tools to help developers write better code.
msz/hammox
🏝 automated contract testing via type checking for Elixir functions and mocks
yeslogic/fathom
🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
mesqueeb/is-what
JS type check (TypeScript supported) functions like `isPlainObject() isArray()` etc. A simple & small integration.
fathyb/parcel-plugin-typescript
🚨 Enhanced TypeScript support for Parcel
devcat-studio/kailua
🌴 Type Checker and IDE Support for Lua
lamdu/hypertypes
Hypertypes - generic programming for heterogeneous recursive types
shellyln/tynder
TypeScript friendly Data validator for JavaScript.
brendanzab/rust-nbe-for-mltt
Normalization by evaluation for Martin-Löf Type Theory with dependent records
typeis/typeis
Typeis. it's the smart and simple javaScript type checker
Glyphack/enderpy
Experimental Python Type Checker and LSP 🔎
MaxDesiatov/Typology
Swift type checking and semantic analysis for developer tools
dwango/fialyzer
[WIP] Faster Implementation of Dialyzer
jespercockx/agda-core
A work-in-progress core language for Agda, in Agda
gebner/trepplein
Lean type-checker written in Scala.
LionelAuroux/pyrser
A PEG Parsing Tool
0dminnimda/pynalyser
Static Python Code Analyzer
gfngfn/toy-macro-ml
An implementation of MacroML [Ganz, Sabry & Taha 2001]
kawmra/typist-json
A simple runtime JSON type checker.
orsinium-labs/arguard
🛡 Linter for Go that checks static call arguments against the function guards (aka contracts).
rzrn/anders
Anders: Cubical Type Checker
groupoid/anders
🧊 Модальний гомотопічний верифікатор математики
madmann91/slang
A small, flexible and extensible front-end for GLSL.
Marcisbee/letype
🔏 Type checker for any data structures
PragmaTwice/ichigo-lang
write a little simply typed functional language to practice Rust
RemuLang/remu-type-system
type-system, revised unification algorithm and runtime time representations
ashton314/lambda-x86
Lambda Calculus compiler targeting x86, written in Racket
heyrutvik/nbe-a-tutorial
Checking Dependent Types with Normalization by Evaluation
rzrn/bravo
Castle Bravo: Experimental HoTT Implementation
daltonmenezes/what-type-is
:grey_question: A simple type checking library for Node.js
lkster/Safetify
Value type safing utility
BIYUEHU/tsukiko
Types Check And Parse In The Runtime Base On TypeScript
teach-plt/www
Webpages of course Programming Language Technology