type-system

Star

Here are 289 public repositories matching this topic...

Language:All

Filter by language

All289 Rust37 TypeScript37 Haskell29 OCaml25 Python16 C++14 Ruby11 Java10 C8 JavaScript8

Sort:Most stars

Sort options

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

type-challenges /type-challenges

Star47.7k

Collection of TypeScript type challenges with online judge

typescript challenges type type-system

UpdatedFeb 1, 2026
TypeScript

typedb /typedb

Star4.2k

TypeDB: Built for systems, not records

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

UpdatedFeb 20, 2026
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

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

UpdatedFeb 3, 2026
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

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 platform for self-building knowledge graphs and simulation

rust typescript database ai graph simulation hash type-system

UpdatedFeb 20, 2026
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

Star407

Additional types and types adjusted utilities for TypeScript

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

UpdatedFeb 18, 2026
TypeScript

sdiehl /typechecker-zoo

Star388

A menagerie of cute implementations of modern typechecking algorithms

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

UpdatedJan 26, 2026
Rust

hirrolot /interface99

Star340

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

Star309

🌳 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

Star288

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

UpdatedFeb 13, 2026
Python

fc01 /TypeGame

Star284

👾 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

Star268

🚧 (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