type-checking | Topic | Ecosyste.ms: Repos

Topic: "type-checking"

ternaus/google-docstring-parser

A Python package for parsing and validating Google-style docstrings with type hints. Converts docstrings into structured dictionaries and validates type annotations. Requires paid license for non-Albumentations Team users.

Language: Python - Size: 85.9 KB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 2 - Forks: 0

matsjoyce/pyside6-qml-stubgen

Generate QML stub files (.qmltypes) from Python modules (which use PySide6)

Language: Python - Size: 77.1 KB - Last synced at: about 1 month ago - Pushed at: 2 months ago - Stars: 2 - Forks: 2

dokutan/typed-fennel

Adding dynamic type checking to Fennel

Language: Fennel - Size: 18.6 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0

AChristoff/i18n-type-safe

Ultra lightweight package (15kB) aimed at ensuring 100% type-safe internationalization. Providing a minimal footprint, yet powerful protection and great DevEx. Perfectly suited for projects utilizing Vite or Expo

Language: TypeScript - Size: 69.3 KB - Last synced at: 14 days ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0

PaneruVipin/common-coding-tools

Language: JavaScript - Size: 266 KB - Last synced at: 11 days ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0

dee-me-tree-or-love/happy-and-alex-typed-lukcal

Haskell Happy & Alex: Typed Polish Notation (Łukasiewicz) Calculator

Language: Haskell - Size: 25.4 KB - Last synced at: 2 months ago - Pushed at: about 2 years ago - Stars: 2 - Forks: 0

nutboltu/typeco

A javascript micro library which allows you to check javascript data types.

Language: JavaScript - Size: 3.38 MB - Last synced at: 24 days ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0

lauramcastro/sessiontypechecker

This is a rebar3 plugin to typecheck multiparty sessions in Erlang projects to ensure conformance to the system global type that specifies its expected global protocol.

Language: Erlang - Size: 12.7 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0

lperugini/FoolCompiler

Fool compiler developed in Java/Antlr4: lexical and syntactical analysis, type checking, code generation. Visitor pattern is adopted.

Language: Java - Size: 56.6 KB - Last synced at: 7 months ago - Pushed at: about 3 years ago - Stars: 2 - Forks: 1

jaeyson/getypex

Library for checking types. Similar from IEx's i command

Language: Elixir - Size: 28.3 KB - Last synced at: 12 days ago - Pushed at: about 3 years ago - Stars: 2 - Forks: 0

tahaShm/ACTon-compiler

This repo consists of compiler course project phases from lexical analysis to bytecode generation of a hypothetical actor-based language named ACTon using java language and ANTLR tool.

Size: 19.5 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 0

ashton314/christmas-compiler

An experimental lambda calculus compiling to the LLVM

Language: Racket - Size: 26.4 KB - Last synced at: 4 days ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 1

transitive-bullshit/ow-shim

Drop-in replacement to make ow validation library a noop in production.

Language: JavaScript - Size: 37.1 KB - Last synced at: 8 months ago - Pushed at: almost 5 years ago - Stars: 2 - Forks: 0

yanlinlin82/icpp

an interpreter for C++

Language: C++ - Size: 346 KB - Last synced at: almost 2 years ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 0

codevor/js-is-type

🎯Type-checking for 'Primitive' JS Types made easy!

Language: JavaScript - Size: 12.7 KB - Last synced at: 13 days ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 0

palashmon/learn-flow

Simplest case example of Flow

Language: JavaScript - Size: 3.91 KB - Last synced at: 3 months ago - Pushed at: almost 7 years ago - Stars: 2 - Forks: 0

lamansky/isit

[Node.js] Tests a value’s type against a string like 'positive integer' or 'non-empty map'.

Language: JavaScript - Size: 10.7 KB - Last synced at: 10 days ago - Pushed at: over 7 years ago - Stars: 2 - Forks: 0

zeekay/es-is Fork of enricomarino/is

The definitive JavaScript type testing library

Language: JavaScript - Size: 240 KB - Last synced at: about 21 hours ago - Pushed at: about 8 years ago - Stars: 2 - Forks: 0

hugojing/typee

