Top type-system open source projects

TypeDB: a strongly-typed database

✭ 2,947

java Starlark database graph knowledge-graph inference graph-database knowledge-base graph-theory logic graphdb type-system strongly-typed graph-visualisation relational knowledge-representation reasoning enterprise-knowledge-graph hyper-relational typedb typeql

Reading

A list of computer-science readings I recommend

✭ 1,919

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

Type Challenges

Collection of TypeScript type challenges with online judge

✭ 10,812

typescript HTML CSS shell challenges type-system

Write You A Haskell

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

core

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

✭ 13

PHP unicode annotations streams generics io date-time type-system enums xp-framework php8 php8-features

typeql

TypeQL: the query language of TypeDB - a strongly-typed database

✭ 157

Starlark ANTLR query database logic inference type-system strongly-typed query-language reasoning typedb typeql

REInfer

Runtime Extended Inference for json data.

✭ 23

reason HTML CSS javascript json type-system reasonml type-inference

tix

[WIP] A type system for nix

✭ 59

ocaml Nix Makefile nix nixos wip type-system

visions

Type System for Data Analysis in Python

✭ 136

python HTML TeX Makefile Jupyter Notebook Batchfile data-science spark numpy pandas data-analysis type-system type-inference hacktoberfest

Typology

Swift type checking and semantic analysis for developer tools

✭ 68

swift shell developer-tools type-checking type-system hindley-milner type-inference semantic-analysis type-checker semantic-analyzer

floweret

Runtime type annotations for CoffeeScript (and JavaScript too!)

✭ 20

coffeescript javascript runtime type-checking type-system type-annotations native-javascript-types

TypeGame

👾 Sokoban Game in Pure TypeScript Type System

✭ 222

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

typedb

TypeDB: a strongly-typed database

anders

🧊 Модальний Гомотопічний Прувер

✭ 5

Pug ocaml cubical-type-theory type-system theorem-prover type-checker mltt

yants

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

✭ 35

nix nixos nixpkgs type-safety type-system

cicada

Cicada Language

✭ 9

typescript repl type-theory type-system cicada prover interactive-theorem-proving theorem-prover dependent-record-types dependent-type-theory

ftor

ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.

type-operators-rs

A macro for defining type operators in Rust.

✭ 56

rust type-system type-level type-level-programming

plt-research

A collection of PLT researching

✭ 29

racket Agda haskell ocaml Makefile type-system programming-language-theory

pyrser

A PEG Parsing Tool

✭ 32

python TeX parser tree parsing matching typing parsing-expression-grammar peg type-checking type-system type-checker tree-matching

kanji

A strongly typed GraphQL API framework

✭ 12

ruby HTML graphql functional api-server graphql-server type-safety type-system graphql-api graphql-ruby

coq-tal

Formalization of Typed Assembly Language (TAL) in Coq

✭ 15

Coq shell coq type-system tal

Truth

A Domain Representation Language

✭ 23

typescript shell format type-safety type-system meta-programming meta-language homoiconic

f-omega-mu

Fωμ type checker and compiler

✭ 46

ocaml shell wip type-system hobby-project higher-kinded-types equirecursive-types structural-types impredicative-types

Top 24 type-system open source projects