Awesome Open Source
Awesome Open Source
Combined Topics
typechecker x
Advertising πŸ“¦Β 9
All Projects
Application Programming Interfaces πŸ“¦Β 120
Applications πŸ“¦Β 181
Artificial Intelligence πŸ“¦Β 72
Blockchain πŸ“¦Β 70
Build Tools πŸ“¦Β 111
Cloud Computing πŸ“¦Β 79
Code Quality πŸ“¦Β 28
Collaboration πŸ“¦Β 30
Command Line Interface πŸ“¦Β 48
Community πŸ“¦Β 81
Companies πŸ“¦Β 60
Compilers πŸ“¦Β 60
Computer Science πŸ“¦Β 74
Configuration Management πŸ“¦Β 39
Content Management πŸ“¦Β 167
Control Flow πŸ“¦Β 197
Data Formats πŸ“¦Β 77
Data Processing πŸ“¦Β 266
Data Storage πŸ“¦Β 132
Economics πŸ“¦Β 60
Frameworks πŸ“¦Β 198
Games πŸ“¦Β 122
Graphics πŸ“¦Β 103
Hardware πŸ“¦Β 148
Integrated Development Environments πŸ“¦Β 47
Learning Resources πŸ“¦Β 147
Legal πŸ“¦Β 28
Libraries πŸ“¦Β 119
Lists Of Projects πŸ“¦Β 21
Machine Learning πŸ“¦Β 336
Mapping πŸ“¦Β 61
Marketing πŸ“¦Β 15
Mathematics πŸ“¦Β 55
Media πŸ“¦Β 228
Messaging πŸ“¦Β 97
Networking πŸ“¦Β 304
Operating Systems πŸ“¦Β 84
Operations πŸ“¦Β 120
Package Managers πŸ“¦Β 52
Programming Languages πŸ“¦Β 229
Runtime Environments πŸ“¦Β 96
Science πŸ“¦Β 42
Security πŸ“¦Β 375
Social Media πŸ“¦Β 26
Software Architecture πŸ“¦Β 70
Software Development πŸ“¦Β 68
Software Performance πŸ“¦Β 57
Software Quality πŸ“¦Β 127
Text Editors πŸ“¦Β 45
Text Processing πŸ“¦Β 131
User Interface πŸ“¦Β 310
User Interface Components πŸ“¦Β 465
Version Control πŸ“¦Β 29
Virtualization πŸ“¦Β 68
Web Browsers πŸ“¦Β 38
Web Servers πŸ“¦Β 25
Web User Interface πŸ“¦Β 194

The Top 80 Typechecker Open Source Projects on Github

