serradura/bcdd-contract 📦

🚧 Not yet ready for production

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

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: 7 months ago - Pushed at: almost 5 years ago - Stars: 2 - Forks: 0

NiclasDimitriadis/TMP_lib

Template metaprogramming library originally spun off from CppOrderBook project.

Language: C++ - Size: 57.6 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

Lchemist/TypeGuards

Runtime type checking library for TS & JS

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

rtlevy/SeniorInitiative

Programming work for my Senior Initiative project

Language: Haskell - Size: 40 KB - Last synced at: 12 months ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

ryanmorr/kind

Type checking differently

Language: JavaScript - Size: 44.9 KB - Last synced at: 25 days ago - Pushed at: 12 months ago - Stars: 1 - Forks: 0

philbooth/check-types.js 📦

MOVED TO GITLAB

Language: JavaScript - Size: 589 KB - Last synced at: 5 days ago - Pushed at: over 7 years ago - Stars: 226 - Forks: 32

luismendes070/advanced-reactjs-dio Fork of Tautorn/advanced-reactjs-dio

Curso avançado de ReactJS para a Digital Innovation One

Size: 1.56 MB - Last synced at: about 1 year ago - Pushed at: almost 3 years ago - Stars: 0 - 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

brick-lang/kekka

An implementation of Daan Leijen's λ^k effect-conscience type system in OCaml

Language: OCaml - Size: 138 KB - Last synced at: about 1 year ago - Pushed at: over 4 years ago - Stars: 14 - Forks: 0

vitorsvieira/dilate

Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.

Language: Scala - Size: 186 KB - Last synced at: about 1 year ago - Pushed at: over 7 years ago - Stars: 81 - Forks: 5

GustavLindberg99/JsTypeChecking.php 📦

A PHP script that allows easy type checking in Javascript

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

a-poor/typewrap

Super tiny python package for function typechecking.

Language: Python - Size: 64.5 KB - Last synced at: 5 days ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

BadEnd777/guard-env

Node.js module for type-checking and guarding environment variables based on specified configurations.

Language: TypeScript - Size: 128 KB - Last synced at: 10 days ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

zeekay/es-is Fork of enricomarino/is

The definitive JavaScript type testing library

Language: JavaScript - Size: 240 KB - Last synced at: 10 days ago - Pushed at: almost 8 years ago - Stars: 2 - Forks: 0

skarab42/vite-plugin-vitest-typescript-assert

🔥 TypeScript type assertion plugin for vitest

Language: TypeScript - Size: 473 KB - Last synced at: 13 days ago - Pushed at: over 1 year ago - Stars: 79 - Forks: 1

beartype/bearboto3 📦

Facilitates using beartype runtime type-checking with the AWS SDK.

Language: Python - Size: 561 KB - Last synced at: 2 days ago - Pushed at: almost 3 years ago - Stars: 7 - Forks: 0

SandeepKundalwal/Compiler-Design

[CS502: Compiler Design] Built Five Phases of Compiler - Parsing Trees, Semantic Analysis, Intermediate Code Generation, Live Variable Analysis, Register Allocation

Language: Java - Size: 1.84 MB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0

dokutan/typed-fennel

Adding dynamic type checking to Fennel

Language: Fennel - Size: 18.6 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 2 - 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

caphosra/libcpoly

Let's write a C program in a parametric-polymorphismic way!

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

sainath09/Simple-Compiler

This is a minimal language build on top of java virtual machine for image processing

Language: Java - Size: 4.46 MB - Last synced at: over 1 year ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0

RodneyMKay/python-datajson

A simmple library to serialize dataclasses in Python with tight type-checking

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

giorgosart/strong-typed

A runtime type-checking library for javascript

Language: JavaScript - Size: 9.77 KB - Last synced at: about 18 hours ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

alexgs/khyron 📦

Run-time type checking for JavaScript

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

SteveTaylorDev/credential-system-area-calculator

Credential storage and checking system, with user permissions, which contains a room area calculator. Includes error handling and type checking.

Language: Python - Size: 40 KB - Last synced at: over 1 year ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

dee-me-tree-or-love/chai_sql

ChaiSQL - a prototype optional type checker for raw SQL ☕️ 🫖 @ TU/e Database Research Group

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

yanlinlin82/icpp

an interpreter for C++

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

typeis/typeis

Typeis. it's the smart and simple javaScript type checker

Language: JavaScript - Size: 87.9 KB - Last synced at: 1 day ago - Pushed at: almost 4 years ago - Stars: 93 - Forks: 12

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

milasudril/strint

Strict integer types for C++

Language: C++ - Size: 33.2 KB - Last synced at: almost 2 years ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0

BookOwl/type-inference

