type-system

Star

Here are 271 public repositories matching this topic...

Language:All

Filter by language

All271 TypeScript34 Rust32 Haskell29 OCaml25 C++14 Python14 Ruby10 Java8 JavaScript8 Scala8

Sort:Most stars

Sort options

Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated

type-challenges /type-challenges

Star47.3k

Collection of TypeScript type challenges with online judge

typescript challenges type type-system

UpdatedDec 14, 2025
TypeScript

typedb /typedb

Star4.1k

TypeDB: the power of programming, in your database

database polymorphic logic inference polymorphism knowledge-base type-system strongly-typed knowledge-representation reasoning typedb typeql

UpdatedDec 17, 2025
Rust

sdiehl /write-you-a-haskell

Star3.5k

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

compiler functional-programming book lambda-calculus evaluation type-theory type pdf-book type-checking haskel type-system functional-language hindley-milner type-inference intermediate-representation

UpdatedJan 11, 2021
Haskell

amilajack /reading

Sponsor

Star3.5k

A list of computer-science readings I recommend

computer-science science research compiler static-analysis concurrency parallel-computing reading garbage-collection operating-system type-system academia

UpdatedAug 30, 2022

ronami /HypeScript

Star2k

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

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

UpdatedFeb 7, 2025
TypeScript

typedgrammar /typed-japanese

Star1.9k

🌸 Learn Japanese grammar with TypeScript

nlp typescript dsl japanese grammar language-learning computational-linguistics type-system type-level-programming language-verification typescript-types japanese-grammar

UpdatedMar 29, 2025
TypeScript

brimdata /zui

Star1.9k

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

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

UpdatedDec 16, 2025
TypeScript

ronami /meta-typing

Star1.6k

📚 Functions and algorithms implemented purely with TypeScript's type system

learning typescript functional algorithms example recursion type-system

UpdatedDec 5, 2022
TypeScript

hirrolot /datatype99

Star1.5k

Algebraic data types for C99

pattern-matching c99 metaprogramming algebraic-data-types introspection adt type-system variant derive algebraic sum-types reflection-library tagged-unions metalang99

UpdatedMar 17, 2025
C

hashintel /hash

Star1.4k

🚀 The open-source, multi-tenant, self-building knowledge graph

rust typescript database ai graph hash type-system superapp

UpdatedDec 17, 2025
Rust

pikelet-lang /pikelet

Star630

A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧

programming-language rust typechecker dependent-types compiler type-theory systems-language type-system systems-programming bidirectional-typechecking dependent-record-types dependent-records

UpdatedMay 16, 2021
Rust

josefs /Gradualizer

Star620

A Gradual type system for Erlang

erlang type-system typesystem

UpdatedApr 23, 2025
Erlang

mistlog /typetype

Star422

A programming language designed for typescript type generation

typescript types type type-system

UpdatedJun 4, 2022
TypeScript

unional /type-plus

Star405

Additional types and types adjusted utilities for TypeScript

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

UpdatedDec 15, 2025
TypeScript

sdiehl /typechecker-zoo

Star359

A menagerie of cute implementations of modern typechecking algorithms

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

UpdatedDec 10, 2025
Rust

hirrolot /interface99

Star332

Full-featured interfaces for C99

c99 oop metaprogramming macros generic-programming object-oriented polymorphism typeclasses type-system dynamic-dispatch metalang99

UpdatedMar 17, 2025
C

ronami /typelang

Star304

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

learning typescript compiler functional-programming recursion type-system

UpdatedOct 28, 2020
TypeScript

vortico /flama

Star287

Fire up your models with the flame 🔥

api components machine-learning crud schema rest dependency-injection restful swagger openapi marshmallow type-system apispec starlette ml-ops starlette-api

UpdatedNov 26, 2025
Python

fc01 /TypeGame

Star285

👾 Sokoban Game in Pure TypeScript Type System

unicode typescript vscode visual-studio-code ascii-game sokoban string-literals type type-system sokoban-game typesystem compiletime typescript4 template-literal-types type-gymnastics

UpdatedNov 5, 2021
TypeScript

yeslogic /fathom

Star266

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

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

UpdatedSep 6, 2023
Rust

Improve this page

Add a description, image, and links to thetype-system topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with thetype-system topic, visit your repo's landing page and select "manage topics."

Learn more

Movatterモバイル変換

Navigation Menu

Search code, repositories, users, issues, pull requests...

Provide feedback

Saved searches

Use saved searches to filter your results more quickly