CategoriesΒ >Β CompilersΒ >Β Typechecker
Typescript ⭐ 74,407
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
Mypy ⭐ 11,308
Optional static typing for Python 3 and 2 (PEP 484)
Pyre Check ⭐ 5,563
Performant type-checking for python.
Pytype ⭐ 3,438
A static type analyzer for Python code
Steep ⭐ 926
Static type checker for Ruby
Rezoom.sql ⭐ 589
Statically typechecks a common SQL dialect and translates it to various RDBMS backends
Pikelet ⭐ 507
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
Enforce ⭐ 473
Python 3.5+ runtime type checking for integration testing and data validation
Hammox ⭐ 387
🏝 automated contract testing via type checking for Elixir functions and mocks
Ts Runtime ⭐ 322
Runtime Type Checks for TypeScript
Parcel Plugin Typescript ⭐ 172
🚨 Enhanced TypeScript support for Parcel
Kentuckymule ⭐ 157
Limits of Scala typechecking speed
Kailua ⭐ 150
🌴 Type Checker and IDE Support for Lua
Fathom ⭐ 128
🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
Typeis ⭐ 98
Typeis. it's the smart and simple javaScript type checker
Tynder ⭐ 95
TypeScript friendly Data validator for JavaScript.
Rust Nbe For Mltt ⭐ 68
Normalization by evaluation for Martin-LΓΆf Type Theory with dependent records
Mamba ⭐ 66
🐍 The Mamba programming language, because we care about safety
Hkt ⭐ 65
Higher Kinded Type machinery for Java
Typology ⭐ 62
Swift type checking and semantic analysis for developer tools
Fialyzer ⭐ 53
[WIP] Faster Implementation of Dialyzer
Sig ⭐ 53
Validate Method Arguments & Results in Ruby
Typechecker ⭐ 35
Utilities to get and check variable types (isString, isPlainObject, isRegExp, etc)
Tandoori ⭐ 30
Compositional type checking for Haskell
Alphasql ⭐ 28
AlphaSQL provides Integrated Type and Schema Check and Parallelization for SQL file set mainly for BigQuery
Is What ⭐ 27
JS type check (TypeScript supported) functions like `isPlainObject() isArray()` etc. A simple & small integration.
Pyrser ⭐ 26
A PEG Parsing Tool
Typerefl ⭐ 24
Use Erlang typespecs in the runtime
Toy Macro Ml ⭐ 23
An implementation of MacroML [Ganz, Sabry & Taha 2001]
Typist Json ⭐ 21
A simple runtime JSON type checker.
Letype ⭐ 15
πŸ” Type checker for any data structures
Typesentry ⭐ 14
Python 2.7 & 3.5+ runtime type-checker
Language Incubator ⭐ 13
Learning compilers, interpreters, code generation, virtual machines, assemblers, JITs, etc.
Ttstar ⭐ 12
Dependently typed core calculus with erasure
Pedantic Python Decorators ⭐ 12
Some useful decorators for any situation. Includes runtime type checking.
Remu Type System ⭐ 11
type-system, revised unification algorithm and runtime time representations
Trepplein ⭐ 11
Lean type-checker written in Scala.
Ichigo Lang ⭐ 11
write a little simply typed functional language to practice Rust
Surface ⭐ 10
Dependently-typed language w/ little to say for itself
Subtyping ⭐ 10
An implementation of structural subtyping of records and functions
Slang ⭐ 9
A small, flexible and extensible front-end for GLSL.
Ltypekit7 ⭐ 7
Advanced type checking for Lua.
Weekendcompiler ⭐ 7
An example LLVM-based compiler for a subset of C.
What Type Is ⭐ 7
❔ A simple type checking library for Node.js
Safetify ⭐ 7
Value type safing utility
Nbe A Tutorial ⭐ 6
Checking Dependent Types with Normalization by Evaluation
Runtime_typecheck ⭐ 5
Checks that a value satisfies a Python 3.6 type
Dsl Experiment ⭐ 3
Basic implementation of Hindley-Milner Type System and variants.
Siml ⭐ 3
My playground for building a compiler for an ML-like in Rust
Typeov ⭐ 3
πŸ‘Ί weak but accurate type checking that returns a string representation of input's type
Is ⭐ 2
πŸ’‘ A tiny type checker for JavaScript
Typedgate ⭐ 2
A JSON validator without using any schemas but only requires typescript interface definitions
Typecheck ⭐ 2
Strict, declarative, extensible runtime type checker for JavaScript
Moguro ⭐ 2
Decorator style assertions and type check library for Contract programming
Type ⭐ 2
Basic type checking in 481 bytes
Taipo ⭐ 2
Taipo is a simple library for checking the types of variables
Typeco ⭐ 2
A javascript micro library which allows you to check javascript data types.
Typecase ⭐ 2
A type checker for dynamically typed JavaScript
Mypl ⭐ 2
A lexer, parser, and interpreter for a made up set of grammar rules. These grammars form a programming language called MyPL.
Doc Log ⭐ 1
Python docstring parser with forgiving type checking and logging for multiple docstring dialects.
Hack Error Suppressor ⭐ 1
Disable HHVM's automatic calls to the Hack typechecker
Poly Shift Reset ⭐ 1
An implementation of Ξ»_{let}^{s/r} [Asai & Kameyama 2007]
Compiler Construction ⭐ 1
Toy Compiler for ERPLAG
Dream Types ⭐ 1
Typechecking for message passing components
Isnumber ⭐ 1
A native module for effectively validating if a value is type Number.
Stypy ⭐ 1
Stypy Python 2 type checker
Data Types ⭐ 1
A JavaScript library with functions that normalizes the different ways of extracting data type of primitive values and object instances
Polyschema ⭐ 1
JSON-Schema based type resolver for golang
Ts Comment Types ⭐ 1
Type-checks JavaScript files with TypeScript comments in them.
Type Check ⭐ 1
Collection of small javascript type check functions.
Epfl_clp_amycompiler ⭐ 1
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)
Cs536 Spring 2019 ⭐ 1
CS 536 (Spring 2019): Intro to Programming Languages and Compilers @ UW-Madison
Ts Json Check ⭐ 1
Simple JSON-data typechecker for TypeScript
Basekits ⭐ 1
Tree-shakable javascript utility package for browser and node.
Kontroli Rs ⭐ 1
Alternative implementation of the logical framework Dedukti in Rust
Language ⭐ 1
An excercise in developing a programming language
Checkhard.js ⭐ 1
Type checking library for Javascript and Node.js to test if a given variable is what it is supposed to be
React Type Check ⭐ 1
Type checking utilities for React elements.
Minijava ⭐ 1
MiniJava is a small subset of Java.
Plint ⭐ 1
A Python type checker and linter that just works.
1-80 of 80 projects

