GitHub topics: typechecking

Repositories

Shadow10010/cachify

cachify is a lightweight, high-performance, thread-safe Least Recently Used (LRU) cache library for Go. It is designed for in-memory caching with optional support for expiration, eviction callbacks, and dynamic capacity adjustment.

Size: 1.95 KB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 1 - Forks: 0

google/closure-compiler

A JavaScript checker and optimizer.

Language: Java - Size: 178 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 7,505 - Forks: 1,163

rustedpy/result

NOT MAINTAINED - A simple Rust like Result type for Python 3. Fully type annotated.

Language: Python - Size: 193 KB - Last synced at: about 3 hours ago - Pushed at: 9 months ago - Stars: 1,660 - Forks: 83

lolpack/type_coverage_py

Calculate the type coverage of popular Python libraries

Language: HTML - Size: 16.8 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 4 - Forks: 3

NextGenContributions/.nitpick

Shared settings for linters, type checking tools and VSCode

Language: JavaScript - Size: 50.8 KB - Last synced at: 7 days ago - Pushed at: 8 days ago - Stars: 1 - Forks: 0

brendanzab/language-garden

A garden of small programming language implementations 🪴

Language: OCaml - Size: 1.46 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 223 - Forks: 6

RobertCraigie/pyright-python

Python command line wrapper for pyright, a static type checker

Language: Python - Size: 341 KB - Last synced at: 7 days ago - Pushed at: 20 days ago - Stars: 215 - Forks: 26

mzuber/pandas-type-checks

Structural type checking for Pandas data frames.

Language: Python - Size: 84 KB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 1 - Forks: 0

abelcheung/pytest-revealtype-injector

Pytest plugin for replacing reveal_type() calls with static and runtime type checking result comparison

Language: Python - Size: 184 KB - Last synced at: about 13 hours ago - Pushed at: 13 days ago - Stars: 0 - Forks: 0

davidfstr/trycast

trycast parses JSON-like values whose shape is defined by TypedDicts and other standard Python type hints.

Language: Python - Size: 868 KB - Last synced at: about 18 hours ago - Pushed at: 9 months ago - Stars: 81 - Forks: 6

erikerlandson/coulomb

coulomb: unit analysis for Scala

Language: Scala - Size: 4.02 MB - Last synced at: 22 days ago - Pushed at: 22 days ago - Stars: 143 - Forks: 9

msanlop/uza

A simple statically typed programming language

Language: Python - Size: 725 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 8 - Forks: 0

EzyGang/py-cachify

Caching and distributed locks in your applications with just one or two lines. Easy to learn. Fast to code.

Language: Python - Size: 785 KB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 35 - Forks: 0

msz/hammox

🏝 automated contract testing via type checking for Elixir functions and mocks

Language: Elixir - Size: 333 KB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 577 - Forks: 29

jakob-schuster/language-scrapyard

Scrappy implementations of programming language ideas

Language: Rust - Size: 148 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 2 - Forks: 0

Rax-x/SimpleLang

Simple frontend developed to learn how to create type checkers

Language: C - Size: 25.4 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0

Stewori/pytypes

Typing-toolbox for Python 3 _and_ 2.7 w.r.t. PEP 484.

Language: Python - Size: 1.3 MB - Last synced at: 3 days ago - Pushed at: about 2 years ago - Stars: 200 - Forks: 20

FelixTheC/strongtyping

Decorator which checks whether the function is called with the correct type of parameters.

Language: Python - Size: 405 KB - Last synced at: 1 day ago - Pushed at: 4 months ago - Stars: 110 - Forks: 3

SeanCannon/prettycats

Common predicates for validating objects

Language: JavaScript - Size: 456 KB - Last synced at: 5 days ago - Pushed at: almost 2 years ago - Stars: 15 - Forks: 3

wjrforcyber/SystemT

👨‍💻 Implementing System T in Haskell 👨‍💻

Language: Haskell - Size: 3.55 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 7 - Forks: 0

PRL-PRG/contractr

