Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/fsprojects/Rezoom.SQL
Statically typechecks a common SQL dialect and translates it to various RDBMS backends
compiler fsharp postgresql sql sqlite sqlserver tsql typechecker
Last synced: 01 Jul 2024
![](https://github.com/fsprojects.png)
https://github.com/fabiandev/ts-runtime
Runtime Type Checks for TypeScript
javascript runtime typechecker typescript
Last synced: 29 Jun 2024
![](https://github.com/fabiandev.png)
https://github.com/kaleidawave/ezno
A JavaScript compiler and TypeScript checker written in Rust with a focus on static analysis and runtime performance
compiler javascript typechecker types typescript
Last synced: 29 Jun 2024
![](https://github.com/kaleidawave.png)
https://github.com/mesqueeb/is-what
JS type check (TypeScript supported) functions like `isPlainObject() isArray()` etc. A simple & small integration.
check-type class-identifier class-instance define-type get-type is-object is-plain-obj is-plain-object javascript javascript-type plain-object plain-objects primitive-types type-check type-checker type-checking typechecker typescript what-type
Last synced: 12 Jun 2024
![](https://github.com/mesqueeb.png)
https://github.com/01mf02/kontroli-rs
Alternative implementation of the logical framework Dedukti in Rust
dedukti dependent-types logic rust typechecker
Last synced: 22 May 2024
![](https://github.com/01mf02.png)
https://github.com/Microsoft/TypeScript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
javascript language typechecker typescript
Last synced: 05 May 2024
![](https://github.com/microsoft.png)
https://github.com/facebook/pyre-check
Performant type-checking for python.
abstract-interpretation code-quality control-flow-analysis ocaml program-analysis python security static-analysis taint-analysis type-check typechecker
Last synced: 04 May 2024
![](https://github.com/facebook.png)
https://github.com/python/mypy
Optional static typing for Python
linter python typechecker types typing
Last synced: 04 May 2024
![](https://github.com/python.png)
https://github.com/davidfstr/trycast
trycast parses JSON-like values whose shape is defined by TypedDicts and other standard Python type hints.
parsing python runtime-typechecking typechecker typechecking typing validation
Last synced: 28 Apr 2024
![](https://github.com/davidfstr.png)
https://github.com/google/pytype
A static type analyzer for Python code
linter python static-analysis static-code-analysis typechecker types typing
Last synced: 28 Apr 2024
![](https://github.com/google.png)
https://github.com/quora/pyanalyze
A Python type checker
linter python static-analysis typechecker types typing
Last synced: 28 Apr 2024
![](https://github.com/quora.png)
![](https://github.com/soutaro.png)
https://google.github.io/pytype/
A static type analyzer for Python code
linter python static-analysis static-code-analysis typechecker types typing
Last synced: 11 Apr 2024
![](https://github.com/google.png)
https://github.com/pikelet-lang/pikelet
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
bidirectional-typechecking compiler dependent-record-types dependent-records dependent-types programming-language rust systems-language systems-programming type-system type-theory typechecker
Last synced: 28 Mar 2024
![](https://github.com/pikelet-lang.png)
https://github.com/RussBaz/enforce
Python 3.5+ runtime type checking for integration testing and data validation
decorators python runtime testing type-hints typechecker typing validation
Last synced: 14 Mar 2024
![](https://github.com/RussBaz.png)
https://github.com/msz/hammox
🏝 automated contract testing via type checking for Elixir functions and mocks
behaviour behaviour-typespec behaviours contract contract-testing contracts dialyzer elixir explicit-contracts mock mocks mox testing type-checker type-checking typechecker typechecking typespec typespecs unit-testing
Last synced: 13 Mar 2024
![](https://github.com/msz.png)