Hindley Milner Type Inference in Rust

Language: Rust - Size: 57.6 KB - Last synced at: almost 2 years ago - Pushed at: over 7 years ago - Stars: 11 - Forks: 3

arachnys/protostub

A tool for generating Mypy type stubs from a Protocol Buffer definition.

Language: Go - Size: 272 KB - Last synced at: 6 days ago - Pushed at: over 6 years ago - Stars: 22 - Forks: 2

KriztoferY/pydsa-queue

A suite of Python namespaced packages that provides implementations of the Queue ADT and related algorithms.

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

kawmra/typist-json

A simple runtime JSON type checker.

Language: TypeScript - Size: 439 KB - Last synced at: 23 days ago - Pushed at: over 2 years ago - Stars: 25 - Forks: 0

gabriel-fallen/bidirectional-demo

A demo implementation of a simple bidirectional type-checker in Lean 4.

Language: Lean - Size: 3.91 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 7 - Forks: 0

sambacha/prettier-zod

zero compile type checking prettier configuration with zod and vscode

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

frou/exhaustive-helper

Make tolerable a poor man's version of exhaustive pattern-matching, in TypeScript

Language: TypeScript - Size: 6.84 KB - Last synced at: about 18 hours ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

wookieb/predicates

Predicates for type checking, assertions, filtering etc

Language: TypeScript - Size: 357 KB - Last synced at: 1 day ago - Pushed at: about 6 years ago - Stars: 89 - Forks: 1

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: almost 3 years ago - Stars: 1 - Forks: 0

SKundawal/Semantic-Analysis

[CS502: Compiler Design] Semantic Analysis - Performing Type-Checking for a given program.

Language: Java - Size: 866 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

codevor/js-is-type

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

Language: JavaScript - Size: 12.7 KB - Last synced at: 23 days ago - Pushed at: over 5 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: 6 months ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 1

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

robinspollak/LambdaCalculusInterpreters

Two interpreters for the lambda calculus: one simple and one with typing of ints, bools, and pairs.

Language: Haskell - Size: 3.1 MB - Last synced at: about 2 years ago - Pushed at: about 8 years ago - Stars: 7 - Forks: 1

azur1s/hm

A small type inference/checker for a small set of expressions

Language: Rust - Size: 17.6 KB - Last synced at: about 1 month ago - Pushed at: about 2 years ago - Stars: 4 - Forks: 0

fmartin5/type-checking

Runtime type checking and assertion library.

Language: JavaScript - Size: 63.5 KB - Last synced at: 3 days ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0

tristanpenman/ruby-type-checking

Random experiments in Ruby Type Checking 🔬

Language: Ruby - Size: 32.2 KB - Last synced at: 7 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

ArcletProject/ArcletTS

Arclet Project rewrite by Typescript

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

PaneruVipin/common-coding-tools

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

deohayer/pycheck

Dynamic type and value checking for class fields in Python

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

loklaan/is-async-func

Check if a value is an async function, from ES2017 specification. Supports babel.

Language: JavaScript - Size: 245 KB - Last synced at: 4 days ago - Pushed at: over 2 years ago - Stars: 3 - 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

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: about 1 month ago - Pushed at: about 2 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: about 20 hours ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 1

ebresafegaga/tina

Tina, a programming language with typed algebraic effects and handlers.

Language: OCaml - Size: 8.9 MB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 5 - Forks: 1

OctoD/typeguards 📦

Every day typeguards

Language: TypeScript - Size: 119 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

laurentpayot/floweret 📦

Runtime type annotations for CoffeeScript (and JavaScript too!)

Language: CoffeeScript - Size: 1.14 MB - Last synced at: about 1 month ago - Pushed at: over 3 years ago - Stars: 20 - Forks: 0

vhfmag/tsguard.macro 📦

Babel macro that automatically generates type guards for a given type (WIP)

Language: JavaScript - Size: 93.8 KB - Last synced at: 25 days ago - Pushed at: over 6 years ago - Stars: 12 - Forks: 0

studioph/bearboto3 📦

MOVED. Provides support for boto3 with beartype runtime type-checking.

Language: Python - Size: 356 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 3 - 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: about 2 months ago - Pushed at: over 2 years ago - Stars: 1 - 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: about 2 years ago - Pushed at: about 3 years ago - Stars: 2 - 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

tahaShm/ACTon-type-check

Type checking for ACTon language.

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

nickzuber/infrared

:sparkles::rocket: Blazing fast, inferred static type checker for JavaScript.

Language: OCaml - Size: 2.32 MB - Last synced at: 8 days ago - Pushed at: about 4 years ago - Stars: 47 - Forks: 2

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: 16 days ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 1

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