An R :package: to insert function argument and return type contracts

Language: C++ - Size: 2.34 MB - Last synced at: 5 months ago - Pushed at: over 2 years ago - Stars: 4 - Forks: 0

flextremedev/react-type-check

Type checking utilities for React elements.

Language: TypeScript - Size: 5.73 MB - Last synced at: 22 days ago - Pushed at: about 2 years ago - Stars: 2 - Forks: 0

capaj/ts-inquisition

A simple CLI util to mark all your current TS errors as expected. Useful when you wan to fail your builds on a new type error while expecting the old ones

Language: TypeScript - Size: 130 KB - Last synced at: 29 days ago - Pushed at: 11 months ago - Stars: 3 - Forks: 1

smarie/python-autoclass

A python 3 library providing functions and decorators to automatically generate class code, such as constructor body or properties getters/setters along with optional support of validation contracts on the generated setters. Its objective is to reduce the amount of copy/paste code in your classes - and hence to help reducing human mistakes :).

Language: Python - Size: 2.86 MB - Last synced at: 19 days ago - Pushed at: about 4 years ago - Stars: 37 - Forks: 2

Shambles-Dev/AutoHotkey-Type_Checking

Type Checking for AutoHotkey

Language: AutoHotkey - Size: 8.79 KB - Last synced at: 6 months ago - Pushed at: over 3 years ago - Stars: 8 - Forks: 1

Drag13/IsNumberStrict

Checks if JavaScript variable is a number. Strings are not allowed.

Language: JavaScript - Size: 1.05 MB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 12 - Forks: 4

alexewerlof/jty

A minimal type checking library that I need in various projects for safer programming

Language: TypeScript - Size: 511 KB - Last synced at: 16 days ago - Pushed at: over 2 years ago - Stars: 6 - Forks: 1

SebastianMestre/Jasper

A programming language. Static types. Full type inference. Garbage collection. --- not stable

Language: C++ - Size: 903 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 57 - Forks: 4

alloc/is Fork of sindresorhus/is

Runtime type checking for TypeScript

Language: TypeScript - Size: 1.09 MB - Last synced at: 19 days ago - Pushed at: 12 months ago - Stars: 4 - Forks: 0

GustavLindberg99/Typecheck.js

JavaScript library for runtime type checking

Language: JavaScript - Size: 85.9 KB - Last synced at: 10 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

avanov/typeit

Infer Python types from JSON data, use them for auto serialisation and parsing

Language: Python - Size: 272 KB - Last synced at: 7 days ago - Pushed at: over 1 year ago - Stars: 13 - Forks: 1

joelburget/lvca

language verification, construction, and analysis

Language: OCaml - Size: 9.41 MB - Last synced at: 1 day ago - Pushed at: about 3 years ago - Stars: 20 - Forks: 0

OpenINF/openinf-util-types

Fundamental JavaScript type-related utilities

Language: TypeScript - Size: 336 KB - Last synced at: about 12 hours ago - Pushed at: about 14 hours ago - Stars: 3 - Forks: 2

Toobo/TypeChecker

Library to check values against PHP types, is_a() on steroids.

Language: PHP - Size: 87.9 KB - Last synced at: 5 months ago - Pushed at: 12 months ago - Stars: 2 - Forks: 0

Codevendor/inferjs

A package of InferJS tools, designed for runtime checking of JavaScript types and narrowing through expectations.

Language: JavaScript - Size: 619 KB - Last synced at: 19 days ago - Pushed at: about 2 years ago - Stars: 4 - Forks: 0

Thiru-Coder/type-master

Type Checking Game!

Language: JavaScript - Size: 364 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

Cizr/Yacc-Parser-Addition-Rules-and-Type-Checking

An educational Yacc parser implementation for the specified grammar, featuring Java-like addition rules and integrated type checking for assignment consistency. Explore code, examples, and tests to deepen your understanding of Yacc parsing and semantic analysis.

Language: Python - Size: 4.88 KB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0

afzaalb/learn-ts

