C++
132
11 commits
updated Feb 11, 2023
isovector/thinking-with-types
π source material for Thinking with Types
497
isovector/type-sets
type level sets
67
irrequietus/typestring
C++11/14 strings for direct use in template parameter lists, template metaprogramming.
201
vishweshwar-maroor/Cpp-programing
backup
0
phadej/write-yourself-a-typed-functional-language
Write yourself a typed functional language
65
frenetic-lang/frenetic
The Frenetic Programming Language and Runtime System
229
dunhamsteve/newt
A toy dependent typed language.
50
jasnell/proposal-istypes
TC-39 Proposal for additional is{Type} APIs
100.0%