A Javascript library for type checking

Language: JavaScript - Size: 18.6 KB - Last synced at: 21 days ago - Pushed at: about 8 years ago - Stars: 2 - Forks: 0

NotBobTheBuilder/miller

Miller

Language: Scala - Size: 62.5 KB - Last synced at: 3 months ago - Pushed at: about 9 years ago - Stars: 2 - Forks: 0

ilyasergey/typechecker-transformations

An implementation of the mechanical correspondence between algorithms for type checking

Language: Standard ML - Size: 113 KB - Last synced at: 2 months ago - Pushed at: over 12 years ago - Stars: 2 - Forks: 0

Manoel-Fernandes/Validate

A lightweight library for validating primitive types in JavaScript

Language: JavaScript - Size: 149 KB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 1 - Forks: 0

NextGenContributions/.nitpick

Shared settings for linters, type checking tools and VSCode

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

code-cb/ts-utils

🛠 A modern and practical TypeScript type utility library

Language: TypeScript - Size: 1.1 MB - Last synced at: 13 days ago - Pushed at: about 2 months ago - Stars: 1 - Forks: 0

selfagency/typa 📦

Super-simple, zero-dependency JavaScript type checking utility.

Language: JavaScript - Size: 522 KB - Last synced at: 4 days ago - Pushed at: about 2 months ago - Stars: 1 - Forks: 1

TruLie13/JSType

JSType: Lightweight CLI type checker for JavaScript using inline comments — no build step, no TypeScript, just simple type safety.

Language: JavaScript - Size: 46.9 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 1 - Forks: 0

loderunner/typelit

A type-safe string templating library for TypeScript

Language: TypeScript - Size: 330 KB - Last synced at: 21 days ago - Pushed at: 3 months ago - Stars: 1 - Forks: 1

asadbek064/SheetSense

Excel workbook validation engine that detects quality issues, ensures consistency, and makes your spreadsheets bulletproof.

Language: TypeScript - Size: 149 KB - Last synced at: about 1 month ago - Pushed at: 6 months ago - Stars: 1 - Forks: 0

DWTechs/CheckHard.js

Type checking library for Javascript and Node.js to test if a given variable is what it is supposed to be

Language: JavaScript - Size: 279 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 1 - Forks: 0

rozek/javascript-interface-library

various classification, validation and utility functions

Language: TypeScript - Size: 377 KB - Last synced at: 20 days ago - Pushed at: 8 months ago - Stars: 1 - Forks: 0

tsdotnet/compare

Utility for common comparison functions including type checking.

Language: TypeScript - Size: 1010 KB - Last synced at: 24 days ago - Pushed at: 9 months ago - Stars: 1 - Forks: 0

ryanmorr/kind

Type checking differently

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

cmglezpdev/hulk-compiler

A small compiler for HULK language program

Language: Python - Size: 47.7 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 2

serradura/bcdd-contract 📦

🚧 Not yet ready for production

Language: Ruby - Size: 147 KB - Last synced at: 27 days ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0

JT2M0L3Y/MyPL

Programming language designed for the purpose of studying compilation and runtime processes. As a side note, OCaml was also introduced to contrast with imperative languages.

Language: C++ - Size: 27.3 MB - Last synced at: 21 days ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 1

reity/barriers

Python decorator for including/removing type checks, value/bounds checks, and other code blocks within the compiled bytecode of functions and methods.

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

jboy/argcheck-python3

A Python3 decorator for automated checking of function-call argument types/values using std-lib ‘inspect'.

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

DeepDoge/master-ts-composition

Master-TS Composition let's you create compositions and add runtime type-checking to your TS types with `instanceof` keyword.

Language: TypeScript - Size: 86.9 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0

bekbeis/python-static-type-checker

Python Static Type Checker does static type analysis on Python programs as a VS Code extension.

Language: TypeScript - Size: 16.9 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0

ArcletProject/ArcletTS

Arclet Project rewrite by Typescript

Language: TypeScript - Size: 193 KB - Last synced at: 6 days ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0

VicGUTT/isjs

A set of JavaScript type checking helpers

