type-checker

Star

Here are 81 public repositories matching this topic...

msz / hammox

Star

🏝 automated contract testing via type checking for Elixir functions and mocks

Updated Mar 17, 2023
Elixir

mtshiba / pylyzer

Sponsor

Star

A fast static code analyzer & language server for Python

python rust language-server static-analysis type-checker

Updated Mar 17, 2023
Rust

yeslogic / fathom

Star

🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧

language programming-language rust parser dependent-types compiler binary-data dsl declarative data-description-language type-system statically-typed type-checker binary-format dependent-record-types

Updated Feb 17, 2023
Rust

fathyb / parcel-plugin-typescript

Sponsor

Star

🚨 Enhanced TypeScript support for Parcel

lint typescript transformers code-quality type-checker parcel-plugin

Updated Dec 7, 2022
TypeScript

devcat-studio / kailua

Star

🌴 Type Checker and IDE Support for Lua

lua vscode-extension type-checker kailua

Updated Jun 7, 2022
Rust

shellyln / tynder

Star

TypeScript friendly Data validator for JavaScript.

typescript schema validator validation-library type-checker data-validator schema-validator

Updated Mar 14, 2023
TypeScript

lamdu / hypertypes

Sponsor

Star

Hypertypes - generic programming for heterogeneous recursive types

programming-languages type-inference type-checker programming-language-development

Updated Feb 22, 2023
Haskell

typeis / typeis

Star

Typeis. it's the smart and simple javaScript type checker

javascript simple typeof type-checking type-checker typeis

Updated Jul 28, 2021
JavaScript

brendanzab / rust-nbe-for-mltt

Star

Normalization by evaluation for Martin-Löf Type Theory with dependent records

rust dependent-types type-theory type-system type-inference unification type-checker bidirectional-typechecking debruijn-indices dependent-record-types dependent-records normalization-by-evaluation semantic-typechecking

Updated Jun 8, 2022
Rust

MaxDesiatov / Typology

Star

Swift type checking and semantic analysis for developer tools

swift developer-tools type-checking type-system hindley-milner type-inference semantic-analysis type-checker semantic-analyzer

Updated Mar 16, 2022
Swift

mesqueeb / is-what

Sponsor

Star

JS type check (TypeScript supported) functions like `isPlainObject() isArray()` etc. A simple & small integration.

javascript typechecker typescript class-instance type-checking primitive-types plain-objects is-object type-checker type-check is-plain-obj plain-object check-type javascript-type class-identifier define-type get-type what-type is-plain-object

Updated Mar 5, 2023
TypeScript

dwango / fialyzer

Star

[WIP] Faster Implementation of Dialyzer

erlang type-checker

Updated Aug 22, 2019
OCaml

0dminnimda / pynalyser

Star

Static Python Code Analyzer

github python analysis code-analysis python3 collaborate type-checker ghdesktop student-vscode

Updated Mar 6, 2023
Python

suica / write-you-a-typescript

Star

tutorial typescript type-checker

Updated Mar 15, 2023
TypeScript

LionelAuroux / pyrser

Star

A PEG Parsing Tool

python parser tree parsing matching grammar typing parsing-expression-grammar type peg type-checking type-system type-checker tree-matching

Updated Mar 13, 2021
Python

gfngfn / toy-macro-ml

Star

An implementation of MacroML [Ganz, Sabry & Taha 2001]

ocaml macro type-system type-checker multi-stage-programming

Updated Dec 21, 2018
OCaml

kawmra / typist-json

Star

A simple runtime JSON type checker.

json typescript typescript-library type-safe type-checking type-checker runtime-typechecking

Updated Jan 7, 2023
TypeScript

gebner / trepplein

Star

Lean type-checker written in Scala.

scala theorem-proving lean type-checker

Updated Mar 13, 2022
Scala

madmann91 / slang

Star

A small, flexible and extensible front-end for GLSL.

parser glsl preprocessor type-checker

Updated Jul 20, 2022
C++

Marcisbee / letype

Star

🔏 Type checker for any data structures

schema types validator type type-checker type-check

Updated Jun 16, 2021
JavaScript

Improve this page

Add a description, image, and links to the type-checker topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the type-checker topic, visit your repo's landing page and select "manage topics."

Learn more