Awesome Open Source
Awesome Open Source
Combined Topics
typechecker x

The Top 216 Typechecker Open Source Projects

Categories > Compilers > Typechecker
Typescript ⭐ 80,742
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
dependent packages 243,855total releases 2,268most recent commit 9 hours agonpm typescript} Downloads
Mypy ⭐ 13,116
Optional static typing for Python
dependent packages 10total releases 39most recent commit 9 hours ago
Pyre Check ⭐ 5,906
Performant type-checking for python.
dependent packages 9total releases 71most recent commit 17 hours agopypi pyre-check} Downloads
Pytype ⭐ 3,742
A static type analyzer for Python code
dependent packages 52total releases 137most recent commit a day agopypi pytype} Downloads
Metals ⭐ 1,697
Scala language server with rich IDE features 🚀
dependent packages 26total releases 36most recent commit 9 hours ago
Steep ⭐ 1,004
Static type checker for Ruby
dependent packages 23total releases 69most recent commit 17 hours agorubygems steep} Downloads
Rezoom.sql ⭐ 634
Statically typechecks a common SQL dialect and translates it to various RDBMS backends
most recent commit 2 years ago
Sorbet Rails ⭐ 555
A set of tools to make the Sorbet typechecker work with Ruby on Rails seamlessly.
dependent packages 1total releases 43most recent commit 16 days agorubygems sorbet-rails} Downloads
Enforce ⭐ 529
Python 3.5+ runtime type checking for integration testing and data validation
dependent packages 3total releases 7most recent commit 3 months agopypi enforce} Downloads
Pikelet ⭐ 507
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
most recent commit a year ago
Hammox ⭐ 418
🏝 automated contract testing via type checking for Elixir functions and mocks
dependent packages 1total releases 11most recent commit 3 months agohex hammox} Downloads
Ts Runtime ⭐ 322
Runtime Type Checks for TypeScript
dependent packages 5total releases 39most recent commit 2 years agonpm ts-runtime} Downloads
Fathom ⭐ 189
🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
most recent commit 8 days ago
Parcel Plugin Typescript ⭐ 172
🚨 Enhanced TypeScript support for Parcel
dependent packages 38total releases 83most recent commit 2 years agonpm parcel-plugin-typescript} Downloads
Hack Langspec ⭐ 168
The official Hack Language specification.
most recent commit 3 years ago
Kentuckymule ⭐ 157
Limits of Scala typechecking speed
most recent commit a year ago
Kailua ⭐ 150
🌴 Type Checker and IDE Support for Lua
dependent packages 8total releases 1most recent commit 3 years agocargo kailua_env} Downloads
Hacspec ⭐ 129
A specification language for cryptography primitives.
dependent packages 2total releases 1most recent commit 2 days agocargo hacspec-util} Downloads
Ppx_stage ⭐ 122
Staged metaprogramming in stock OCaml
most recent commit a year ago
Linter Flow ⭐ 101
Atom Linter for Facebook's Flow typechecker
most recent commit 3 years ago
Typeis ⭐ 98
Typeis. it's the smart and simple javaScript type checker
dependent packages 9total releases 12most recent commit 2 years agonpm typeis} Downloads
Jsig ⭐ 96
From scratch type-checker
most recent commit 3 years ago
Tynder ⭐ 95
TypeScript friendly Data validator for JavaScript.
dependent packages 2total releases 63most recent commit a year agonpm tynder} Downloads
Hypertypes ⭐ 92
Hypertypes - generic programming for heterogeneous recursive types
total releases 2most recent commit 2 months ago
Izumi Reflect ⭐ 89
TypeTag without scala-reflect. Supports Scala 2 and Scala 3.
most recent commit 22 days ago
Anders ⭐ 83
🧊 Модальний Гомотопічний Прувер
most recent commit a month ago
Vim Hack ⭐ 82
Syntax highlighting and typechecker integration for Hack.
most recent commit a year ago
Sound And Complete ⭐ 81
An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system
most recent commit 4 years ago
Higher Rank ⭐ 77
A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism
most recent commit 5 years ago
Ruby_to_c ⭐ 73
most recent commit 3 months ago
Typology ⭐ 68
Swift type checking and semantic analysis for developer tools
most recent commit 2 months ago
Rust Nbe For Mltt ⭐ 68
Normalization by evaluation for Martin-Löf Type Theory with dependent records
most recent commit 3 years ago
Mamba ⭐ 67
🐍 The Mamba programming language, because we care about safety
most recent commit 2 days ago
Hkt ⭐ 65
Higher Kinded Type machinery for Java
most recent commit 3 years ago
Typecheck.jl ⭐ 64
A TypeChecker for Julia
most recent commit 8 years ago
Vscode Tslint Vue ⭐ 64
TSLint for Visual Studio Code and VueJS
most recent commit 4 years ago
Aurelia Toolbelt ⭐ 60
A bunch of components from bootstrap 4, jquery and vanilla js for Aurelia framework
most recent commit 3 years ago
Sig ⭐ 54
Validate Method Arguments & Results in Ruby
most recent commit 5 months ago
Fialyzer ⭐ 53
[WIP] Faster Implementation of Dialyzer
most recent commit 3 years ago
Is What ⭐ 51
JS type check (TypeScript supported) functions like `isPlainObject() isArray()` etc. A simple & small integration.
most recent commit a month ago
Typechecker Evolution ⭐ 44
The Evolution of a Typechecker
most recent commit 3 years ago
Asl Interpreter ⭐ 44
Example implementation of Arm's Architecture Specification Language (ASL)
most recent commit 3 years ago
Alphasql ⭐ 39
AlphaSQL provides Integrated Type and Schema Check and Parallelization for SQL file set mainly for BigQuery
most recent commit a month ago
Trycast ⭐ 38
trycast parses JSON-like values whose shape is defined by TypedDicts and other standard Python type hints.
most recent commit 11 hours ago
Haskell Tc ⭐ 35
Haskell typechecker
most recent commit 3 years ago
Typechecker ⭐ 35
Utilities to get and check variable types (isString, isPlainObject, isRegExp, etc)
most recent commit 10 months ago
Hack Router ⭐ 35
Request routing for HackLang
most recent commit a month ago
Rxthreadeffectchecker ⭐ 34
Static checker for Rx Threading Effects, based on the Checker Framework
most recent commit 4 years ago
Typed Assert ⭐ 34
A typesafe TS assertion library
most recent commit 3 months ago
Fuse Box Typechecker ⭐ 33
most recent commit a year ago
Typerefl ⭐ 32
Use Erlang typespecs in the runtime
most recent commit 24 days ago
Z3overlay ⭐ 31
An overlay for the OCaml Z3 binding.
most recent commit 10 months ago
Algt2 ⭐ 31
ALGT 2.0
most recent commit 2 years ago
Tandoori ⭐ 30
Compositional type checking for Haskell
most recent commit 11 years ago
Hack Sublime ⭐ 30
Hack's typechecker & autocompletion inside Sublime Text
most recent commit 6 years ago
Selectrix ⭐ 28
Static Typechecker for Elixir
most recent commit 2 years ago
Is ⭐ 27
Typechecker in Vanilla JS
most recent commit 5 years ago
Types And Programming Languages ⭐ 27
Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
most recent commit 2 years ago
Uom Plugin ⭐ 26
Units of measure as a GHC typechecker plugin
most recent commit a year ago
Pyrser ⭐ 26
A PEG Parsing Tool
most recent commit 2 years ago
Deftypes.js ⭐ 24
JavaScript Type Definition and Typed Function DSLs
most recent commit 8 years ago
Zero To Flow ⭐ 23
A sample application to help you learn how to use a JavaScript typechecker to fix bugs.
most recent commit 4 years ago
Typist Json ⭐ 23
A simple runtime JSON type checker.
most recent commit 8 months ago
Toy Macro Ml ⭐ 23
An implementation of MacroML [Ganz, Sabry & Taha 2001]
most recent commit 3 years ago
Language Incubator ⭐ 21
Learning compilers, interpreters, code generation, virtual machines, assemblers, JITs, etc.
most recent commit 2 months ago
Dfuzz ⭐ 20
Linear Dependent Types for Differential Privacy TypeChecker
most recent commit 2 years ago
Ype ⭐ 19
[Beta] Runtime type assertions for JS function arguments (or anything, really)
most recent commit a year ago
Angular Parcel Boilerplate ⭐ 18
Parcel template for using Angular.io
most recent commit 4 years ago
Trepplein ⭐ 18
Lean type-checker written in Scala.
most recent commit 2 months ago
Pumping ⭐ 18
Regular languages in types
most recent commit 5 years ago
Typecoin ⭐ 18
Typecoin: Massively Multiplayer Online Linear Logic
most recent commit 5 years ago
Typelits Printf ⭐ 15
Type-safe printf from parsing GHC TypeLits Symbol
most recent commit 2 years ago
Letype ⭐ 15
🔏 Type checker for any data structures
most recent commit a year ago
Typesystem ⭐ 15
Experiments using a bidirectional typesystem
most recent commit 4 months ago
Inverse Bidirectional Typechecking ⭐ 15
A Toy Inverse Bidirectional Typechecker
most recent commit 3 years ago
Catt.io ⭐ 14
Revised Omega-categorical Typechecker
most recent commit 3 months ago
Pedantic Python Decorators ⭐ 14
Some useful decorators for any situation. Includes runtime type checking.
most recent commit 24 days ago
Typesentry ⭐ 14
Python 2.7 & 3.5+ runtime type-checker
most recent commit 2 years ago
Drahko ⭐ 13
🐲 Boost your efficiency: Make your computer work for you
most recent commit 7 months ago
Ohrid19 Agda ⭐ 13
Material for the Agda course at the EUTYPES Summer School '19 in Ohrid
most recent commit 3 years ago
Catt ⭐ 13
Coherence typechecker for Grothendieck/Maltsiniotis style infinity categories
most recent commit 5 years ago
Ttstar ⭐ 12
Dependently typed core calculus with erasure
most recent commit 3 years ago
Slang ⭐ 12
A small, flexible and extensible front-end for GLSL.
most recent commit 3 days ago
Fuse Box Aurelia Seed ⭐ 12
most recent commit 4 years ago
Catt ⭐ 11
Coherence typechecker for infinity categories
most recent commit 2 years ago
Ichigo Lang ⭐ 11
write a little simply typed functional language to practice Rust
most recent commit 2 years ago
Meaw ⭐ 11
Utility for Unicode East Asian Width 🐈
most recent commit 5 months ago
Candor ⭐ 11
A toy Parser+Compiler+Typechecker
most recent commit 8 months ago
Tcplugins Zurihac2020 ⭐ 10
ZuriHac 2020 GHC typechecker plugins project
most recent commit 2 years ago
Aws Crypto Policy Compliance Checker ⭐ 10
A CheckerFramework plugin to detect the use of weak algorithms with the Java crypto API.
most recent commit 6 months ago
Django Urlconfchecks ⭐ 10
a package for type checking the urls and associated views for django
most recent commit 3 days ago
Subtyping ⭐ 10
An implementation of structural subtyping of records and functions
most recent commit 4 years ago
Anders ⭐ 9
Anders: Cubical Type Checker
most recent commit 17 hours ago
Daily Typecheckers ⭐ 9
I'm writing a typechecker every day
most recent commit 6 years ago
Cobalt ⭐ 9
COnstraint-BAsed Little Typechecker
most recent commit 3 years ago
Mixml Sml ⭐ 9
A MixML typechecker, written in Standard ML
most recent commit a year ago
Magic Typelevel Elem ⭐ 9
Demonstrating how to make type families faster using typechecker plugins
most recent commit a year ago
Thih ⭐ 9
Typing Haskell in Haskell
most recent commit 12 years ago
Syssoftwarescripts ⭐ 9
test scripts for each part of the Systems Software project (UCF COP 3402)
most recent commit 3 years ago
Millet ⭐ 8
A language server for Standard ML
most recent commit a day ago
1-100 of 216 projects
Categories
Advertising 📦 8
All Projects
Application Programming Interfaces 📦 107
Applications 📦 174
Artificial Intelligence 📦 69
Blockchain 📦 66
Build Tools 📦 105
Cloud Computing 📦 68
Code Quality 📦 24
Collaboration 📦 27
Command Line Interface 📦 38
Community 📦 79
Companies 📦 60
Compilers 📦 59
Computer Science 📦 73
Configuration Management 📦 37
Content Management 📦 153
Control Flow 📦 187
Data Formats 📦 72
Data Processing 📦 249
Data Storage 📦 116
Economics 📦 56
Frameworks 📦 178
Games 📦 110
Graphics 📦 92
Hardware 📦 137
Integrated Development Environments 📦 43
Learning Resources 📦 139
Legal 📦 24
Libraries 📦 117
Lists Of Projects 📦 19
Machine Learning 📦 313
Mapping 📦 57
Marketing 📦 15
Mathematics 📦 54
Media 📦 214
Messaging 📦 96
Networking 📦 292
Operating Systems 📦 71
Operations 📦 114
Package Managers 📦 50
Programming Languages 📦 173
Runtime Environments 📦 90
Science 📦 42
Security 📦 343
Social Media 📦 23
Software Architecture 📦 65
Software Development 📦 60
Software Performance 📦 53
Software Quality 📦 115
Text Editors 📦 40
Text Processing 📦 118
User Interface 📦 291
User Interface Components 📦 440
Version Control 📦 26
Virtualization 📦 63
Web Browsers 📦 35
Web Servers 📦 23
Web User Interface 📦 167
Top Programming Languages
Javascript  (1,047,598)
Python  (795,011)
Java  (385,045)
Php  (284,473)
Typescript  (239,038)
C Plus Plus  (235,900)
Ruby  (221,657)
C  (180,208)
Shell  (169,403)
C Sharp  (161,845)
Golang  (155,856)
Swift  (64,653)
Objective C  (57,178)
R  (57,161)
Rust  (55,946)
Dart  (51,340)
Kotlin  (45,393)
Lua  (33,206)
Matlab  (30,856)
Perl  (30,490)
Language  (30,079)
Scala  (28,595)
Haskell  (20,234)
Clojure  (19,069)
Powershell  (18,787)
Bash  (18,591)
Coffeescript  (17,333)
Elixir  (16,566)
Assembly  (14,516)
Processing  (13,295)
Julia  (12,513)
Basic  (10,765)
Flow  (10,526)
Emacs Lisp  (10,355)
Erlang  (9,058)
Scheme  (8,438)
Groovy  (8,428)
Solidity  (7,564)
Ocaml  (6,663)
Pascal  (6,379)
Hack  (6,363)
Lisp  (6,344)
Fortran  (5,481)
Elm  (5,476)
Common Lisp  (5,289)
Dlang  (4,743)
Shell Script  (4,624)
Python Library  (4,446)
Crystal  (4,375)
Scripting  (4,201)
Top Projects
Freecodecamp ⭐ 346,151
996.icu ⭐ 262,270
Free Programming Books ⭐ 233,248
Coding Interview University ⭐ 219,820
Awesome ⭐ 201,987
Vue ⭐ 196,009
Developer Roadmap ⭐ 194,992
Public Apis ⭐ 192,383
React ⭐ 188,186
System Design Primer ⭐ 180,789
Tensorflow ⭐ 165,018
Bootstrap ⭐ 157,351
You Dont Know Js ⭐ 152,909
Cs Notes ⭐ 150,780
Ohmyzsh ⭐ 145,307
Build Your Own X ⭐ 141,474
Flutter ⭐ 140,756
Javascript Algorithms ⭐ 140,055
Python ⭐ 136,147
Gitignore ⭐ 133,164
Linux ⭐ 131,965
Vscode ⭐ 131,861
Awesome Python ⭐ 127,528
Javascript ⭐ 122,717
Javaguide ⭐ 121,544
Python 100 Days ⭐ 117,585
Computer Science ⭐ 113,435
Youtube Dl ⭐ 110,082
Fucking Algorithm ⭐ 106,048
The Art Of Command Line ⭐ 105,874
React Native ⭐ 102,796
Electron ⭐ 101,752
D3 ⭐ 100,901
Go ⭐ 99,330
30 Seconds Of Code ⭐ 95,528
Create React App ⭐ 95,065
Axios ⭐ 93,441
Awesome Selfhosted ⭐ 88,803
Kubernetes ⭐ 88,536
Free Programming Books Zh_cn ⭐ 88,386
Node ⭐ 87,714
Next.js ⭐ 86,918
Terminal ⭐ 83,169
Deno ⭐ 82,506
Three.js ⭐ 82,078
Angular ⭐ 81,428
Awesome Go ⭐ 80,764
Typescript ⭐ 80,742
Ant Design ⭐ 80,353
Material Ui ⭐ 78,521
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2022 Awesome Open Source.  All rights reserved.