Topic: typechecker Goto Github

👇 Here are 113 public repositories matching this topic...

01mf02 / kontroli-rs
typechecker,Alternative implementation of the logical framework Dedukti in Rust
User: 01mf02
logic rust dependent-types typechecker dedukti

adebola-io / whirlwind
typechecker,Programming language for clear, concise and clever computing.
User: adebola-io
Home Page: https://wrl.vercel.app
interpreter language library runtime typechecker rust extension language-server-protocol programming-language typescript

alisayyah / django-urlconfchecks
typechecker,A package for type-checking the URLs and associated views for Django
User: alisayyah
Home Page: https://alisayyah.github.io/django-urlconfchecks
django python developer-tools django-application typechecker cli typer pre-commit pre-commit-hook

amir-valizadeh / ts-analyzer
typechecker,A comprehensive TypeScript codebase analyzer that provides detailed metrics on type safety, code complexity, and quality. Get actionable insights to improve your TypeScript projects.
User: amir-valizadeh
Home Page: https://www.npmjs.com/package/ts-analyzer
nestjs nextjs react typechecker typescript codecomplexity ts-analyzer

ascandone / kestrel-lang
typechecker,🦅 A pure, strongly typed functional language that compiles to js
User: ascandone
compiler javascript typechecker functional-programming

bevry / typechecker
typechecker,Utilities to get and check variable types (isString, isPlainObject, isRegExp, etc)
Organization: bevry
nodejs client-side typechecker

cstml / fmct
typechecker,Functional Machine Calculus typed. A programming language based on the FMC paper, developed from scratch for a Dissertation project.
User: cstml
fmct programming-language typechecker

daelvn / ltypekit7
typechecker,Advanced type checking for Lua.
User: daelvn
Home Page: https://git.daelvn.com/ltypekit7
lua moonscript typechecker

davidfstr / trycast
typechecker,trycast parses JSON-like values whose shape is defined by TypedDicts and other standard Python type hints.
User: davidfstr
Home Page: https://dafoster.net/projects/trycast/
parsing python typechecking runtime-typechecking typechecker typing validation

derive4j / hkt
typechecker,Higher Kinded Type machinery for Java
Organization: derive4j
hk-encoding hkt annotation-processor typechecker java-8 functional-programming

drknzz / wolke-lang
typechecker,☁️ Wolke language interpreter ☁️
User: drknzz
bnfc interpreter language syntax haskell typechecker

earlgray / language-incubator
typechecker,Learning compilers, interpreters, code generation, virtual machines, assemblers, JITs, etc.
User: earlgray
typechecker forth compiler-design interpreter assembler

edgurgel / ham
typechecker,Library to validate function arguments and return values against their typespecs. Extracted out from Hammox
User: edgurgel
Home Page: https://hex.pm/packages/ham
elixir specs typechecker types typespec

fabiandev / ts-runtime
typechecker,Runtime Type Checks for TypeScript
User: fabiandev
Home Page: https://fabiandev.github.io/ts-runtime/
typescript javascript typechecker runtime

facebook / pyre-check
typechecker,Performant type-checking for python.
Organization: facebook
Home Page: https://pyre-check.org/
python typechecker type-check static-analysis ocaml code-quality abstract-interpretation security program-analysis taint-analysis

facebook / pyrefly
typechecker,A fast type checker and IDE for Python
Organization: facebook
Home Page: http://pyrefly.org/
code-quality ide language-server lsp python type-check type-checker typecheck typechecker rust

fsprojects / rezoom.sql
typechecker,Statically typechecks a common SQL dialect and translates it to various RDBMS backends
Organization: fsprojects
sql compiler typechecker sqlite sqlserver tsql postgresql fsharp

fury-lang / fury
typechecker,Fury, a gradual, safe systems language
Organization: fury-lang
compiler memory-management programming-language typechecker zig

gbury / dolmen
typechecker,Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
User: gbury
parse language functor smt-lib flexible-parsers tptp ocaml ocaml-library atp model

gergoerdi / hm-compo
typechecker,Compositional type checking for a Hindley-Milner type system
User: gergoerdi
haskell typechecker

gergoerdi / stlc-agda
typechecker,STLC-related snippets in Agda
User: gergoerdi
agda lambda-calculus stlc typechecker

gergoerdi / tandoori
typechecker,Compositional type checking for Haskell
User: gergoerdi
haskell typechecker type-system

gkossakowski / kentuckymule
typechecker,Limits of Scala typechecking speed
User: gkossakowski
Home Page: https://medium.com/@gkossakowski/can-scala-have-a-highly-parallel-typechecker-95cd7c146d20
scala-compiler typechecker scala

google / pytype
typechecker,A static type analyzer for Python code
Organization: google
Home Page: https://google.github.io/pytype
python typing typechecker linter types static-analysis static-code-analysis