Related Projects

Javascript Typechecker Projects (18)
Types Typechecker Projects (15)
Type Checking Typechecker Projects (15)
Type System Typechecker Projects (13)
Typescript Typechecker Projects (12)
Python Typechecker Projects (12)
Compiler Typechecker Projects (12)
Parser Typechecker Projects (11)
Rust Typechecker Projects (10)
Javascript Type Checking Typechecker Projects (8)
Dependent Types Typechecker Projects (8)
Ocaml Typechecker Projects (7)
Parser Compiler Typechecker Projects (7)
Javascript Types Typechecker Projects (7)
Advertising πŸ“¦Β 9
All Projects
Application Programming Interfaces πŸ“¦Β 120
Applications πŸ“¦Β 181
Artificial Intelligence πŸ“¦Β 72
Blockchain πŸ“¦Β 70
Build Tools πŸ“¦Β 111
Cloud Computing πŸ“¦Β 79
Code Quality πŸ“¦Β 28
Collaboration πŸ“¦Β 30
Command Line Interface πŸ“¦Β 48
Community πŸ“¦Β 81
Companies πŸ“¦Β 60
Compilers πŸ“¦Β 60
Computer Science πŸ“¦Β 74
Configuration Management πŸ“¦Β 39
Content Management πŸ“¦Β 167
Control Flow πŸ“¦Β 197
Data Formats πŸ“¦Β 77
Data Processing πŸ“¦Β 266
Data Storage πŸ“¦Β 132
Economics πŸ“¦Β 60
Frameworks πŸ“¦Β 198
Games πŸ“¦Β 122
Graphics πŸ“¦Β 103
Hardware πŸ“¦Β 148
Integrated Development Environments πŸ“¦Β 47
Learning Resources πŸ“¦Β 147
Legal πŸ“¦Β 28
Libraries πŸ“¦Β 119
Lists Of Projects πŸ“¦Β 21
Machine Learning πŸ“¦Β 336
Mapping πŸ“¦Β 61
Marketing πŸ“¦Β 15
Mathematics πŸ“¦Β 55
Media πŸ“¦Β 228
Messaging πŸ“¦Β 97
Networking πŸ“¦Β 304
Operating Systems πŸ“¦Β 84
Operations πŸ“¦Β 120
Package Managers πŸ“¦Β 52
Programming Languages πŸ“¦Β 229
Runtime Environments πŸ“¦Β 96
Science πŸ“¦Β 42
Security πŸ“¦Β 375
Social Media πŸ“¦Β 26
Software Architecture πŸ“¦Β 70
Software Development πŸ“¦Β 68
Software Performance πŸ“¦Β 57
Software Quality πŸ“¦Β 127
Text Editors πŸ“¦Β 45
Text Processing πŸ“¦Β 131
User Interface πŸ“¦Β 310
User Interface Components πŸ“¦Β 465
Version Control πŸ“¦Β 29
Virtualization πŸ“¦Β 68
Web Browsers πŸ“¦Β 38
Web Servers πŸ“¦Β 25
Web User Interface πŸ“¦Β 194
"GitHub" is a registered trademark of GitHub, Inc. Awesome Open Source is not affiliated with GitHub.

All non readme contents or Github based topics or project metadata copyright Awesome Open SourceΒ 2018-2021