Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for types typechecker
typechecker
x
types
x
19 search results found
Mypy
⭐
17,070
Optional static typing for Python
Pyre Check
⭐
6,606
Performant type-checking for python.
Pytype
⭐
4,464
A static type analyzer for Python code
Ezno
⭐
1,994
A JavaScript compiler and TypeScript checker written in Rust with a focus on static analysis and runtime performance
Steep
⭐
1,305
Static type checker for Ruby
Enforce
⭐
529
Python 3.5+ runtime type checking for integration testing and data validation
Pikelet
⭐
507
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
Ts Runtime
⭐
322
Runtime Type Checks for TypeScript
Pyanalyze
⭐
278
A Python type checker
Kailua
⭐
164
🌴 Type Checker and IDE Support for Lua
Izumi Reflect
⭐
132
TypeTag without scala-reflect. Supports Scala 2 and Scala 3.
Hypertypes
⭐
104
Hypertypes - generic programming for heterogeneous recursive types
Is What
⭐
98
JS type check (TypeScript supported) functions like `isPlainObject() isArray()` etc. A simple & small integration.
Typeis
⭐
98
Typeis. it's the smart and simple javaScript type checker
Tynder
⭐
95
TypeScript friendly Data validator for JavaScript.
Sound And Complete
⭐
81
An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system
Mamba
⭐
76
🐍 The Mamba programming language, because we care about safety
Typology
⭐
68
Swift type checking and semantic analysis for developer tools
Hkt
⭐
65
Higher Kinded Type machinery for Java
Typecheck.jl
⭐
64
A TypeChecker for Julia
Sig
⭐
54
Validate Method Arguments & Results in Ruby
Alphasql
⭐
39
AlphaSQL provides Integrated Type and Schema Check and Parallelization for SQL file set mainly for BigQuery
Haskell Tc
⭐
35
Haskell typechecker
Tandoori
⭐
30
Compositional type checking for Haskell
Types And Programming Languages
⭐
27
Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
Is
⭐
27
Typechecker in Vanilla JS
Pyrser
⭐
26
A PEG Parsing Tool
Deftypes.js
⭐
24
JavaScript Type Definition and Typed Function DSLs
Zero To Flow
⭐
23
A sample application to help you learn how to use a JavaScript typechecker to fix bugs.
Pedantic Python Decorators
⭐
22
Some useful decorators for any situation. Includes runtime type checking.
Dfuzz
⭐
20
Linear Dependent Types for Differential Privacy TypeChecker
Ype
⭐
19
[Beta] Runtime type assertions for JS function arguments (or anything, really)
Kontroli Rs
⭐
19
Alternative implementation of the logical framework Dedukti in Rust
Pumping
⭐
18
Regular languages in types
Trepplein
⭐
18
Lean type-checker written in Scala.
Letype
⭐
16
🔏 Type checker for any data structures
Typelits Printf
⭐
15
Type-safe printf from parsing GHC TypeLits Symbol
Inverse Bidirectional Typechecking
⭐
15
A Toy Inverse Bidirectional Typechecker
Typesentry
⭐
14
Python 2.7 & 3.5+ runtime type-checker
Ohrid19 Agda
⭐
13
Material for the Agda course at the EUTYPES Summer School '19 in Ohrid
Ichigo Lang
⭐
11
write a little simply typed functional language to practice Rust
Subtyping
⭐
10
An implementation of structural subtyping of records and functions
Magic Typelevel Elem
⭐
9
Demonstrating how to make type families faster using typechecker plugins
Cobalt
⭐
9
COnstraint-BAsed Little Typechecker
Daily Typecheckers
⭐
9
I'm writing a typechecker every day
Ltypekit7
⭐
7
Advanced type checking for Lua.
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
Commentary
⭐
5
Related Searches
Types Javascript (8,208)
Typescript Types (2,606)
Python Types (2,536)
Php Types (1,921)
Java Types (1,598)
C Plus Plus Types (1,282)
Golang Types (1,257)
C Sharp Types (1,177)
Plugin Types (1,152)
Json Types (1,128)
1-19 of 19 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.