type-checker
There are 91 repositories under type-checker topic.
mtshiba/pylyzer
A fast static code analyzer & language server for Python
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. 🚧
fathyb/parcel-plugin-typescript
🚨 Enhanced TypeScript support for Parcel
devcat-studio/kailua
🌴 Type Checker and IDE Support for Lua
mesqueeb/is-what
JS type check (TypeScript supported) functions like `isPlainObject() isArray()` etc. A simple & small integration.
shellyln/tynder
TypeScript friendly Data validator for JavaScript.
lamdu/hypertypes
Hypertypes - generic programming for heterogeneous recursive types
typeis/typeis
Typeis. it's the smart and simple javaScript type checker
brendanzab/rust-nbe-for-mltt
Normalization by evaluation for Martin-Löf Type Theory with dependent records
MaxDesiatov/Typology
Swift type checking and semantic analysis for developer tools
dwango/fialyzer
[WIP] Faster Implementation of Dialyzer
Glyphack/enderpy
WIP: Python Type Checker and LSP 🔎
LionelAuroux/pyrser
A PEG Parsing Tool
0dminnimda/pynalyser
Static Python Code Analyzer
gfngfn/toy-macro-ml
An implementation of MacroML [Ganz, Sabry & Taha 2001]
gebner/trepplein
Lean type-checker written in Scala.
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).
jespercockx/agda-core
A work-in-progress core language for Agda, in Agda
madmann91/slang
A small, flexible and extensible front-end for GLSL.
forked-from-1kasper/anders
Anders: Cubical Type Checker
groupoid/anders
🧊 Модальний гомотопічний верифікатор математики
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
heyrutvik/nbe-a-tutorial
Checking Dependent Types with Normalization by Evaluation
daltonmenezes/what-type-is
:grey_question: A simple type checking library for Node.js
lkster/Safetify
Value type safing utility
forked-from-1kasper/bravo
Castle Bravo: Experimental HoTT Implementation
justinfargnoli/lamb
An implementation of the Typed Lambda Calculus described in https://papl.cs.brown.edu/2018/types.html
ashton314/lambda-x86
Lambda Calculus compiler targeting x86, written in Racket
csabahruska/dsl-experiment
Basic implementation of Hindley-Milner Type System and variants.
ItsJonQ/is
💡 A tiny type checker for JavaScript
skarab42/unleashed-typescript
TypeScript with exposed internal definitions and some private methods for type checking.