GitHub topics: type-system
ecere/eC
eC Software Development Kit
Language: eC - Size: 1.76 MB - Last synced at: about 9 hours ago - Pushed at: about 9 hours ago - Stars: 1 - Forks: 0
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: 2 days ago - Pushed at: 3 days ago - Stars: 1,849 - Forks: 133
unional/type-plus
Additional types and types adjusted utilities for TypeScript
Language: TypeScript - Size: 51.1 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 393 - Forks: 11
typedb/typedb
TypeDB: the power of programming, in your database
Language: Rust - Size: 103 MB - Last synced at: 2 days ago - Pushed at: 5 days ago - Stars: 3,999 - Forks: 344
typedb/typeql
TypeQL: the power of programming, in your database
Language: Rust - Size: 6.28 MB - Last synced at: 3 days ago - Pushed at: 12 days ago - Stars: 229 - Forks: 47
hashintel/hash
🚀 The open-source, multi-tenant, self-building knowledge graph
Language: TypeScript - Size: 344 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 1,223 - Forks: 94
pidhii/opium
Language: C++ - Size: 380 KB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 0 - Forks: 0
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.39 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 85 - Forks: 8
imdea-software/htt
Hoare Type Theory
Language: Rocq Prover - Size: 560 KB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 76 - Forks: 5
JuliaDynamics/LightSumTypes.jl
Easy-to-use sum types in Julia
Language: Julia - Size: 1.21 MB - Last synced at: 8 days ago - Pushed at: 14 days ago - Stars: 56 - Forks: 2
AshGreyG/Algorithm-TsTs
♟️🤖 Useful algorithms implemented by TsTs (TypeScript Type System)
Language: TypeScript - Size: 58.6 KB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 0 - Forks: 0
vortico/flama
Fire up your models with the flame 🔥
Language: Python - Size: 6.85 MB - Last synced at: 12 days ago - Pushed at: about 1 month ago - Stars: 278 - Forks: 15
sdleffler/type-operators-rs
A macro for defining type operators in Rust.
Language: Rust - Size: 597 KB - Last synced at: 13 days ago - Pushed at: over 8 years ago - Stars: 64 - Forks: 2
michaelsippel/lib-laddertypes
Rust Implementation of Ladder-Types (parsing, unification, rewriting, etc)
Language: Rust - Size: 154 KB - Last synced at: 21 days ago - Pushed at: 21 days ago - Stars: 1 - Forks: 0
gfngfn/lw-staged-deptype
Language: Haskell - Size: 663 KB - Last synced at: 22 days ago - Pushed at: 22 days ago - Stars: 3 - Forks: 0
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: 8 days ago - Pushed at: almost 2 years ago - Stars: 109 - Forks: 3
groupoid/anders
🧊 Модальний гомотопічний верифікатор математики
Language: OCaml - Size: 14.8 MB - Last synced at: 3 days ago - Pushed at: 23 days ago - Stars: 22 - Forks: 2
morloc-project/morloc
A typed, polyglot, functional language
Language: Haskell - Size: 6.13 MB - Last synced at: 22 days ago - Pushed at: 23 days ago - Stars: 196 - Forks: 4
type-challenges/type-challenges
Collection of TypeScript type challenges with online judge
Language: TypeScript - Size: 2.97 MB - Last synced at: 24 days ago - Pushed at: 24 days ago - Stars: 45,498 - Forks: 4,953
rotmh/sudoku-checker
A compile time sudoku checker, using only the type system.
Language: Rust - Size: 0 Bytes - Last synced at: 25 days ago - Pushed at: 25 days ago - Stars: 0 - Forks: 0
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: 24 days ago - Pushed at: over 4 years ago - Stars: 3,379 - Forks: 256
sinclairzx81/parsebox
Parser Combinators in the TypeScript Type System
Language: TypeScript - Size: 1.19 MB - Last synced at: 27 days ago - Pushed at: about 1 month ago - Stars: 86 - Forks: 2
mistlog/typetype
A programming language designed for typescript type generation
Language: TypeScript - Size: 798 KB - Last synced at: 28 days ago - Pushed at: about 3 years ago - Stars: 421 - Forks: 5
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: 4 months ago - Stars: 1,954 - Forks: 23
hirrolot/interface99
Full-featured interfaces for C99
Language: C - Size: 347 KB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 324 - Forks: 14
hirrolot/datatype99
Algebraic data types for C99
Language: C - Size: 1.15 MB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 1,413 - Forks: 23
imteekay/mini-typescript
A miniature model of the Typescript compiler
Language: TypeScript - Size: 192 KB - Last synced at: 3 days ago - Pushed at: 12 months ago - Stars: 34 - Forks: 0
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,569 - Forks: 26
cucapra/filament
Fearless hardware design
Language: Verilog - Size: 5 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 175 - Forks: 10
dylan-profiler/visions
Type System for Data Analysis in Python
Language: Python - Size: 37.9 MB - Last synced at: 6 days ago - Pushed at: 5 months ago - Stars: 212 - Forks: 19
pikelet-lang/pikelet
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
Language: Rust - Size: 5.56 MB - Last synced at: about 2 months ago - Pushed at: about 4 years ago - Stars: 617 - Forks: 26
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: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0
xp-framework/core
The XP Framework is an all-purpose, object oriented PHP framework.
Language: PHP - Size: 46.3 MB - Last synced at: 20 days ago - Pushed at: 2 months ago - Stars: 19 - Forks: 6
josefs/Gradualizer
A Gradual type system for Erlang
Language: Erlang - Size: 4.47 MB - Last synced at: 29 days ago - Pushed at: about 2 months ago - Stars: 619 - Forks: 35
haven-life/supertype
Supertype: Type System
Language: TypeScript - Size: 757 KB - Last synced at: 13 days ago - Pushed at: over 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: about 1 month 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: about 2 months ago - Pushed at: over 2 years ago - Stars: 54 - Forks: 1
JamieMagee/type-challenges
Language: TypeScript - Size: 138 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 1 - Forks: 0
aatxe/witch-hazel
growing herbs in my garden
Language: Rust - Size: 32.2 KB - Last synced at: about 2 months ago - Pushed at: 2 months 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: 2 months ago - Pushed at: over 6 years ago - Stars: 31 - Forks: 1
amilajack/reading
A list of computer-science readings I recommend
Size: 523 MB - Last synced at: 3 months ago - Pushed at: almost 3 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: 2 months ago - Pushed at: over 1 year ago - Stars: 4 - Forks: 3
typedgrammar/typed-japanese
🌸 Learn Japanese grammar with TypeScript
Language: TypeScript - Size: 181 KB - Last synced at: 3 months ago - Pushed at: 3 months 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: 3 months ago - Pushed at: 3 months 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: 28 days ago - Pushed at: almost 2 years 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: about 2 months ago - Pushed at: about 2 years ago - Stars: 13 - Forks: 1
Centril/refl
Provides a Refl encoding in Rust
Language: Rust - Size: 20.5 KB - Last synced at: 6 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: 29 days ago - Pushed at: 3 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: about 2 months 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: 2 months 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: about 17 hours ago - Pushed at: over 5 years ago - Stars: 38 - Forks: 2
rzrn/anders
Anders: Cubical Type Checker
Language: OCaml - Size: 4.02 MB - Last synced at: about 1 month 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: 7 days ago - Pushed at: 3 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: about 1 month ago - Pushed at: 3 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: 2 months ago - Pushed at: about 8 years ago - Stars: 235 - Forks: 6
slowli/arithmetic-parser
Versatile parser for arithmetic expressions
Language: Rust - Size: 3.32 MB - Last synced at: 1 day ago - Pushed at: 4 months ago - Stars: 11 - Forks: 3
dannypsnl/plt-research
A collection of PLT researching
Language: Racket - Size: 3.42 MB - Last synced at: 3 months ago - Pushed at: 4 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: 4 months ago - Pushed at: over 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: 3 months ago - Pushed at: over 7 years ago - Stars: 2 - Forks: 0
yubrot/titan
An experimental type checker implementation
Language: Haskell - Size: 98.6 KB - Last synced at: 4 days ago - Pushed at: over 2 years ago - Stars: 4 - Forks: 0
ziman/ttstar
Dependently typed core calculus with erasure
Language: Idris - Size: 3.25 MB - Last synced at: 3 months ago - Pushed at: almost 4 years ago - Stars: 19 - Forks: 0
fc01/TypeGame
👾 Sokoban Game in Pure TypeScript Type System
Language: TypeScript - Size: 10.7 KB - Last synced at: 3 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: 4 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: 2 months ago - Pushed at: almost 4 years ago - Stars: 10 - Forks: 1
p2js/set-theory
rust type-system set theory
Language: Rust - Size: 8.79 KB - Last synced at: 3 months ago - Pushed at: 5 months ago - Stars: 1 - Forks: 0
omentic/chrysanthemum
A blossoming type system.
Language: Rust - Size: 2.95 MB - Last synced at: 4 days 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: 6 months ago - Pushed at: 6 months ago - Stars: 92 - Forks: 7
cicada-lang/cicada-solo
Cicada Language (solo version)
Language: TypeScript - Size: 6.83 MB - Last synced at: 6 months ago - Pushed at: 6 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: 30 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: 6 months ago - Pushed at: 6 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: about 19 hours ago - Pushed at: 6 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: 22 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: 7 days ago - Pushed at: 7 months ago - Stars: 43 - Forks: 5
sobakavosne/scala-interview
Short overview Scala lang
Language: Scala - Size: 69.3 KB - Last synced at: 18 days ago - Pushed at: 7 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: 3 days ago - Pushed at: 7 months ago - Stars: 10 - Forks: 0
gfngfn/Sesterl
An ML-like statically-typed Erlang
Language: OCaml - Size: 1.19 MB - Last synced at: 3 months 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: 3 days 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: about 1 month 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: 3 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: about 7 hours 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: 1 day 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: 2 days ago - Pushed at: almost 3 years ago - Stars: 9 - Forks: 4
madmann91/fir
Functional IR
Language: C - Size: 711 KB - Last synced at: 3 months ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 1
moea/types
Type System Modeling in Clojure
Language: Clojure - Size: 50.8 KB - Last synced at: about 2 months ago - Pushed at: 10 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: about 1 month ago - Pushed at: over 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: 3 months ago - Pushed at: 10 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: 10 months ago - Pushed at: 10 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: 10 months ago - Pushed at: 10 months ago - Stars: 29 - Forks: 3
LionelAuroux/pyrser
A PEG Parsing Tool
Language: Python - Size: 2.25 MB - Last synced at: 26 days ago - Pushed at: over 4 years ago - Stars: 36 - Forks: 8
loredanacirstea/articles
Articles
Size: 8.54 MB - Last synced at: 6 days ago - Pushed at: over 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: 11 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: 2 months ago - Pushed at: about 1 year ago - Stars: 3 - Forks: 1
akxcv/thy
A minimal, strict runtime type system for Ruby
Language: Ruby - Size: 19.5 KB - Last synced at: 3 months ago - Pushed at: over 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: 3 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: 17 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: about 2 months 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: 2 months ago - Pushed at: over 6 years ago - Stars: 5 - Forks: 2
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: about 1 year ago - Pushed at: almost 6 years ago - Stars: 42 - Forks: 0
thufschmitt/tix
[WIP] A type system for nix
Language: OCaml - Size: 266 KB - Last synced at: 3 months 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: about 1 month ago - Pushed at: over 7 years ago - Stars: 17 - Forks: 1
