GitPlanet
All Projects → type-operators-rs → Similar Projects or Alternatives

26 Open source projects that are alternatives of or similar to type-operators-rs

type-natural
Type-level well-kinded natural numbers.
Stars: ✭ 32 (-42.86%)
Mutual labels:  type-level, type-level-programming
plt-research
A collection of PLT researching
Stars: ✭ 29 (-48.21%)
Mutual labels:  type-system
pyrser
A PEG Parsing Tool
Stars: ✭ 32 (-42.86%)
Mutual labels:  type-system
kanji
A strongly typed GraphQL API framework
Stars: ✭ 12 (-78.57%)
Mutual labels:  type-system
coq-tal
Formalization of Typed Assembly Language (TAL) in Coq
Stars: ✭ 15 (-73.21%)
Mutual labels:  type-system
Truth
A Domain Representation Language
Stars: ✭ 23 (-58.93%)
Mutual labels:  type-system
f-omega-mu
Fωμ type checker and compiler
Stars: ✭ 46 (-17.86%)
Mutual labels:  type-system
Grakn
TypeDB: a strongly-typed database
Stars: ✭ 2,947 (+5162.5%)
Mutual labels:  type-system
Reading
A list of computer-science readings I recommend
Stars: ✭ 1,919 (+3326.79%)
Mutual labels:  type-system
Type Challenges
Collection of TypeScript type challenges with online judge
Stars: ✭ 10,812 (+19207.14%)
Mutual labels:  type-system
Write You A Haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
Stars: ✭ 3,064 (+5371.43%)
Mutual labels:  type-system
core
The XP Framework is an all-purpose, object oriented PHP framework.
Stars: ✭ 13 (-76.79%)
Mutual labels:  type-system
typeql
TypeQL: the query language of TypeDB - a strongly-typed database
Stars: ✭ 157 (+180.36%)
Mutual labels:  type-system
REInfer
Runtime Extended Inference for json data.
Stars: ✭ 23 (-58.93%)
Mutual labels:  type-system
tix
[WIP] A type system for nix
Stars: ✭ 59 (+5.36%)
Mutual labels:  type-system
visions
Type System for Data Analysis in Python
Stars: ✭ 136 (+142.86%)
Mutual labels:  type-system
Typology
Swift type checking and semantic analysis for developer tools
Stars: ✭ 68 (+21.43%)
Mutual labels:  type-system
floweret
Runtime type annotations for CoffeeScript (and JavaScript too!)
Stars: ✭ 20 (-64.29%)
Mutual labels:  type-system
TypeGame
👾 Sokoban Game in Pure TypeScript Type System
Stars: ✭ 222 (+296.43%)
Mutual labels:  type-system
typedb
TypeDB: a strongly-typed database
Stars: ✭ 3,152 (+5528.57%)
Mutual labels:  type-system
anders
🧊 Модальний Гомотопічний Прувер
Stars: ✭ 5 (-91.07%)
Mutual labels:  type-system
yants
Yet Another Nix Type System | Source has moved to https://git.tazj.in/tree/nix/yants
Stars: ✭ 35 (-37.5%)
Mutual labels:  type-system
cicada
Cicada Language
Stars: ✭ 9 (-83.93%)
Mutual labels:  type-system
ftor
ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.
Stars: ✭ 44 (-21.43%)
Mutual labels:  type-system
HashedExpression
Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.
Stars: ✭ 40 (-28.57%)
Mutual labels:  type-level-programming
symbols
Symbol manipulation
Stars: ✭ 32 (-42.86%)
Mutual labels:  type-level-programming
1-26 of 26 similar projects