Data

Tools

Indexes

Applications

Experiments

Awesome

An open API service indexing awesome lists of open source software.

Projects in Awesome Lists tagged with type-system

A curated list of projects in awesome lists tagged with type-system .

https://github.com/type-challenges/type-challenges

Collection of TypeScript type challenges with online judge

challenges type type-system typescript

Last synced: 12 May 2025

https://github.com/ronami/hypescript

🐬 A simplified implementation of TypeScript's type system written in TypeScript's type system

example functional-programming learning parser recursion static-code-analysis type-system typescript

Last synced: 14 May 2025

https://github.com/ronami/HypeScript

🐬 A simplified implementation of TypeScript's type system written in TypeScript's type system

example functional-programming learning parser recursion static-code-analysis type-system typescript

Last synced: 27 Mar 2025

https://github.com/brimdata/zui

Zui is a powerful desktop application for exploring and working with data. The official front-end to the Zed lake.

csv data data-analytics data-viz data-wrangling electron-app json-inspector keyword-search super-structured-data table-view type-system zed zng zq zui

Last synced: 12 Jun 2025

https://github.com/brimsec/brim

Zui is a powerful desktop application for exploring and working with data. The official front-end to the Zed lake.

csv data data-analytics data-viz data-wrangling electron-app json-inspector keyword-search super-structured-data table-view type-system zed zng zq zui

Last synced: 25 Feb 2025

https://github.com/ronami/meta-typing

πŸ“š Functions and algorithms implemented purely with TypeScript's type system

algorithms example functional learning recursion type-system typescript

Last synced: 16 May 2025

https://github.com/hashintel/hash

πŸš€ The open-source, multi-tenant platform for self-building knowledge graphs and simulation

ai database graph hash rust simulation type-system typescript

Last synced: 28 Apr 2026

https://github.com/josefs/gradualizer

A Gradual type system for Erlang

erlang type-system typesystem

Last synced: 14 Apr 2025

https://github.com/josefs/Gradualizer

A Gradual type system for Erlang

erlang type-system typesystem

Last synced: 07 May 2025

https://github.com/mistlog/typetype

A programming language designed for typescript type generation

type type-system types typescript

Last synced: 05 Apr 2025

https://github.com/unional/type-plus

Additional types and types adjusted utilities for TypeScript

npm-package type-level-programming type-system types typescript typescript-definitions utilities

Last synced: 14 May 2025

https://github.com/sdiehl/typechecker-zoo

A menagerie of cute implementations of modern typechecking algorithms

compiler dependent-types type-inference type-system type-theory

Last synced: 19 Sep 2025

https://github.com/ronami/typelang

🌳 A tiny language interpreter implemented purely in TypeScript's type-system

compiler functional-programming learning recursion type-system typescript

Last synced: 08 May 2025

https://github.com/yeslogic/fathom

🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧

binary-data binary-format compiler data-description-language declarative dependent-record-types dependent-types dsl language parser programming-language rust statically-typed type-checker type-system

Last synced: 04 Apr 2025

https://github.com/sdleffler/tarpit-rs

A type-level implementation of Smallfuck in Rust, doubling as a Turing-completeness proof for Rust's type system.

rust rust-language turing-completeness turing-tarpit type-system types

Last synced: 13 Jul 2025

https://github.com/gyrovorbis/libgimbal

C17-based extended standard library, cross-language type system, and unit testing framework targeting Dreamcast, Gamecube, PSP, PSVita, Windows, Mac, Linux, Android, iOS, and WebAssembly.

algorithms allocators c containers core dreamcast language-interoperability object-oriented-c psp psp-sdk psvita psvita-homebrew standard-library stl-c stl-containers type-system unit-testing utility-library

Last synced: 05 Apr 2026

https://github.com/kit-ty-kate/labrys

A toy language based on LLVM that implements the System Fω type-system

compiler language llvm ocaml programming-language type-system

Last synced: 25 Jul 2025

https://github.com/sinclairzx81/parsebox

Parser Combinators in the TypeScript Type System

combinators parser type-system typescript

Last synced: 06 Apr 2025

https://github.com/Centril/refl

Provides a Refl encoding in Rust

gadt propositional-logic rust type-system

Last synced: 22 Jul 2025

https://github.com/centril/refl

Provides a Refl encoding in Rust

