GitHub topics: type-system
AshGreyG/Algorithm-TsTs
♟️ Useful algorithms implemented by TsTs (TypeScript Type System)
Language: TypeScript - Size: 24.4 KB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 0 - Forks: 0
hashintel/hash
🚀 The open-source, multi-tenant, self-building knowledge graph
Language: TypeScript - Size: 338 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 1,192 - Forks: 89
morloc-project/morloc
A typed, polyglot, functional language
Language: Haskell - Size: 6.09 MB - Last synced at: 4 days ago - Pushed at: 5 days ago - Stars: 196 - Forks: 4
brimdata/zui
Zui is a powerful desktop application for exploring and working with data. The official front-end to the Zed lake.
Language: TypeScript - Size: 221 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 1,839 - Forks: 133
typedb/typeql
TypeQL: the power of programming, in your database
Language: Java - Size: 6.27 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 227 - Forks: 46
typedb/typedb
TypeDB: the power of programming, in your database
Language: Rust - Size: 104 MB - Last synced at: 6 days ago - Pushed at: 9 days ago - Stars: 3,973 - Forks: 344
imdea-software/htt
Hoare Type Theory
Language: Coq - Size: 549 KB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 75 - Forks: 5
type-challenges/type-challenges
Collection of TypeScript type challenges with online judge
Language: TypeScript - Size: 2.94 MB - Last synced at: 6 days ago - Pushed at: 19 days ago - Stars: 45,248 - Forks: 4,930
sinclairzx81/parsebox
Parser Combinators in the TypeScript Type System
Language: TypeScript - Size: 1.15 MB - Last synced at: 4 days ago - Pushed at: about 1 month ago - Stars: 85 - Forks: 2
unional/type-plus
Additional types and types adjusted utilities for TypeScript
Language: TypeScript - Size: 51.2 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 392 - Forks: 11
groupoid/anders
🧊 Модальний гомотопічний верифікатор математики
Language: OCaml - Size: 14.8 MB - Last synced at: 5 days ago - Pushed at: 10 days ago - Stars: 22 - Forks: 2
hirrolot/datatype99
Algebraic data types for C99
Language: C - Size: 1.15 MB - Last synced at: 5 days ago - Pushed at: about 2 months ago - Stars: 1,407 - Forks: 23
cucapra/filament
Fearless hardware design
Language: Verilog - Size: 5 MB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 175 - Forks: 10
dylan-profiler/visions
Type System for Data Analysis in Python
Language: Python - Size: 37.9 MB - Last synced at: 9 days ago - Pushed at: 3 months ago - Stars: 212 - Forks: 19
mistlog/typetype
A programming language designed for typescript type generation
Language: TypeScript - Size: 798 KB - Last synced at: 6 days ago - Pushed at: almost 3 years ago - Stars: 419 - Forks: 5
JuliaDynamics/LightSumTypes.jl
Easy-to-use sum types in Julia
Language: Julia - Size: 1.31 MB - Last synced at: about 3 hours ago - Pushed at: about 20 hours ago - Stars: 50 - Forks: 2
pikelet-lang/pikelet
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
Language: Rust - Size: 5.56 MB - Last synced at: 12 days ago - Pushed at: almost 4 years ago - Stars: 617 - Forks: 26
pidhii/opium
Language: C++ - Size: 896 KB - Last synced at: 16 days ago - Pushed at: 16 days ago - Stars: 0 - Forks: 0
vortico/flama
Fire up your models with the flame 🔥
Language: Python - Size: 6.53 MB - Last synced at: 1 day ago - Pushed at: about 1 month ago - Stars: 277 - Forks: 15
AshGreyG/To-Realize-Type-Challenges
💡 This is my learning repository of Type-Challenges 〈https://github.com/type-challenges/type-challenges〉
Language: TypeScript - Size: 50.8 KB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 0 - Forks: 0
xp-framework/core
The XP Framework is an all-purpose, object oriented PHP framework.
Language: PHP - Size: 46.2 MB - Last synced at: 21 days ago - Pushed at: 21 days ago - Stars: 19 - Forks: 6
josefs/Gradualizer
A Gradual type system for Erlang
Language: Erlang - Size: 4.47 MB - Last synced at: 4 days ago - Pushed at: 18 days ago - Stars: 619 - Forks: 35
haven-life/supertype
Supertype: Type System
Language: TypeScript - Size: 757 KB - Last synced at: 16 days ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 5
ronami/typelang
🌳 A tiny language interpreter implemented purely in TypeScript's type-system
Language: TypeScript - Size: 146 KB - Last synced at: 3 days ago - Pushed at: over 4 years ago - Stars: 300 - Forks: 0
polytypic/f-omega-mu
Fωμ type checker and compiler
Language: OCaml - Size: 1.79 MB - Last synced at: 11 days ago - Pushed at: over 2 years ago - Stars: 54 - Forks: 1
kit-ty-kate/labrys
A toy language based on LLVM that implements the System Fω type-system
Language: OCaml - Size: 4.48 MB - Last synced at: 3 days ago - Pushed at: over 1 year ago - Stars: 108 - Forks: 3
JamieMagee/type-challenges
Language: TypeScript - Size: 138 KB - Last synced at: 28 days ago - Pushed at: 28 days ago - Stars: 1 - Forks: 0
aatxe/witch-hazel
growing herbs in my garden
Language: Rust - Size: 32.2 KB - Last synced at: 11 days ago - Pushed at: 30 days ago - Stars: 0 - Forks: 0
gfngfn/toy-macro-ml
An implementation of MacroML [Ganz, Sabry & Taha 2001]
Language: OCaml - Size: 80.1 KB - Last synced at: about 1 month ago - Pushed at: over 6 years ago - Stars: 31 - Forks: 1
sdiehl/write-you-a-haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
Language: Haskell - Size: 938 KB - Last synced at: 28 days ago - Pushed at: over 4 years ago - Stars: 3,375 - Forks: 256
amilajack/reading
A list of computer-science readings I recommend
Size: 523 MB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 3,310 - Forks: 728
varkor/blog
A small blog about type theory and mathematics
Language: HTML - Size: 3.21 MB - Last synced at: about 1 month ago - Pushed at: about 1 year ago - Stars: 4 - Forks: 3
ronami/HypeScript
🐬 A simplified implementation of TypeScript's type system written in TypeScript's type system
Language: TypeScript - Size: 2.15 MB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 1,951 - Forks: 23
ronami/meta-typing
📚 Functions and algorithms implemented purely with TypeScript's type system
Language: TypeScript - Size: 1.63 MB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 1,566 - Forks: 26
typedgrammar/typed-japanese
🌸 Learn Japanese grammar with TypeScript
Language: TypeScript - Size: 181 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 1,541 - Forks: 15
deep-neural/nova-lang
High-level Programming Language For AI
Language: Go - Size: 1.91 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0
yeslogic/fathom
🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
Language: Rust - Size: 5.51 MB - Last synced at: 4 days ago - Pushed at: over 1 year ago - Stars: 263 - Forks: 12
milesbarr/hindley-milner-in-python
Hindley–Milner type inference implemented in Python.
Language: Python - Size: 5.86 KB - Last synced at: 18 days ago - Pushed at: almost 2 years ago - Stars: 13 - Forks: 1
Centril/refl
Provides a Refl encoding in Rust
Language: Rust - Size: 20.5 KB - Last synced at: 12 days ago - Pushed at: about 2 years ago - Stars: 68 - Forks: 3
dmx-systems/dmx-platform
DMX Knowledge Building Platform
Language: Java - Size: 19.5 MB - Last synced at: about 1 month ago - Pushed at: about 2 months ago - Stars: 86 - Forks: 28
wdamron/poly
Hindley-Milner type system with extensible records and variants, implemented in Go
Language: Go - Size: 185 KB - Last synced at: 12 days ago - Pushed at: over 4 years ago - Stars: 21 - Forks: 2
gergoerdi/tandoori
Compositional type checking for Haskell
Language: Haskell - Size: 332 KB - Last synced at: 22 days ago - Pushed at: about 14 years ago - Stars: 37 - Forks: 3
tazjin/yants 📦
Yet Another Nix Type System | Source has moved to https://git.tazj.in/tree/nix/yants
Size: 304 KB - Last synced at: 5 days ago - Pushed at: over 5 years ago - Stars: 38 - Forks: 2
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.
Language: C - Size: 3.38 MB - Last synced at: about 1 month ago - Pushed at: 7 months ago - Stars: 84 - Forks: 6
forked-from-1kasper/anders
Anders: Cubical Type Checker
Language: OCaml - Size: 4.02 MB - Last synced at: 18 days ago - Pushed at: over 1 year ago - Stars: 24 - Forks: 1
chakravala/DirectSum.jl
Tangent bundle, vector space and Submanifold definition
Language: Julia - Size: 219 KB - Last synced at: 28 days ago - Pushed at: 2 months ago - Stars: 50 - Forks: 4
php-type-language/parser
🧱 Library for parsing and validating TypeLang syntax and converting it into AST nodes
Language: PHP - Size: 2 MB - Last synced at: 29 days ago - Pushed at: 2 months ago - Stars: 49 - Forks: 2
sdleffler/tarpit-rs
A type-level implementation of Smallfuck in Rust, doubling as a Turing-completeness proof for Rust's type system.
Language: Rust - Size: 8.79 KB - Last synced at: about 1 month ago - Pushed at: about 8 years ago - Stars: 235 - Forks: 6
gfngfn/lw-staged-deptype
Language: Haskell - Size: 542 KB - Last synced at: about 1 month ago - Pushed at: 2 months ago - Stars: 3 - Forks: 0
slowli/arithmetic-parser
Versatile parser for arithmetic expressions
Language: Rust - Size: 3.32 MB - Last synced at: 24 days ago - Pushed at: 2 months ago - Stars: 11 - Forks: 3
dannypsnl/plt-research
A collection of PLT researching
Language: Racket - Size: 3.42 MB - Last synced at: about 2 months ago - Pushed at: 3 months ago - Stars: 29 - Forks: 0
comake/skl-playground
A playground for developers to experiment with and validate their Standard Knowledge Language Schemas
Language: TypeScript - Size: 26.6 MB - Last synced at: 2 months ago - Pushed at: about 2 years ago - Stars: 3 - Forks: 0
quasilyte/typ.el
Type inference framework for Emacs. Build better APIs, tools, linters and optimizers with type info!
Language: Emacs Lisp - Size: 32.2 KB - Last synced at: about 1 month ago - Pushed at: over 7 years ago - Stars: 2 - Forks: 0
ziman/ttstar
Dependently typed core calculus with erasure
Language: Idris - Size: 3.25 MB - Last synced at: about 2 months ago - Pushed at: over 3 years ago - Stars: 19 - Forks: 0
fc01/TypeGame
👾 Sokoban Game in Pure TypeScript Type System
Language: TypeScript - Size: 10.7 KB - Last synced at: about 2 months ago - Pushed at: over 3 years ago - Stars: 279 - Forks: 2
serradura/kind
A development toolkit for Ruby with several small/cohesive abstractions to empower your development workflow - It's totally free of dependencies.
Language: Ruby - Size: 425 KB - Last synced at: 28 days ago - Pushed at: over 2 years ago - Stars: 40 - Forks: 5
bynect/algorithm-w
Type inference implementation in OCaml using Algorithm W
Language: OCaml - Size: 58.6 KB - Last synced at: 30 days ago - Pushed at: over 3 years ago - Stars: 10 - Forks: 1
p2js/set-theory
rust type-system set theory
Language: Rust - Size: 8.79 KB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0
sdleffler/type-operators-rs
A macro for defining type operators in Rust.
Language: Rust - Size: 597 KB - Last synced at: 9 days ago - Pushed at: about 8 years ago - Stars: 65 - Forks: 2
imteekay/mini-typescript
A miniature model of the Typescript compiler
Language: TypeScript - Size: 192 KB - Last synced at: 7 days ago - Pushed at: 11 months ago - Stars: 35 - Forks: 0
omentic/chrysanthemum
A blossoming type system.
Language: Rust - Size: 2.95 MB - Last synced at: about 1 month ago - Pushed at: almost 2 years ago - Stars: 3 - Forks: 0
cicada-lang/cicada-plct
Cicada Language (PLCT little team)
Language: TypeScript - Size: 2.51 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 92 - Forks: 7
cicada-lang/cicada-solo
Cicada Language (solo version)
Language: TypeScript - Size: 6.83 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 128 - Forks: 5
Soonad/Formality-Core
Specification of the Formality proof and programming language
Language: JavaScript - Size: 604 KB - Last synced at: 15 days ago - Pushed at: over 2 years ago - Stars: 41 - Forks: 11
dragoncoder047/tinobsy
TINy OBject SYstem for C++. Garbage collector is included
Language: C++ - Size: 171 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 1 - Forks: 0
smart-rb/smart_types
A set of objects that acts like types (type checking and type casting) with a support for basic type algebra.
Language: Ruby - Size: 268 KB - Last synced at: 27 days ago - Pushed at: 5 months ago - Stars: 17 - Forks: 4
dinanathsj29/typescript-tutorial
A Typescript fundamentals tutorials for beginners, An introduction & step-by-step guide to Typescript language latest features in combination with ECMAScript 5,6,7
Language: JavaScript - Size: 98.6 KB - Last synced at: 30 days ago - Pushed at: almost 6 years ago - Stars: 20 - Forks: 18
chakravala/AbstractTensors.jl
Tensor algebra abstract type interoperability setup
Language: Julia - Size: 106 KB - Last synced at: 29 days ago - Pushed at: 6 months ago - Stars: 43 - Forks: 5
sobakavosne/scala-interview
Short overview Scala lang
Language: Scala - Size: 69.3 KB - Last synced at: 2 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0
smart-rb/smart_type-system
(in active development) Abstract object-based TypeSystem interface with a support for various commonly used runtime-based type systems (smart-types, thy-types and others). Allows you to use any runtime type system in any Ruby project <easily>.
Language: Ruby - Size: 14.6 KB - Last synced at: about 1 month ago - Pushed at: 6 months ago - Stars: 10 - Forks: 0
gfngfn/Sesterl
An ML-like statically-typed Erlang
Language: OCaml - Size: 1.19 MB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 152 - Forks: 5
minoki/LambdaQuest
An implementation of System F, System Fsub (F_{<:}) and Finter (F_∧)
Language: Haskell - Size: 91.8 KB - Last synced at: 7 minutes ago - Pushed at: over 7 years ago - Stars: 5 - Forks: 1
mbdevpl/static-typing
Add static type information into Python abstract syntax trees.
Language: Python - Size: 153 KB - Last synced at: 23 days ago - Pushed at: almost 6 years ago - Stars: 8 - Forks: 2
MateuszKubuszok/FromTypeToKindProjector
Presentation I gave on Krakow Scala User Group
Language: CSS - Size: 1.67 MB - Last synced at: about 2 months ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0
paul-go/Truth
A Domain Representation Language
Language: TypeScript - Size: 18.1 MB - Last synced at: 3 days ago - Pushed at: almost 5 years ago - Stars: 24 - Forks: 4
bynect/constraint-inference
OCaml implementation of a constraint-based bottom-up type inference algorithm
Language: OCaml - Size: 129 KB - Last synced at: 30 days ago - Pushed at: over 3 years ago - Stars: 5 - Forks: 0
0exp/smart_core 📦
[ARCHIVED] [[The project is totally redesigned as @smart-rb https://github.com/smart-rb]] Powerful set of common abstractions: Service Object (Operation), IoC Container (Dependency Container), Validation Object, Initialization DSL (and more..) (in active development)
Language: Ruby - Size: 3.18 MB - Last synced at: 27 days ago - Pushed at: almost 3 years ago - Stars: 9 - Forks: 4
madmann91/fir
Functional IR
Language: C - Size: 711 KB - Last synced at: about 1 month ago - Pushed at: 12 months ago - Stars: 2 - Forks: 1
moea/types
Type System Modeling in Clojure
Language: Clojure - Size: 50.8 KB - Last synced at: 5 days ago - Pushed at: 9 months ago - Stars: 6 - Forks: 0
MaxDesiatov/Typology
Swift type checking and semantic analysis for developer tools
Language: Swift - Size: 186 KB - Last synced at: 23 days ago - Pushed at: about 3 years ago - Stars: 81 - Forks: 5
MarcinBrojek/zpo-mgr
Explore dynamic code analysis in an interpreter for a language that allows on-the-fly customization of syntax rules, small-step operational semantics, and typing. This project facilitates real-time modifications to language interpretation, empowering users to adapt coding experiences according to specific needs.
Language: Python - Size: 1.94 MB - Last synced at: about 2 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0
AbdelrahmanAboulfotouh/Programming-Languages-Course-University-of-Washington
My homework solutions to the Programming Languages course by University of Washington , that teaches the fundamental concepts and paradigms of programming languages .
Language: Standard ML - Size: 384 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0
contrast-zone/t-rewriter.js
(experimental) Conceptual s-expression based typed term graph rewriting system
Language: JavaScript - Size: 1.34 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 29 - Forks: 3
LionelAuroux/pyrser
A PEG Parsing Tool
Language: Python - Size: 2.25 MB - Last synced at: 15 days ago - Pushed at: about 4 years ago - Stars: 36 - Forks: 8
michaelsippel/lib-laddertypes
Rust Implementation of Ladder-Types (parsing, unification, rewriting, etc)
Language: Rust - Size: 109 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0
loredanacirstea/articles
Articles
Size: 8.54 MB - Last synced at: about 1 month ago - Pushed at: about 2 years ago - Stars: 20 - Forks: 3
typedb/typeql-lang-java 📦
TypeQL language library for Java
Language: Java - Size: 1.34 MB - Last synced at: 10 months ago - Pushed at: almost 3 years ago - Stars: 9 - Forks: 5
Zeta611/stappl
🎲 Statically typed probabilistic programming language, feat. GADT
Language: OCaml - Size: 835 KB - Last synced at: about 1 month ago - Pushed at: 11 months ago - Stars: 3 - Forks: 1
akxcv/thy
A minimal, strict runtime type system for Ruby
Language: Ruby - Size: 19.5 KB - Last synced at: about 1 month ago - Pushed at: about 2 years ago - Stars: 7 - Forks: 1
BjoernLoetters/noocleus-one
A minimal functional programming language with type inference, algebraic data types and pattern matching
Language: Scala - Size: 29.3 KB - Last synced at: about 2 months ago - Pushed at: about 6 years ago - Stars: 4 - Forks: 0
comake/standard-sdk-js
Standard SDK is an open-source SDK that can integrate and interact with any API. It further facilitates interactions with multiple similar APIs through the use of abstractions similar to the common models presented by unified APIs.
Language: TypeScript - Size: 2.15 MB - Last synced at: 20 days ago - Pushed at: over 1 year ago - Stars: 7 - Forks: 1
wenkokke/paper-races-in-classical-linear-logic 📦
wherein I describe deadlock and race-free session types with non-determinism
Language: Agda - Size: 9.29 MB - Last synced at: 17 days ago - Pushed at: over 4 years ago - Stars: 4 - Forks: 1
sdasgup3/dwarf-type-reader
Reading type information from debug info section of executable
Language: C++ - Size: 83 KB - Last synced at: 29 days ago - Pushed at: over 6 years ago - Stars: 5 - Forks: 2
rtlevy/SeniorInitiative
Programming work for my Senior Initiative project
Language: Haskell - Size: 40 KB - Last synced at: 12 months ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0
andgate/type-theory-compiler
Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficient LLVM IR.
Language: Haskell - Size: 235 KB - Last synced at: 12 months ago - Pushed at: almost 6 years ago - Stars: 42 - Forks: 0
Hirrolot/interface99
Full-featured interfaces for C99
Language: C - Size: 412 KB - Last synced at: 12 months ago - Pushed at: about 1 year ago - Stars: 277 - Forks: 13
thufschmitt/tix
[WIP] A type system for nix
Language: OCaml - Size: 266 KB - Last synced at: about 1 month ago - Pushed at: almost 6 years ago - Stars: 61 - Forks: 1
IsaacWoods/Roo
Little toy programming language with an x86_64 code generator
Language: C++ - Size: 2.42 MB - Last synced at: 3 days ago - Pushed at: over 7 years ago - Stars: 17 - Forks: 1
cahirwpz/phd
All stuff related to my PhD.
Language: OCaml - Size: 813 KB - Last synced at: 12 months ago - Pushed at: about 8 years ago - Stars: 2 - Forks: 2
antononcube/Raku-Data-TypeSystem
Data type system for different data structures.
Language: Raku - Size: 36.1 KB - Last synced at: about 1 month ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0
