type-system

There are 20 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 46952
typedb
typedb / typedb
TypeDB: the power of programming, in your database
database inference knowledge-base knowledge-representation logic polymorphic polymorphism reasoning strongly-typed type-system typedb typeql
Language:Rust 4098
sdiehl / write-you-a-haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
book compiler evaluation functional-language functional-programming haskel hindley-milner intermediate-representation lambda-calculus pdf-book type type-checking type-inference type-system type-theory
Language:Haskell 3446
amilajack / reading
A list of computer-science readings I recommend
academia compiler computer-science concurrency garbage-collection operating-system parallel-computing reading research science static-analysis type-system
3423
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 1963
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 1902
typedgrammar / typed-japanese
🌸 Learn Japanese grammar with TypeScript
computational-linguistics dsl grammar japanese japanese-grammar language-learning language-verification nlp type-level-programming type-system typescript typescript-types
Language:TypeScript 1894
ronami / meta-typing
📚 Functions and algorithms implemented purely with TypeScript's type system
typescript recursion example algorithms learning functional type-system
Language:TypeScript 1576
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 1462
hashintel / hash
🚀 The open-source, multi-tenant, self-building knowledge graph
hash rust typescript graph superapp ai database type-system
Language:Rust 1366
pikelet-lang / pikelet
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
dependent-types typechecker type-theory programming-language type-system bidirectional-typechecking rust dependent-record-types dependent-records systems-language systems-programming compiler
Language:Rust 625
josefs / Gradualizer
A Gradual type system for Erlang
erlang type-system typesystem
Language:Erlang 618
mistlog / typetype
A programming language designed for typescript type generation
type type-system types typescript
Language:TypeScript 423
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 404
typechecker-zoo
sdiehl / typechecker-zoo
A menagerie of cute implementations of modern typechecking algorithms
compiler dependent-types type-inference type-system type-theory
Language:Rust 342
hirrolot / interface99
Full-featured interfaces for C99
metaprogramming type-system c99 typeclasses dynamic-dispatch oop object-oriented polymorphism metalang99 macros generic-programming
Language:C 331
ronami / typelang
🌳 A tiny language interpreter implemented purely in TypeScript's type-system
typescript functional-programming learning compiler recursion type-system
Language:TypeScript 304
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 286
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 285
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
Language:Rust 266
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
Language:Rust 238
typeql
typedb / typeql
TypeQL: the power of programming, in your database
reasoning query-language query inference logic database typedb typeql type-system strongly-typed polymorphic polymorphism
Language:Rust 235
dylan-profiler / visions
Type System for Data Analysis in Python
data-science python type-system data-analysis type-inference hacktoberfest pandas spark numpy
Language:Python 214
morloc-project / morloc
A typed, polyglot, functional language
programming-language type-system interoperability ontologies functional-language language code-generation polyglot
Language:Haskell 205
cucapra / filament
Fearless hardware design
fpga hardware-accelerator hardware-description-language type-system
Language:Verilog 183
libgimbal
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 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 175
gfngfn / Sesterl
An ML-like statically-typed Erlang
actor-model concurrent-programming erlang f-ing-modules module-system monad ocaml process-calculus programming-language sesterl statically-typed type-system
Language:OCaml 156
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 129
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 112
parsebox
sinclairzx81 / parsebox
Parser Combinators in the TypeScript Type System
combinators parser type-system typescript
Language:TypeScript 101
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 100
we-data-ch / typr
A safer complement of R, the legendary programming language for statistic and datasciences !
programming-language r statistics type type-system
Language:Rust 96
cicada-lang / cicada-plct
Cicada Language (PLCT little team)
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 94
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
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 88
imdea-software / htt
Hoare Type Theory
coq hoare-logic hoare-monads linked-list separation-logic type-system
Language:Rocq Prover 83