h2oai / typesentry
typechecker,Python 2.7 & 3.5+ runtime type-checker
Organization: h2oai
python types typechecker pep484 typing validation runtime

hanako-eo / arsenic
typechecker,A language designed as an alternative to TypeScript, stricter, more rigorous and designed to optimise the JavaScript code produced as much as possible.
User: hanako-eo
arsenic javascript language typechecker typescript

iequ1 / typerefl
typechecker,Use Erlang typespecs in the runtime
User: iequ1
erlang typechecker reflection

jacopofar / runtime_typecheck
typechecker,Checks that a value satisfies a Python 3.6 type
User: jacopofar
python36 typechecker

janlelis / sig
typechecker,Validate Method Arguments & Results in Ruby
User: janlelis
ruby contracts ruby-types types signatures ruby-methods typechecker

jin / subtyping
typechecker,An implementation of structural subtyping of records and functions
User: jin
haskell subtyping typechecker subtypes

jsabrahams / mamba
typechecker,🐍 The Mamba programming language, because we care about safety
User: jsabrahams
language python rust compiler typesafety typechecker

kaleidawave / ezno
typechecker,A fast and correct TypeScript type checker and compiler with additional experiments
User: kaleidawave
Home Page: https://kaleidawave.github.io/posts/introducing-ezno/
compiler javascript types typescript typechecker

kritzcreek / siml
typechecker,My playground for building a compiler for an ML-like in Rust
User: kritzcreek
compiler parsing typechecker wasm

kubecub / typecheck
typechecker,Typecheck is a github actions robust tool designed for cross-platform source code type checking across all Go build platforms. This utility leverages Go’s built-in parsing and type-check libraries (`go/parser` and `go/types`) to deliver efficient and reliable code analysis.
Organization: kubecub
actions github-actions go tools toolset typechecker

lostindarkmath / pedantic-python-decorators
typechecker,Some useful decorators for any situation. Includes runtime type checking.
User: lostindarkmath
python decorators python-decorators pedantic pedantic-decorators type-checking annotations typechecker validation type-hints

markleone / weekendcompiler
typechecker,An example LLVM-based compiler for a subset of C.
User: markleone
llvm compiler typechecker parser

matts966 / alphasql
typechecker,AlphaSQL provides Integrated Type and Schema Check and Parallelization for SQL file set mainly for BigQuery
User: matts966
bigquery zetasql typechecker parallelization graphviz dot-language datawarehouse datawarehouseautomation docker workflow-automation

mesqueeb / is-what
typechecker,JS type check (TypeScript supported) functions like `isPlainObject() isArray()` etc. A simple & small integration.
User: mesqueeb
Home Page: https://mesqueeb.github.io/is-what/
typechecker check-type javascript typescript javascript-type primitive-types plain-object plain-objects class-instance class-identifier

microsoft / typescript
typechecker,TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
Organization: microsoft
Home Page: https://www.typescriptlang.org
typescript javascript language typechecker

msz / hammox
typechecker,🏝 automated contract testing via type checking for Elixir functions and mocks
User: msz
elixir testing mock mox contract-testing typechecker typechecking typespec dialyzer contracts

pikelet-lang / pikelet
typechecker,A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
Organization: pikelet-lang
Home Page: https://pikelet-lang.github.io/pikelet/
dependent-types typechecker type-theory programming-language type-system bidirectional-typechecking rust dependent-record-types dependent-records systems-language

python / mypy
typechecker,Optional static typing for Python
Organization: python
Home Page: https://www.mypy-lang.org/
python types typing typechecker linter

quora / pyanalyze
typechecker,A Python type checker
Organization: quora
linter python static-analysis typechecker types typing

robrix / surface
typechecker,Dependently-typed language w/ little to say for itself
User: robrix
typechecker haskell dependent-types proof-refinement

russbaz / enforce
typechecker,Python 3.5+ runtime type checking for integration testing and data validation
User: russbaz
python typechecker validation testing runtime type-hints typing decorators

soutaro / steep
typechecker,Static type checker for Ruby
User: soutaro
ruby typechecker

stepami / hydrascript
typechecker,TypeScript & Go inspired open-source public research project written in C#
User: stepami
codegen compiler csharp dotnet interpreter javascript language parsing typechecker typescript

usethesource / typepal
typechecker,TypePal is a framework for name analysis, type checking and type inference
Organization: usethesource
Home Page: https://www.rascal-mpl.org/docs/Packages/Typepal/TypePal/
domain-specific-language rascal type-checking typechecker

yuzheng14 / valype
typechecker,Valype = Validate + Type. Automatically generates runtime validators from TypeScript type definitions.
User: yuzheng14
Home Page: https://valype.dev
typescript unplugin validation farm rollup tsdown typecheck typechecker validate validator

ziman / ttstar
typechecker,Dependently typed core calculus with erasure
User: ziman
typechecker erasure dependent-types functional-programming type-system