Language: TypeScript - Size: 1.67 MB - Last synced at: 3 days ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

parsa-hn/ACTon-compiler

A custom actor-based compiler

Language: Java - Size: 2.3 MB - Last synced at: 10 months ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

composi/get-type 📦

Get the type of a value. For Object this means Object, Array, Date, RegExp, Symbol, etc., instead of generic Object type.

Language: JavaScript - Size: 1.5 MB - Last synced at: 3 months ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0

tiaanduplessis/typefence

Basic runtime type checking

Language: TypeScript - Size: 95.7 KB - Last synced at: 9 days ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0

Proglang-Uni-Freiburg/minirust

an interpreter for a subset of the rust language with main focus on algebraic data types + pattern matching

Language: Rust - Size: 227 KB - Last synced at: about 1 year ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0

TypeAware/types-depot

Clone this repo and generate types in multiple languages for your enterprise.

Language: Java - Size: 3.17 MB - Last synced at: 20 days ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0

Grosse-pasteque/AVM

Advanced Variable Manager: avm

Language: Python - Size: 43.9 KB - Last synced at: 17 days ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

vatsalagrawal6991/Haskell-Lambda-Evaluator-Type-Checker-Expession-Evaluator

Haskell Type Language parsing, token generation, type checker, expression evaluator, lambda expression evaluator with parse tree and ast generation and error raising with function support and argument support and preorder evaluator

Language: Haskell - Size: 12.7 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

panaitescu-paul/Search-Grid-React-2021

Search Grid App made with React - 2021

Language: TypeScript - Size: 7.81 MB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

tahaShm/ACTon-type-check

Type checking for ACTon language.

Language: Java - Size: 2 MB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 0

Lchemist/TypeGuards

Runtime type checking library for TS & JS

Language: TypeScript - Size: 543 KB - Last synced at: 10 months ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 0

a-poor/typewrap

Super tiny python package for function typechecking.

Language: Python - Size: 64.5 KB - Last synced at: about 8 hours ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

giorgosart/strong-typed

A runtime type-checking library for javascript

Language: JavaScript - Size: 9.77 KB - Last synced at: 7 days ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

python-supply/advantages-of-type-annotations

Native syntactic support for type annotations was introduced in Python 3. This article provides an overview of this feature, reviews how it can be used to document information about expressions and functions in a structured way, and illustrates some of the advantages of leveraging it for applicable use cases.

Language: Jupyter Notebook - Size: 57.6 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

branc116/units-core

Measure Units Auto-Generated Imperative Procedural General

Language: C# - Size: 151 KB - Last synced at: over 2 years ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 0

phucnm/compiler-course

Language: Java - Size: 292 KB - Last synced at: 10 months ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 1

mjustus/freshtt

A type checker for FreshMLTT, a dependent type theory with abstractable names together with an equational characterisation of freshness.

Language: OCaml - Size: 43.9 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0

warlock/tck

Data Type Checker

Language: JavaScript - Size: 74.2 KB - Last synced at: 20 days ago - Pushed at: about 6 years ago - Stars: 1 - Forks: 0

nazaninsbr/Symbol-Table-and-AST

Implementing AST and Symbol Table for Smoola and producing errors

Language: Java - Size: 223 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

jeffmcmahan/Function.check

For runtime type declaration and type checking in plain javascript.

Language: JavaScript - Size: 110 KB - Last synced at: 12 days ago - Pushed at: about 7 years ago - Stars: 1 - Forks: 0

alexgs/khyron 📦

Run-time type checking for JavaScript

Language: JavaScript - Size: 97.7 KB - Last synced at: 3 months ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0

woodenbell/TyPy

A smart type checking decorator for functions with useful features

Language: Python - Size: 31.3 KB - Last synced at: almost 2 years ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0

shaina-gh/type-checking

A C++ program to implement type checking of variable assignments and expressions, simulating a part of the semantic analysis phase of a compiler.

Language: C++ - Size: 3.91 KB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 0 - Forks: 0

abelcheung/pytest-revealtype-injector

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

Language: Python - Size: 188 KB - Last synced at: 5 days ago - Pushed at: 6 days ago - Stars: 0 - Forks: 0

