GitHub topics: type-checker
facebook/pyrefly
A fast type checker and IDE for Python
Language: Rust - Size: 131 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 2,943 - Forks: 97
carthage-software/mago
Mago is a toolchain for PHP that aims to provide a set of tools to help developers write better code.
Language: Rust - Size: 4.43 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 443 - Forks: 23
Julian/rpylean
A Lean (4) type checker written in RPython
Language: Python - Size: 2.48 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 3 - Forks: 1
lamdu/hypertypes
Hypertypes - generic programming for heterogeneous recursive types
Language: Haskell - Size: 1.82 MB - Last synced at: 7 days ago - Pushed at: 5 months ago - Stars: 123 - Forks: 11
cicada-lang/mugda
An implementation of the mugda paper
Language: TypeScript - Size: 2.99 MB - Last synced at: 14 days ago - Pushed at: 6 months ago - Stars: 3 - Forks: 2
abelcheung/pytest-revealtype-injector
Pytest plugin for replacing reveal_type() calls with static and runtime type checking result comparison
Language: Python - Size: 188 KB - Last synced at: 38 minutes ago - Pushed at: 19 days ago - Stars: 0 - Forks: 0
groupoid/anders
🧊 Модальний гомотопічний верифікатор математики
Language: OCaml - Size: 14.8 MB - Last synced at: 1 day ago - Pushed at: 21 days ago - Stars: 22 - Forks: 2
nguyenminh-phuc/MiniJava
A compiler and interpreter for MiniJava, a subset of the Java language
Language: F# - Size: 180 KB - Last synced at: 15 days ago - Pushed at: over 7 years ago - Stars: 2 - Forks: 1
mtshiba/pylyzer
A fast, feature-rich static code analyzer & language server for Python
Language: Rust - Size: 3.76 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 2,829 - Forks: 39
msz/hammox
🏝 automated contract testing via type checking for Elixir functions and mocks
Language: Elixir - Size: 333 KB - Last synced at: 22 days ago - Pushed at: over 1 year ago - Stars: 578 - Forks: 30
NextGenContributions/.nitpick
Shared settings for linters, type checking tools and VSCode
Language: JavaScript - Size: 50.8 KB - Last synced at: about 1 month ago - Pushed at: about 2 months ago - Stars: 1 - Forks: 0
mesqueeb/is-what
JS type check (TypeScript supported) functions like `isPlainObject() isArray()` etc. A simple & small integration.
Language: TypeScript - Size: 1.45 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 195 - Forks: 20
gfngfn/toy-macro-ml
An implementation of MacroML [Ganz, Sabry & Taha 2001]
Language: OCaml - Size: 80.1 KB - Last synced at: 2 months ago - Pushed at: over 6 years ago - Stars: 31 - Forks: 1
yeslogic/fathom
🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
Language: Rust - Size: 5.51 MB - Last synced at: 27 days ago - Pushed at: almost 2 years ago - Stars: 263 - Forks: 12
jespercockx/agda-core
A work-in-progress core language for Agda, in Agda
Language: Agda - Size: 465 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 48 - Forks: 3
fathyb/parcel-plugin-typescript
🚨 Enhanced TypeScript support for Parcel
Language: TypeScript - Size: 1.26 MB - Last synced at: about 12 hours ago - Pushed at: over 2 years ago - Stars: 182 - Forks: 18
Glyphack/enderpy
Experimental Python Type Checker and LSP 🔎
Language: Rust - Size: 1.93 MB - Last synced at: about 1 month ago - Pushed at: 6 months ago - Stars: 83 - Forks: 7
devcat-studio/kailua 📦
🌴 Type Checker and IDE Support for Lua
Language: Rust - Size: 2.22 MB - Last synced at: 21 days ago - Pushed at: about 3 years ago - Stars: 170 - Forks: 4
rzrn/anders
Anders: Cubical Type Checker
Language: OCaml - Size: 4.02 MB - Last synced at: 29 days ago - Pushed at: over 1 year ago - Stars: 24 - Forks: 1
gebner/trepplein
Lean type-checker written in Scala.
Language: Scala - Size: 118 KB - Last synced at: 2 months ago - Pushed at: over 3 years ago - Stars: 35 - Forks: 2
mongodb-js/hadron-type-checker 📦
Hadron Object Type Checker
Language: JavaScript - Size: 358 KB - Last synced at: 1 day ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 1
teach-plt/www
Webpages of course Programming Language Technology
Language: Java - Size: 15 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 5 - Forks: 1
tensor-fusion/Coquand-SML
A bidirectional dependent type checker in Standard ML
Language: Standard ML - Size: 9.77 KB - Last synced at: 4 months ago - Pushed at: 11 months ago - Stars: 1 - Forks: 0
rzrn/bravo
Castle Bravo: Experimental HoTT Implementation
Language: OCaml - Size: 381 KB - Last synced at: 13 days ago - Pushed at: about 2 years ago - Stars: 7 - Forks: 1
rzrn/hurricane
Hurricane: HoTT-I Type System
Language: OCaml - Size: 44.9 KB - Last synced at: 10 days ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0
TebogoYungMercykay/RecSPL-Compiler-Construction-In-Python
This repository contains the core components of our Recursive Student Programming Language Compiler Construction and Design project. The project aims to implement a complete compiler, including lexical analysis, parsing, semantic analysis, and code generation.
Language: Python - Size: 1.48 MB - Last synced at: 3 months ago - Pushed at: 8 months ago - Stars: 4 - Forks: 0
danielvigaru/check-type-of
Chainable JavaScript type checking
Language: TypeScript - Size: 375 KB - Last synced at: 9 days ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0
orsinium-labs/arguard
🛡 Linter for Go that checks static call arguments against the function guards (aka contracts).
Language: Go - Size: 60.5 KB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 25 - Forks: 1
BIYUEHU/tsukiko
Types Check And Parse In The Runtime Base On TypeScript
Language: TypeScript - Size: 242 KB - Last synced at: 17 days ago - Pushed at: 6 months ago - Stars: 6 - Forks: 0
suica/write-you-a-typescript
Language: TypeScript - Size: 11.3 MB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 86 - Forks: 1
madmann91/slang
A small, flexible and extensible front-end for GLSL.
Language: C++ - Size: 1.12 MB - Last synced at: 3 months ago - Pushed at: almost 3 years ago - Stars: 21 - Forks: 2
ashton314/lambda-x86
Lambda Calculus compiler targeting x86, written in Racket
Language: Racket - Size: 687 KB - Last synced at: about 1 hour ago - Pushed at: about 5 years ago - Stars: 10 - Forks: 0
murilo-cunha/mirrors-pyre
Mirror of the `pyre-check` package for pre-commit.
Language: Python - Size: 27.3 KB - Last synced at: 3 months ago - Pushed at: 8 months ago - Stars: 2 - Forks: 0
MaxDesiatov/Typology
Swift type checking and semantic analysis for developer tools
Language: Swift - Size: 186 KB - Last synced at: about 1 month ago - Pushed at: over 3 years ago - Stars: 81 - Forks: 5
0dminnimda/pynalyser
Static Python Code Analyzer
Language: Python - Size: 750 KB - Last synced at: 28 days ago - Pushed at: over 2 years ago - Stars: 32 - Forks: 7
LionelAuroux/pyrser
A PEG Parsing Tool
Language: Python - Size: 2.25 MB - Last synced at: 24 days ago - Pushed at: over 4 years ago - Stars: 36 - Forks: 8
jeertmans/strong
Simple dynamic Python type checker
Language: Python - Size: 842 KB - Last synced at: 20 days ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0
thankspedia/vanilla-schema-validator
a non-opinionated JavaScript schema validator/duck-typing based runtime type detector
Language: JavaScript - Size: 243 KB - Last synced at: about 1 month ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0
justinfargnoli/lamb
An implementation of the Typed Lambda Calculus described in https://papl.cs.brown.edu/2018/types.html
Language: Rust - Size: 313 KB - Last synced at: 11 months ago - Pushed at: over 3 years ago - Stars: 6 - Forks: 0
yazaldefilimone/lambda-checker
A dependent type checker for lambda calculus.
Language: Rust - Size: 5.86 KB - Last synced at: 5 days ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
corbpaul/gatsby-template
Gatsby starter template with full suite of testing published via Github Actions
Language: TypeScript - Size: 862 KB - Last synced at: about 1 year ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
thejerrytan/mini-go-compiler
CS4212 - A mini compiler for Go language implemented in Ocaml
Language: OCaml - Size: 617 KB - Last synced at: about 1 year ago - Pushed at: over 8 years ago - Stars: 1 - Forks: 0
yazaldefilimone/lambda-compiler.rs
Language: Rust - Size: 6.84 KB - Last synced at: 5 days ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
brendanzab/rust-nbe-for-mltt
Normalization by evaluation for Martin-Löf Type Theory with dependent records
Language: Rust - Size: 862 KB - Last synced at: about 1 year ago - Pushed at: about 3 years ago - Stars: 90 - Forks: 7
yazaldefilimone/lambda-compiler.ts
Language: TypeScript - Size: 32.2 KB - Last synced at: 5 days ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
skarab42/unleashed-typescript
TypeScript with exposed internal definitions and some private methods for type checking.
Language: TypeScript - Size: 304 KB - Last synced at: 16 days ago - Pushed at: almost 2 years ago - Stars: 5 - Forks: 0
VriskaSerket51/typescript-type-checker
Runtime Type Checker for Typescript
Language: TypeScript - Size: 32.2 KB - Last synced at: 20 days ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
kputnam/hee
Statically-typed functional and concatenative programming language
Language: Haskell - Size: 2.55 MB - Last synced at: 3 months ago - Pushed at: about 3 years ago - Stars: 3 - Forks: 0
heyrutvik/nbe-a-tutorial
Checking Dependent Types with Normalization by Evaluation
Language: Scala - Size: 23.4 KB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 8 - Forks: 1
gfngfn/poly-shift-reset
An implementation of λ_{let}^{s/r} [Asai & Kameyama 2007]
Language: OCaml - Size: 68.4 KB - Last synced at: 4 months ago - Pushed at: about 8 years ago - Stars: 2 - Forks: 0
alexgs/khyron 📦
Run-time type checking for JavaScript
Language: JavaScript - Size: 97.7 KB - Last synced at: 4 months ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0
umbrellio/typecheck
Strict, declarative, extensible runtime type checker for JavaScript
Language: TypeScript - Size: 90.8 KB - Last synced at: 12 days ago - Pushed at: almost 2 years ago - Stars: 3 - Forks: 0
julienetie/typecase
A type checker for dynamically typed JavaScript
Language: JavaScript - Size: 38.1 KB - Last synced at: 15 days ago - Pushed at: over 7 years ago - Stars: 2 - Forks: 0
shellyln/tynder
TypeScript friendly Data validator for JavaScript.
Language: TypeScript - Size: 2.2 MB - Last synced at: 25 days ago - Pushed at: over 2 years ago - Stars: 109 - Forks: 1
typeis/typeis
Typeis. it's the smart and simple javaScript type checker
Language: JavaScript - Size: 87.9 KB - Last synced at: 2 days ago - Pushed at: almost 4 years ago - Stars: 93 - Forks: 12
jboy/argcheck-python3
A Python3 decorator for automated checking of function-call argument types/values using std-lib ‘inspect'.
Language: Python - Size: 80.1 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0
lue-bird/type-checker-language-experiment
An attempt at a language for the logic of a possible type checker for lau
Language: Elm - Size: 55.7 KB - Last synced at: 4 days ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
jcbhmr/is-what Fork of mesqueeb/is-what
❓ Collection of tiny type introspection helpers
Language: TypeScript - Size: 1.05 MB - Last synced at: 7 days ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
kawmra/typist-json
A simple runtime JSON type checker.
Language: TypeScript - Size: 439 KB - Last synced at: 29 days ago - Pushed at: over 2 years ago - Stars: 25 - Forks: 0
KivixEletric/that-is
A JavaScript library that checks whether the value is of a specific type
Language: JavaScript - Size: 12.7 KB - Last synced at: 24 days ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
Marcisbee/letype
🔏 Type checker for any data structures
Language: JavaScript - Size: 551 KB - Last synced at: about 6 hours ago - Pushed at: about 2 years ago - Stars: 16 - Forks: 0
scj7t4/lambdarodeo
Lambda.Rodeo is a compiled, strongly-typed functional programming language for the JVM. It intends to have a clear, simple syntax with an advanced type checker.
Language: Java - Size: 688 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 2 - Forks: 0
tariel-x/polyschema
JSON-Schema based type resolver for golang
Language: Go - Size: 19.5 KB - Last synced at: 4 days ago - Pushed at: almost 7 years ago - Stars: 2 - Forks: 0
efeacer/EPFL_CLP_AmyCompiler
The project of the Computer Language Processing (CLP) course in EPFL. It implements a compiler and an interpreter for Amy Language that is a subset of Scala. (2018-2019)
Language: Scala - Size: 17.7 MB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0
leidard/TinyML
A tiny interpreter for a subset of expressions of the ML language.
Language: F# - Size: 13.4 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
kvakvs/intellij-ironclad
Full rewrite of IntelliJ IDEA Erlang plugin with type inference and good stuff
Language: Kotlin - Size: 173 KB - Last synced at: 3 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
ItsJonQ/is
💡 A tiny type checker for JavaScript
Language: JavaScript - Size: 4.42 MB - Last synced at: 2 days ago - Pushed at: over 2 years ago - Stars: 5 - Forks: 1
kalhorghazal/C--Compiler
👩💻C-- Compiler, Programming Languages and Compiler Design, University of Tehran
Language: Java - Size: 5.89 MB - Last synced at: over 2 years ago - Pushed at: about 3 years ago - Stars: 3 - Forks: 0
pyrmont/taipo 📦
Taipo is a simple library for checking the types of variables
Language: Ruby - Size: 72.3 KB - Last synced at: 7 days ago - Pushed at: about 7 years ago - Stars: 2 - Forks: 0
SamChou19815/sampl 📦
Sound And Modern Programming Language
Language: Kotlin - Size: 663 KB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 0
ysoftware/Language
An excercise in developing a programming language
Language: Swift - Size: 1.37 MB - Last synced at: 3 months ago - Pushed at: about 4 years ago - Stars: 2 - Forks: 0
PragmaTwice/ichigo-lang
write a little simply typed functional language to practice Rust
Language: Rust - Size: 523 KB - Last synced at: 2 months ago - Pushed at: almost 2 years ago - Stars: 15 - Forks: 0
ilankri/lambda
A toy type checker (mirrored from https://gitlab.com/ilankri/lambda)
Language: OCaml - Size: 17.6 KB - Last synced at: 3 months ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0
dwango/fialyzer
[WIP] Faster Implementation of Dialyzer
Language: OCaml - Size: 1.97 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 56 - Forks: 8
RemuLang/remu-type-system
type-system, revised unification algorithm and runtime time representations
Language: OCaml - Size: 85 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 13 - Forks: 0
tiaanduplessis/typefence
Basic runtime type checking
Language: TypeScript - Size: 95.7 KB - Last synced at: 22 days ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0
tatiana-s/cerium
An incremental type checker for a subset of C using DDlog.
Language: Rust - Size: 1.27 MB - Last synced at: over 2 years ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 0
DWTechs/CheckHard.js
Type checking library for Javascript and Node.js to test if a given variable is what it is supposed to be
Language: JavaScript - Size: 279 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 1 - Forks: 0
boystrange/FairCheck
FairCheck is a type checker for a calculus of binary sessions. The type system guarantees that well-typed programs terminate under a strong fairness assumption.
Language: Haskell - Size: 1.36 MB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 0
lkster/Safetify
Value type safing utility
Language: TypeScript - Size: 599 KB - Last synced at: 24 days ago - Pushed at: almost 5 years ago - Stars: 7 - Forks: 2
jokemmy/whatitis
Whatitis is a type checker.
Language: JavaScript - Size: 325 KB - Last synced at: 2 months ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
asandroq/mirage
Toy typechecker and interpreter for the Mirage language.
Language: Rust - Size: 209 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
nutboltu/typeco
A javascript micro library which allows you to check javascript data types.
Language: JavaScript - Size: 3.38 MB - Last synced at: 1 day ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0
omriattal/Principles-of-Programming-Languages
The assignments of the course Principles of Programming Languages in Ben Gurion University, Israel.
Language: TypeScript - Size: 1.18 MB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 0
vipul43/CS3130_POPL_LAB
lab assignments of cs3130 course in iitpkd
Language: Standard ML - Size: 33.2 KB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
ComputationalReflection/stypy
Stypy Python 2 type checker
Language: Python - Size: 101 MB - Last synced at: over 2 years ago - Pushed at: about 7 years ago - Stars: 2 - Forks: 0
Vedant2311/Interpreters-and-Simulators
Consists of a Functional language as well as an Imperative language, implemented using Ocaml
Language: OCaml - Size: 39.1 KB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
Tiendil/coulson
control types of variables in runtime
Language: Python - Size: 44.9 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
rrozema12/MyPL
A lexer, parser, and interpreter for a made up set of grammar rules. These grammars form a programming language called MyPL.
Language: Python - Size: 55.7 KB - Last synced at: over 2 years ago - Pushed at: about 8 years ago - Stars: 3 - Forks: 1
piyush7gupta/Type-Checker
Implemented a type checker in Prolog which can work as tyoe interface engine
Language: Prolog - Size: 1.95 KB - Last synced at: over 2 years ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0
daelvn/typekit
🔧 Version 8 of typekit, the type toolkit for Lua
Language: MoonScript - Size: 133 KB - Last synced at: 3 months ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0
csabahruska/dsl-experiment
Basic implementation of Hindley-Milner Type System and variants.
Language: Haskell - Size: 13.7 KB - Last synced at: 2 months ago - Pushed at: about 6 years ago - Stars: 5 - Forks: 0
ltics/tinytl
unidiomatic usage of Rust, no linear type, no memory safety :joy:
Language: Rust - Size: 13.7 KB - Last synced at: 5 months ago - Pushed at: almost 9 years ago - Stars: 0 - Forks: 0
daltonmenezes/what-type-is
:grey_question: A simple type checking library for Node.js
Language: JavaScript - Size: 36.1 KB - Last synced at: 12 days ago - Pushed at: almost 6 years ago - Stars: 7 - Forks: 1
Singleware/types
Type validator package.
Language: JavaScript - Size: 36.1 KB - Last synced at: 4 months ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
techcentaur/COL226-Assignments
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.
Language: OCaml - Size: 44.9 KB - Last synced at: about 2 years ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 1
davidfstr/plint
A Python type checker and linter that just works.
Language: OCaml - Size: 48.8 KB - Last synced at: about 5 hours ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0
anindoasaha/typchkr
Language: XSLT - Size: 140 KB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
gfngfn/lambda-next-box
Language: OCaml - Size: 26.4 KB - Last synced at: 4 months ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0