Learn TypeScript Fundamentals

Language: JavaScript - Size: 113 KB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

christabor-archive/pystruct_types

Structural type checking for Python

Language: Python - Size: 0 Bytes - Last synced at: about 1 year ago - Pushed at: over 9 years ago - Stars: 1 - Forks: 0

GauravJain28/PL-Assignments

Assignments of the course COL226: Programming Languages offered in Second Sem 2020-21, IIT Delhi

Language: Standard ML - Size: 23.4 KB - Last synced at: 10 months ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 6

michallepicki/tibe

Ahnfelt's Type Inference by Example but implemented in Gleam

Language: Gleam - Size: 47.9 KB - Last synced at: about 13 hours ago - Pushed at: almost 2 years ago - Stars: 12 - Forks: 0

ZaikoXander/rubyt

A type checking gem for Ruby - still in development

Language: Ruby - Size: 222 KB - Last synced at: 24 days ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

imaqtkatt/tytyp

tanuky type checker

Language: Rust - Size: 16.6 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

richard-gitdesk/Remove-Luau-Types

A lua-made dumb type remover for Luau.

Language: Lua - Size: 7.81 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

michaelsippel/ltsh

tiny utility program for type-analysis of shell pipelines based on ladder-typing

Language: Rust - Size: 41 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

NicoPennec/tscheck-demo

Source code of live demo for "@ts-check", an awesome feature from TypeScript for static type checking of your Vanilla JS

Language: JavaScript - Size: 97.7 KB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 0

Penguinum/lua-annoytype Fork of andremm/typedlua

Lua type checker based on Typed Lua

Language: Lua - Size: 11.4 MB - Last synced at: almost 2 years ago - Pushed at: over 7 years ago - Stars: 5 - Forks: 0

node4web/util

🧰 node:util for use anywhere

Language: TypeScript - Size: 383 KB - Last synced at: 12 days ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

awseward/gh-actions-dhall

A GitHub Action which typechecks and lints all Dhall files in a repository.

Language: Dhall - Size: 104 KB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 0

aradarbel10/Styff

A functional programming language based on system F (omega) ft. NbE and higher order unification

Language: OCaml - Size: 12.6 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 7 - Forks: 0

Codevendor/inferjs-library

A runtime library that allows you to infer rules for extended type checking in JavaScript.

Language: JavaScript - Size: 791 KB - Last synced at: 5 days ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0

jinger89/rubric

Simple variable type checking library.

Language: JavaScript - Size: 36.1 KB - Last synced at: 6 days ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

Codevendor/type_of

An importable TypeScript method to fix the JavaScript 'typeof' operator. This code is written as a module for the deno runtime.

Language: TypeScript - Size: 235 KB - Last synced at: 3 months ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

Codevendor/inferjs-compiler

A compiler that processes JSDoc comments into an InferObject File for utilizing with the InferJS Library.

Language: JavaScript - Size: 853 KB - Last synced at: 16 days ago - Pushed at: about 2 years ago - Stars: 2 - Forks: 0

spotify/ts-interface-loader 📦

Webpack support for validating TypeScript definitions at runtime.

Language: TypeScript - Size: 2.08 MB - Last synced at: 3 days ago - Pushed at: over 2 years ago - Stars: 23 - Forks: 5

vitalishapovalov/Typecheck

Super-simple type checkers

Language: TypeScript - Size: 473 KB - Last synced at: 1 day ago - Pushed at: about 2 years ago - Stars: 3 - Forks: 0

zenflow/ts-interface-builder-macro-demo

Demo using `ts-interface-builder/macro`

Language: TypeScript - Size: 230 KB - Last synced at: about 1 month ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

KOLANICH-libs/ClosureCompiler.py

Python bindings to Google Closure Compiler

Language: Python - Size: 16.6 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

quangis/transforge

Describe processes as type transformations, with inference that supports subtypes and parametric polymorphism. Create and query corresponding transformation graphs.

Language: Python - Size: 1.03 MB - Last synced at: 18 days ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0