esther-poniatowski/tessara

Define and manage parameters as structured objects with constraints, rules, and modular compositions

Language: Python - Size: 55.7 KB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 0 - Forks: 0

fontebasso/valitype

Lightweight validator for simple runtime types like string, number, boolean, URL, and enums.

Language: TypeScript - Size: 0 Bytes - Last synced at: 29 days ago - Pushed at: 29 days ago - Stars: 0 - Forks: 0

codeismyid/types-test

Testing TypeScript types using the 'expect' assertion style, compatible with Jest, Vitest, Bun, and other testing frameworks.

Language: TypeScript - Size: 218 KB - Last synced at: 29 days ago - Pushed at: 29 days ago - Stars: 0 - Forks: 0

GregRos/what-are-you

Super handy, super basic type checking for TS/JS.

Language: TypeScript - Size: 4.61 MB - Last synced at: 2 days ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

melchiorrecaruso/adimRT

Type checking of dimensioned quantities at run time in FreePascal

Language: Pascal - Size: 5.14 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

crhntr/template

Utilities for working with text/template or html/template source.

Language: Go - Size: 41 KB - Last synced at: 9 days ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

thehale/signatures

Run-time type checking for function signatures in Python.

Language: Python - Size: 182 KB - Last synced at: 1 day ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

ParadoxV5/rbs Fork of ruby/rbs

Fork for Contribution || Type Signature for Ruby

Language: Ruby - Size: 9.73 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

Obedbel/My-Extensions

My-Extensions is a collection of versatile tools designed to enhance the functionality of various software applications, offering users a seamless experience with added features and capabilities. From time-saving shortcuts to customizable settings, My-Extensions aims to streamline workflows and optimize productivity for users across different platf

Size: 1000 Bytes - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

Nebulaevo/sniffly

A lightweight TypeScript utility library for performing common type-safe value checks with type narrowing

Language: TypeScript - Size: 37.1 KB - Last synced at: 17 days ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

angelabenavente/is-string-checker

An utility to check if a value is a string.

Language: JavaScript - Size: 10.7 KB - Last synced at: 3 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

trisuaso/faraday

🦇 Faraday is an experimental language which compiles to Lua source!

Language: Rust - Size: 198 KB - Last synced at: 3 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

danidrd/Decorators-in-Python

Ex.3 of the second assignment of Advanced Programming

Language: Python - Size: 21.5 KB - Last synced at: 2 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

rusty-libraries/rusty-typesh

A library for type-based pattern matching in Rust

Language: Rust - Size: 9.77 KB - Last synced at: about 1 month ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

khiatmohammed/typeflow

🔒 TypeFlow: Revolutionize Python Type Safety with Symbolic Operators 🐍✨ Enforce Runtime Type Constraints, Simplify Type Management, and Elevate Code Robustness.

Language: Python - Size: 9.77 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

Maluscat/runtime-type-check

[MIRROR] Modular runtime type checker with focus on creating readable and smart error messages

Language: JavaScript - Size: 160 KB - Last synced at: about 1 month ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

VSPaone/typso

Welcome to the Typso library, a comprehensive type-checking solution designed to provide robust runtime validation for JavaScript/Node.js environments, React, Express, and beyond. With Typso, you can enforce strict type checks on your functions, objects, and React components while maintaining flexibility for more dynamic and asynchronous use cases.

Language: JavaScript - Size: 10.7 KB - Last synced at: 17 days ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

melchiorrecaruso/adimpas

Type checking of dimensioned quantities at compile time in FreePascal

Language: Pascal - Size: 5.91 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

Nebulaevo/typediter

Type-safe versions of Python's builtin iterables

Language: Python - Size: 56.6 KB - Last synced at: 8 days ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

mishrababhishek/prasar

Prasar is a robust, type-safe event handling framework for Python. Supporting both sync and async events, it offers strong type checking and custom colored logging. With an easy-to-use API for binding and emitting events, comprehensive error handling, and Python 3.7+ compatibility, Prasar simplifies event-driven programming.

Language: Python - Size: 4.79 MB - Last synced at: 24 days ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0