harahu/streamlit-typing-example

Code examples for streamlit + mypy

Language: Python - Size: 237 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 1

johansenja/typed_struct

Ruby structs but with type-checked attributes ⚡️🔐

Language: Ruby - Size: 24.4 KB - Last synced at: 27 days ago - Pushed at: over 2 years ago - Stars: 15 - Forks: 1

fisakov/fitch-system

Proof validation in Propositional Logic and its extensions with Jetbrains MPS and constraint rules

Size: 1.74 MB - Last synced at: 10 months ago - Pushed at: almost 7 years ago - Stars: 4 - Forks: 1

jaeyson/getypex

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

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

swaralichine/PPL-Assignment-3

CSE 340: Assignment 3

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

SM2A/PLC_P3

🎓💻Compiler and Programming Languages Design Course Computer Assignment Phase 3 - Fall 2021

Language: Java - Size: 2.18 MB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

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

mglush/compiler-construction

Generates runnable x86 assembly code based on a small object-oriented programming language input.

Language: C++ - Size: 435 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

tiaanduplessis/typefence

Basic runtime type checking

Language: TypeScript - Size: 95.7 KB - Last synced at: 27 days ago - Pushed at: almost 3 years 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: 7 months ago - Pushed at: 7 months ago - Stars: 1 - Forks: 0

lubie0kasztanki/pythonrules

Python package for runtime function arguments type and constraint validation

Language: Python - Size: 6.84 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - 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: almost 2 years ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

georapbox/is-api

Tiny javascript library that you can extend with your own type checking methods.

Language: JavaScript - Size: 20.5 KB - Last synced at: 15 days ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 0

lkster/Safetify

Value type safing utility

Language: TypeScript - Size: 599 KB - Last synced at: 17 days ago - Pushed at: almost 5 years ago - Stars: 7 - Forks: 2

exbotanical/heuristics

Useful heuristics, type checks, and validation helpers for JavaScript and TypeScript

Language: TypeScript - Size: 2.27 MB - Last synced at: 3 days ago - Pushed at: almost 2 years ago - Stars: 0 - 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

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

Grosse-pasteque/AVM

Advanced Variable Manager: avm

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

serradura/type_validator

Adds type validation for classes with ActiveModel::Validations.

Language: Ruby - Size: 60.5 KB - Last synced at: 16 days ago - Pushed at: over 5 years ago - Stars: 17 - Forks: 1

VicGUTT/isjs

A set of JavaScript type checking helpers

Language: TypeScript - Size: 1.67 MB - Last synced at: about 9 hours ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

phatnguyenuit/runtime-type-checking

Runtime type checking in TypeScript with "io-ts"

Language: TypeScript - Size: 7.81 KB - Last synced at: 3 months ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

palashmon/learn-flow

Simplest case example of Flow

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

exbotanical/js-heuristics

Useful heuristics, type checks, and validation helpers for JavaScript

Language: JavaScript - Size: 2.43 MB - Last synced at: 3 months ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

panaitescu-paul/Search-Grid-React-2021

Search Grid App made with React - 2021

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

gfyoung/py-validate

Function Wrappers to Validate Arguments and Return Types

Language: Python - Size: 103 KB - Last synced at: about 1 month ago - Pushed at: over 7 years ago - Stars: 5 - Forks: 0

brocksam/pyproprop

Write classes with lots of similar simple defensive properties without the boilerplate

Language: Python - Size: 320 KB - Last synced at: about 1 month ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 1

nutboltu/typeco

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

Language: JavaScript - Size: 3.38 MB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0

tzsk/vuex-store-validator

Validate Vuex Commits with Joi, Superstruct & Yup Schema.

Language: JavaScript - Size: 6.91 MB - Last synced at: 13 days ago - Pushed at: almost 4 years ago - Stars: 4 - Forks: 4

boaz23/ppl-ass4

BGU PPL Course Assignment 4 - Scheme type checking, typescript generators and promises

Language: TypeScript - Size: 301 KB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

Jitender-Kumar-Yadav/Type-Checking-and-Evaluation

Extension of the Boolean parser to include Boolean expressions, integer expressions, conditional and declaration statements as well as functional abstraction and application. The project includes lexing, parsing, generation of abstract syntax, type checking and evaluation.

Language: Standard ML - Size: 123 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

dcronqvist/pytechecker

✔️ a small uility Python module for type checking an object towards a sample object

Language: Python - Size: 41 KB - Last synced at: about 1 month ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

Tiendil/coulson

control types of variables in runtime

Language: Python - Size: 44.9 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

woodruffw/dreck

A stupid parser for trailing arguments.

Language: Ruby - Size: 38.1 KB - Last synced at: 2 days ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0