gadt propositional-logic rust type-system

Last synced: 22 Aug 2025

https://github.com/sdleffler/type-operators-rs

A macro for defining type operators in Rust.

dsl macros rust type-level type-level-programming type-system

Last synced: 14 Jul 2025

https://github.com/thufschmitt/tix

[WIP] A type system for nix

nix nixos type-system wip

Last synced: 20 Mar 2025

https://github.com/serradura/kind

A development toolkit for Ruby with several small/cohesive abstractions to empower your development workflow - It's totally free of dependencies.

activemodel-validations maybe-monad ruby rubygem type-checking type-system

Last synced: 05 Mar 2026

https://github.com/gergoerdi/tandoori

Compositional type checking for Haskell

haskell type-system typechecker

Last synced: 19 Apr 2025

https://github.com/tazjin/yants

Yet Another Nix Type System | Source has moved to https://git.tazj.in/tree/nix/yants

nix nixos nixpkgs type-safety type-system

Last synced: 01 Oct 2025

https://github.com/mgechev/typed-calc

Interpreter for simply typed lambda calculus implemented in JavaScript Ξ»

interpreter lambda-calculus type-system

Last synced: 30 Apr 2025

https://github.com/gfngfn/toy-macro-ml

An implementation of MacroML [Ganz, Sabry & Taha 2001]

macro multi-stage-programming ocaml type-checker type-system

Last synced: 29 Oct 2025

https://github.com/dannypsnl/plt-research

A collection of PLT researching

programming-language-theory type-system

Last synced: 11 Feb 2026

https://github.com/groupoid/anders

🧊 Модальний Π³ΠΎΠΌΠΎΡ‚ΠΎΠΏΡ–Ρ‡Π½ΠΈΠΉ Π²Π΅Ρ€ΠΈΡ„Ρ–ΠΊΠ°Ρ‚ΠΎΡ€ ΠΌΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΠΊΠΈ

cubical-type-theory dependent-types mltt proof-assistant theorem-prover type-checker type-system

Last synced: 01 May 2026

https://github.com/cristianoc/reinfer

Runtime Extended Inference for json data.

javascript json programming-language reason reasonml type-inference type-system

Last synced: 17 Oct 2025

https://github.com/cristianoc/REInfer

Runtime Extended Inference for json data.

javascript json programming-language reason reasonml type-inference type-system

Last synced: 07 May 2025

https://github.com/wdamron/poly

Hindley-Milner type system with extensible records and variants, implemented in Go

algorithm-w hindley-milner type-inference type-system type-theory

Last synced: 30 Apr 2025

https://github.com/arnobl/structural-typing-examples

Examples in various programming languages about how structural typing is supported

object-oriented programming-language structural-typing type-system

Last synced: 16 Feb 2026

https://github.com/dinanathsj29/typescript-tutorial

A Typescript fundamentals tutorials for beginners, An introduction & step-by-step guide to Typescript language latest features in combination with ECMAScript 5,6,7

access-modifiers classes const decorators ecmascript enum enumeration es5 es6 es7 inheritance interfaces let tuples type-inference type-system typescript typescript-framework typescript-library

Last synced: 27 Jul 2025

https://github.com/xp-framework/core

The XP Framework is an all-purpose, object oriented PHP framework.

annotations date-time enums generics io php php7 php8 php8-features reflection streams type-system unicode xp-framework

Last synced: 15 May 2025

https://github.com/ziman/ttstar

Dependently typed core calculus with erasure

dependent-types erasure functional-programming type-system typechecker

Last synced: 06 Jan 2026

https://github.com/isaacwoods/roo

Little toy programming language with an x86_64 code generator

language programming-language roo type-safety type-system

Last synced: 09 May 2025

https://github.com/matthesjh/coq-tal

Formalization of Typed Assembly Language (TAL) in Coq

assembler assembly coq language tal type-system

Last synced: 10 Apr 2025

https://github.com/abailly/xxi-century-typed

Support code for talk 'XXIst century shall be typed or not be'

dependent-types talk type-system

Last synced: 23 Apr 2025

https://github.com/pfnet-research/pml

A ML-like programming language with type-based probabilistic behavior specification, developed as part of PFN summer internship 2018.

model-checking probabilistic-model refinement-type type-system verification

Last synced: 13 Apr 2025

