type-system

There are 17 repositories under type-system topic.

type-challenges
type-challenges / type-challenges
Collection of TypeScript type challenges with online judge
challenges type type-system typescript
Language:TypeScript 39923
typedb
vaticle / typedb
TypeDB: the polymorphic database powered by types
database knowledge-base knowledge-representation reasoning logic inference typedb typeql type-system strongly-typed polymorphic polymorphism
Language:Java 3669
sdiehl / write-you-a-haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
haskel compiler book evaluation lambda-calculus type type-checking type-system pdf-book functional-programming functional-language hindley-milner type-inference type-theory intermediate-representation
Language:Haskell 3308
amilajack / reading
A list of computer-science readings I recommend
reading science academia research computer-science compiler type-system concurrency parallel-computing operating-system static-analysis garbage-collection
2856
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
Language:TypeScript 1898
brimdata / zui
Zui is a powerful desktop application for exploring and working with data. The official front-end to the Zed lake.
data zed csv data-analytics data-viz data-wrangling electron-app json-inspector keyword-search table-view type-system zng zq zui super-structured-data
Language:TypeScript 1731
ronami / meta-typing
📚 Functions and algorithms implemented purely with TypeScript's type system
algorithms example functional learning recursion type-system typescript
Language:TypeScript 1527
Hirrolot / datatype99
Algebraic data types for C99
type-system algebraic-data-types c99 sum-types reflection-library introspection variant adt algebraic tagged-unions pattern-matching metaprogramming derive metalang99
Language:C 791
pikelet-lang / pikelet
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
bidirectional-typechecking compiler dependent-record-types dependent-records dependent-types programming-language rust systems-language systems-programming type-system type-theory typechecker
Language:Rust 607
josefs / Gradualizer
A Gradual type system for Erlang
typesystem type-system erlang
Language:Erlang 606
mistlog / typetype
A programming language designed for typescript type generation
type type-system types typescript
Language:TypeScript 408
unional / type-plus
Additional types and types adjusted utilities for TypeScript
typescript type-system typescript-definitions types utilities npm-package type-level-programming
Language:TypeScript 350
TypeGame
fc01 / TypeGame
👾 Sokoban Game in Pure TypeScript Type System
typesystem typescript compiletime string-literals vscode type-system type typescript4 template-literal-types visual-studio-code type-gymnastics sokoban sokoban-game unicode ascii-game
Language:TypeScript 275
Hirrolot / interface99
Full-featured interfaces for C99
c99 dynamic-dispatch generic-programming macros metalang99 metaprogramming object-oriented oop polymorphism type-system typeclasses
Language:C 266
yeslogic / fathom
🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
data-description-language binary-format language statically-typed declarative parser rust dsl binary-data type-system type-checker dependent-types dependent-record-types compiler programming-language
Language:Rust 256
flama
vortico / flama
Fire up your models with the flame 🔥
starlette dependency-injection api type-system openapi swagger components marshmallow apispec crud starlette-api schema rest restful machine-learning ml-ops
Language:Python 254
sdleffler / tarpit-rs
A type-level implementation of Smallfuck in Rust, doubling as a Turing-completeness proof for Rust's type system.
types rust rust-language type-system turing-completeness turing-tarpit
Language:Rust 219
typeql
vaticle / typeql
TypeQL: the polymorphic query language of TypeDB
reasoning query-language query inference logic database typedb typeql type-system strongly-typed polymorphic polymorphism
Language:Java 211
ronami / typelang
🌳 A tiny language interpreter implemented purely in TypeScript's type-system
compiler functional-programming learning recursion type-system typescript
Language:TypeScript 210
dylan-profiler / visions
Type System for Data Analysis in Python
data-analysis data-science hacktoberfest numpy pandas python spark type-inference type-system
Language:Python 198
morloc-project / morloc
A typed, polyglot, functional language
programming-language type-system interoperability ontologies functional-language language code-generation polyglot
Language:Haskell 193
gfngfn / Sesterl
An ML-like statically-typed Erlang
erlang process-calculus actor-model type-system ocaml monad concurrent-programming f-ing-modules module-system statically-typed programming-language sesterl
Language:OCaml 150
cicada-lang / cicada-solo
Cicada Language (solo version)
programming-language dependent-type-theory language repl dependent-types dependent-record-types theorem-prover prover interactive-theorem-proving type-theory type-system cicada
Language:TypeScript 126
cucapra / filament
Fearless hardware design
fpga hardware-accelerator hardware-description-language type-system
Language:Verilog 124
kit-ty-kate / labrys
A toy language based on LLVM that implements the System Fω type-system
llvm ocaml programming-language compiler language type-system
Language:OCaml 101
VoliJS / NestedTypes
BackboneJS compatibility layer for Type-R data framework.
backbone nestedtypes data-management models reactive-programming type-system serialization schema-validation observable
Language:HTML 94
cicada-lang / cicada
Cicada Language
cicada dependent-record-types dependent-type-theory dependent-types interactive-theorem-proving language programming-language prover repl theorem-prover type-system type-theory
Language:TypeScript 92
brendanzab / rust-nbe-for-mltt
Normalization by evaluation for Martin-Löf Type Theory with dependent records
rust dependent-types normalization-by-evaluation bidirectional-typechecking semantic-typechecking type-theory dependent-record-types dependent-records debruijn-indices type-system type-checker unification type-inference
Language:Rust 90
dmx-systems / dmx-platform
DMX Knowledge Building Platform
knowledge-graph desktop-ui window-less stable-views multi-user type-system application-server access-control rest-api plugin-architecture hot-reloading java osgi neo4j lucene web-application html5 javascript vuejs vuex
Language:Java 83
MaxDesiatov / Typology
Swift type checking and semantic analysis for developer tools
hindley-milner type-checking type-inference type-checker type-system swift developer-tools semantic-analysis semantic-analyzer
Language:Swift 80
Centril / refl
Provides a Refl encoding in Rust
gadt propositional-logic rust type-system
Language:Rust 67
imdea-software / htt
Hoare Type Theory
hoare-logic hoare-monads separation-logic coq linked-list type-system
Language:Coq 65
sdleffler / type-operators-rs
A macro for defining type operators in Rust.
rust macros dsl type-system type-level-programming type-level
Language:Rust 63
libgimbal
gyrovorbis / libgimbal
C17-based extended standard library, cross-language type system, and unit testing framework targeting Sega Dreamcast, Sony PSP and PSVita, Windows, Mac, Linux, Android, iOS, and WebAssembly.
algorithms allocators c containers core dreamcast object-oriented-c type-system unit-testing utility-library psvita language-interoperability standard-library psvita-homebrew psp psp-sdk stl-c stl-containers
Language:C 60
thufschmitt / tix
[WIP] A type system for nix
nix nixos type-system wip
Language:OCaml 60
polytypic / f-omega-mu
Fωμ type checker and compiler
type-system hobby-project wip equirecursive-types structural-types higher-kinded-types impredicative-types
Language:OCaml 51