type-checker

There are 3 repositories under type-checker topic.

mtshiba / pylyzer
A fast static code analyzer & language server for Python
language-server python rust static-analysis type-checker
Language:Rust 1993
msz / hammox
🏝 automated contract testing via type checking for Elixir functions and mocks
behaviour behaviour-typespec behaviours contract contract-testing contracts dialyzer elixir explicit-contracts mock mocks mox testing type-checker type-checking typechecker typechecking typespec typespecs unit-testing
Language:Elixir 551
yeslogic / fathom
🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
data-description-language binary-format language statically-typed declarative parser rust dsl binary-data type-system type-checker dependent-types dependent-record-types compiler programming-language
Language:Rust 257
fathyb / parcel-plugin-typescript
🚨 Enhanced TypeScript support for Parcel
code-quality lint parcel-plugin transformers type-checker typescript
Language:TypeScript 180
devcat-studio / kailua
🌴 Type Checker and IDE Support for Lua
kailua lua type-checker vscode-extension
Language:Rust 168
mesqueeb / is-what
JS type check (TypeScript supported) functions like `isPlainObject() isArray()` etc. A simple & small integration.
typechecker check-type javascript typescript javascript-type primitive-types plain-object plain-objects class-instance class-identifier type-checking type-checker type-check define-type get-type what-type is-object is-plain-obj is-plain-object
Language:TypeScript 111
tynder
shellyln / tynder
TypeScript friendly Data validator for JavaScript.
data-validator schema schema-validator type-checker typescript validation-library validator
Language:TypeScript 109
lamdu / hypertypes
Hypertypes - generic programming for heterogeneous recursive types
programming-language-development programming-languages type-checker type-inference
Language:Haskell 107
typeis / typeis
Typeis. it's the smart and simple javaScript type checker
typeis javascript type-checking type-checker simple typeof
Language:JavaScript 93
brendanzab / rust-nbe-for-mltt
Normalization by evaluation for Martin-Löf Type Theory with dependent records
rust dependent-types normalization-by-evaluation bidirectional-typechecking semantic-typechecking type-theory dependent-record-types dependent-records debruijn-indices type-system type-checker unification type-inference
Language:Rust 90
suica / write-you-a-typescript
tutorial type-checker typescript
Language:TypeScript 82
MaxDesiatov / Typology
Swift type checking and semantic analysis for developer tools
hindley-milner type-checking type-inference type-checker type-system swift developer-tools semantic-analysis semantic-analyzer
Language:Swift 80
dwango / fialyzer
[WIP] Faster Implementation of Dialyzer
erlang type-checker
Language:OCaml 56
Glyphack / enderpy
WIP: Python Type Checker and LSP 🔎
lsp python auto-complete language-server rust static-analysis type-checker type-inference auto-com
Language:Rust 52
LionelAuroux / pyrser
A PEG Parsing Tool
python parser parsing parsing-expression-grammar peg tree-matching tree matching type type-system typing grammar type-checking type-checker
Language:Python 34
0dminnimda / pynalyser
Static Python Code Analyzer
analysis python3 code-analysis type-checker python collaborate ghdesktop github student-vscode
Language:Python 32
gfngfn / toy-macro-ml
An implementation of MacroML [Ganz, Sabry & Taha 2001]
type-system type-checker ocaml macro multi-stage-programming
Language:OCaml 28
gebner / trepplein
Lean type-checker written in Scala.
lean type-checker theorem-proving scala
Language:Scala 26
kawmra / typist-json
A simple runtime JSON type checker.
typescript typescript-library json type-safe type-checker type-checking runtime-typechecking
Language:TypeScript 25
orsinium-labs / arguard
🛡 Linter for Go that checks static call arguments against the function guards (aka contracts).
contracts dbc deal design-by-contract go golang golangci-lint guards linter safety static-analysis ci lint type-checker
Language:Go 25
madmann91 / slang
A small, flexible and extensible front-end for GLSL.
glsl parser preprocessor type-checker
Language:C++ 21
forked-from-1kasper / anders
Anders: Cubical Type Checker
dependent-types dependent-type-theory proof-assistant cubical-type-theory ctt homotopy-type-theory hott mltt theorem-prover type-checker type-system
Language:OCaml 18
groupoid / anders
🧊 Модальний гомотопічний верифікатор математики
mltt dependent-types cubical-type-theory theorem-prover proof-assistant type-checker type-system
Language:OCaml 17
jespercockx / agda-core
A work-in-progress core language for Agda, in Agda
agda agda-backend core-language dependent-types type-checker
Language:Agda 17
Marcisbee / letype
🔏 Type checker for any data structures
type-check type-checker type types validator schema
Language:JavaScript 16
PragmaTwice / ichigo-lang
write a little simply typed functional language to practice Rust
darling-in-the-frankxx functional-lang rust stlc type-checker
Language:Rust 15
RemuLang / remu-type-system
type-system, revised unification algorithm and runtime time representations
compiler programming-language row-polymorphism type-checker type-system
Language:OCaml 12
heyrutvik / nbe-a-tutorial
Checking Dependent Types with Normalization by Evaluation
dependent-types lambda-calculus interpreter type-checker
Language:Scala 8
daltonmenezes / what-type-is
:grey_question: A simple type checking library for Node.js
type-checking type-checker nodejs node node-js js javascript javascript-library
Language:JavaScript 7
lkster / Safetify
Value type safing utility
resolver resolver-library safety typesafe typescript validation verify type-checking type-safety type-checker data-validation
Language:TypeScript 7
forked-from-1kasper / bravo
Castle Bravo: Experimental HoTT Implementation
dependent-types mltt hott-uf hott homotopy-type-theory univalent-foundations type-checker proof-assistant theorem-prover
Language:OCaml 6
ashton314 / lambda-x86
Lambda Calculus compiler targeting x86, written in Racket
racket x86 compiler lambda-calculus type-inference type-checker bidirectional-typechecking
Language:Racket 5
csabahruska / dsl-experiment
Basic implementation of Hindley-Milner Type System and variants.
functional-programming haskell hindley-milner parser type-checker
Language:Haskell 5
ItsJonQ / is
💡 A tiny type checker for JavaScript
type checker type-checker type-check check-type is plain-object tiny check types javascript
Language:JavaScript 5
justinfargnoli / lamb
An implementation of the Typed Lambda Calculus described in https://papl.cs.brown.edu/2018/types.html
rust typed-lambda-calculus lambda-calculus formatter interpreter type-checker llvm
Language:Rust 5
skarab42 / unleashed-typescript
TypeScript with exposed internal definitions and some private methods for type checking.
internal tssert type-check type-checker types typescript unleashed
Language:TypeScript 5