https://github.com/bynect/algorithm-w

Type inference implementation in OCaml using Algorithm W

functional-language functional-programming hindley-milner ocaml type-inference type-system

Last synced: 20 Oct 2025

https://github.com/khayyamsaleem/gradual-typing

an implementation of gradual typing in mit-scheme

gradual-typing scheme type-system

Last synced: 03 Feb 2026

https://github.com/slowli/arithmetic-parser

Versatile parser for arithmetic expressions

arithmetic-parser interpreter scripting type-system

Last synced: 17 Mar 2025

https://github.com/thoughtspile/type2type

Data structures in TypeScript type system. A Map that maps types to types! Types are in the trees!

static-typing type-system typescript

Last synced: 08 Oct 2025

https://github.com/mbdevpl/static-typing

Add static type information into Python abstract syntax trees.

dynamic-analysis static-analysis static-types statically-typed type-safety type-system

Last synced: 21 Aug 2025

https://github.com/lukeg101/mscprojectpublic

Masters Thesis, University of Oxford. Research project combining Calculating Compilers and Algebraic Effects using Haskell, supervised by Jeremy Gibbons. Presented work at the International Conference on Functional Programming Student Research Competition and the 7th South of England Regional Programming Languages Seminar.

algebraic-effects calculating-compilers compilers derivation haskell type-system

Last synced: 08 May 2025

https://github.com/comake/standard-sdk-js

Standard SDK is an open-source SDK that can integrate and interact with any API. It further facilitates interactions with multiple similar APIs through the use of abstractions similar to the common models presented by unified APIs.

api api-client api-rest api-wrapper common-model integration javascript sdk type-system typescript unified-api

Last synced: 14 Apr 2025

https://github.com/akxcv/thy

A minimal, strict runtime type system for Ruby

minimal runtime strict type-system

Last synced: 21 Mar 2025

https://github.com/lorenzleutgeb/atlas

Automated Amortised Complexity Analysis of Self-Adjusting Data Structures

amortized-analysis cav2021 splay-tree static-analysis type-system

Last synced: 29 Oct 2025

https://github.com/sdasgup3/dwarf-type-reader

Reading type information from debug info section of executable

binary-analysis decompilation dwarf llvm protobuf protocol-buffers type-system

Last synced: 12 Apr 2025

https://github.com/bynect/constraint-inference

OCaml implementation of a constraint-based bottom-up type inference algorithm

constraints type-checking type-inference type-system

Last synced: 20 Jun 2025

https://github.com/minoki/lambdaquest

An implementation of System F, System Fsub (F_{<:}) and Finter (F_∧)

haskell lambda-calculus type-system

Last synced: 13 Apr 2025

https://github.com/varkor/blog

A small blog about type theory and mathematics

mathematics rust type-system type-theory

Last synced: 29 Oct 2025

https://github.com/yubrot/titan

An experimental type checker implementation

haskell row-polymorphism type-system

Last synced: 23 Aug 2025

https://github.com/imteekay/programming-with-types

Notes and experiments from the book Programming with Types.

javascript node nodejs type-system types typescript

Last synced: 04 Mar 2026

https://github.com/wenkokke/paper-races-in-classical-linear-logic

wherein I describe deadlock and race-free session types with non-determinism

non-determinism paper process-calculus races type-system

Last synced: 24 Apr 2025

https://github.com/macmade/cpptraits

Collection of useful type traits for C++.

c-plus-plus sfinae trait type type-system

Last synced: 21 Aug 2025

https://github.com/bjoernloetters/noocleus-one

A minimal functional programming language with type inference, algebraic data types and pattern matching

algebraic-data-types functional-programming hindley-milner let-polymorphism pattern-matching polymorphism scala type-check type-inference type-system

Last synced: 18 Mar 2025

https://github.com/co-dan/seloc

Strong non-interference for fine-grained concurrent programs

coq coq-library iris noninterference program-verification separation-logic type-system

Last synced: 04 Apr 2025

https://github.com/kevalmorabia97/type-checking-for-c-language

Name, Internal Name and Structural Equivalence check for C language written in Java

c-language type-system

Last synced: 16 May 2026

https://github.com/pumpkinseed/ptr

Pointer referencer, dereferencer library

dereferencer-library pointer pointer-referencer type-system

Last synced: 14 Apr 2025