Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with typechecker
A curated list of projects in awesome lists tagged with typechecker .
https://github.com/microsoft/typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
javascript language typechecker typescript
Last synced: 16 Dec 2024
https://github.com/microsoft/TypeScript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
javascript language typechecker typescript
Last synced: 24 Oct 2024
https://github.com/Microsoft/TypeScript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
javascript language typechecker typescript
Last synced: 25 Oct 2024
https://github.com/python/mypy
Optional static typing for Python
linter python typechecker types typing
Last synced: 16 Dec 2024
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: 16 Dec 2024
https://github.com/google/pytype
A static type analyzer for Python code
linter python static-analysis static-code-analysis typechecker types typing
Last synced: 16 Dec 2024
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: 17 Dec 2024
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: 17 Nov 2024
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: 14 Dec 2024
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: 12 Nov 2024
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: 31 Oct 2024
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: 31 Oct 2024
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: 21 Dec 2024
https://github.com/fabiandev/ts-runtime
Runtime Type Checks for TypeScript
javascript runtime typechecker typescript
Last synced: 18 Dec 2024
https://github.com/quora/pyanalyze
A Python type checker
linter python static-analysis typechecker types typing
Last synced: 17 Nov 2024
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: 19 Dec 2024
https://github.com/gbury/dolmen
Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
atp flexible-parsers functor language model ocaml ocaml-library parse smt-lib theorem-proving tptp typechecker
Last synced: 19 Dec 2024
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: 18 Dec 2024
https://github.com/derive4j/hkt
Higher Kinded Type machinery for Java
annotation-processor functional-programming hk-encoding hkt java-8 typechecker
Last synced: 08 Nov 2024
https://github.com/alisayyah/django-urlconfchecks
A package for type-checking the URLs and associated views for Django
cli developer-tools django django-application pre-commit pre-commit-hook python typechecker typer
Last synced: 15 Dec 2024
https://github.com/gergoerdi/tandoori
Compositional type checking for Haskell
haskell type-system typechecker
Last synced: 16 Nov 2024
https://github.com/01mf02/kontroli-rs
Alternative implementation of the logical framework Dedukti in Rust
dedukti dependent-types logic rust typechecker
Last synced: 08 Nov 2024
https://github.com/h2oai/typesentry
Python 2.7 & 3.5+ runtime type-checker
pep484 python runtime typechecker types typing validation
Last synced: 06 Nov 2024
https://github.com/markleone/weekendcompiler
An example LLVM-based compiler for a subset of C.
compiler llvm parser typechecker
Last synced: 16 Dec 2024
https://github.com/ziman/ttstar
Dependently typed core calculus with erasure
dependent-types erasure functional-programming type-system typechecker
Last synced: 05 Dec 2024
https://github.com/gergoerdi/stlc-agda
STLC-related snippets in Agda
agda lambda-calculus stlc typechecker
Last synced: 16 Nov 2024
https://github.com/jin/subtyping
An implementation of structural subtyping of records and functions
haskell subtypes subtyping typechecker
Last synced: 30 Oct 2024
https://github.com/gergoerdi/hm-compo
Compositional type checking for a Hindley-Milner type system
Last synced: 16 Nov 2024
https://github.com/kritzcreek/siml
My playground for building a compiler for an ML-like in Rust
compiler parsing typechecker wasm
Last synced: 28 Oct 2024
https://github.com/robrix/surface
Dependently-typed language w/ little to say for itself
dependent-types haskell proof-refinement typechecker
Last synced: 23 Oct 2024
https://github.com/adebola-io/whirlwind
A programming language for clear, concise and clever computing. 🔳
extension interpreter language language-server-protocol library programming-language runtime rust typechecker typescript
Last synced: 10 Nov 2024
https://github.com/usethesource/typepal
TypePal is a framework for name analysis, type checking and type inference
domain-specific-language rascal type-checking typechecker
Last synced: 14 Dec 2024
https://github.com/ascandone/kestrel-lang
🦅 A pure, strongly typed functional language that compiles to js
compiler functional-programming javascript typechecker
Last synced: 25 Nov 2024
https://github.com/kawamataryo/vue-script-type-check
Command line Type-Checking tool for only the script part of Vue
cli typechecker typescript vue
Last synced: 10 Nov 2024
https://github.com/moimikey/typeov
👺 weak but accurate type checking that returns a string representation of input's type
dev-deps is node-modules npm-module npm-package type-detection typechecker typeof
Last synced: 12 Nov 2024
https://github.com/edgurgel/ham
Library to validate function arguments and return values against their typespecs. Extracted out from Hammox
elixir specs typechecker types typespec
Last synced: 12 Oct 2024
https://github.com/julienetie/typecase
A type checker for dynamically typed JavaScript
checker dynamic-types type type-check type-checker type-error typecheck typechecker types
Last synced: 16 Dec 2024
https://github.com/drknzz/wolke-lang
☁️ Wolke language interpreter ☁️
bnfc haskell interpreter language syntax typechecker
Last synced: 05 Nov 2024
https://github.com/yazaldefilimone/dolphin
The Dolphin Programming Language
compiler interpreter programming-language regex-engine typechecker virtual-machine
Last synced: 17 Nov 2024
https://github.com/manighazaee/ts-runtime-typechecker
A command line tool that generates ts/js typechecker functions from typescript types.
cli command-line-tool javascript runtime-typechecking rust tools typechecker typescript
Last synced: 12 Dec 2024
https://github.com/spaceavocado/type-check
Collection of small javascript type check functions.
javascript typechecker typechecking
Last synced: 20 Nov 2024
https://github.com/ironlu233/i18next-translation-dts
Typescript i18next integration. take type check to t(i18nKey) function into your code
cli generator i18next typechecker typescript
Last synced: 05 Nov 2024
https://github.com/zenflow/ts-interface-builder-macro-demo
Demo using `ts-interface-builder/macro`
babel babel-macros babel-plugin-macros macros runtime runtime-typechecking typechecker typechecking typescript
Last synced: 21 Dec 2024
https://github.com/01mf02/kontroli-hs
Alternative implementation of the logical framework Dedukti
dedukti dependent-types haskell logic typechecker
Last synced: 04 Dec 2024
https://github.com/abelcheung/pytest-revealtype-injector
Pytest plugin for replacing reveal_type() calls with static and runtime type checking result comparison
annotation dynamic-typing pytest-plugin runtime-typechecking static-typing type-check type-checker type-checking typecheck typechecker typechecking types typing
Last synced: 03 Dec 2024
https://github.com/damiancipolat/fish-type-js
Runtime validation of data types in functions call parameters and return in runtime for ES6.
dynamic es6 functions javascript nodejs npm react typecheck typechecker
Last synced: 20 Dec 2024
https://github.com/yazaldefilimone/eva-typechecker
📝 | Type system | Static typeChecker | Type inference
compiler compiler-design programming-language typechecker types
Last synced: 17 Nov 2024
https://github.com/varunsridharan/js-is
ES6 JavaScript Type Check Library
es6 es6-javascript isjs javascript javascript-checkers javascript-ischeck javascript-istype javascript-library javascript-type javascript-typecheck js-istype js-lib js-library js-type jsis typecheck typechecker
Last synced: 18 Dec 2024
