parametric-polymorphism
There are 18 repositories under parametric-polymorphism topic.
felix-lang/felix
The Felix Programming Language
seagreen/plate
Algebraic type based schema system
symbola/symbola
Native JavaScript prototype extension with symbol protocols
Hirevo/koak
A compiler for a little statically-typed language implemented in Haskell.
JakubGrobelny/aurox-lang
Interpreter written for Prolog course.
athanclark/pred-trie
predicative lookup container
d-plaindoux/rust-traits
[Talk] Programmation par Traits sous l'influence de la gestion mémoire
israel-lugo/tsarray
Generic type-safe dynamic array library for C
Zeta611/type-safe-programming
SLConf 2024: 타입으로 안전하게 프로그래밍하기
curegit/reification
Reified generics in Python to get type parameters at runtime
kasparthommen/java-code-gen
Annotation-based Java code generation
profbrandon/typeChecker
A repository dedicated to the derivation and implementation of type systems. Current system: Extended System F
dlepex/typeinst
Generics for Go. A code generator, that uses struct declarations as DSL to configure what types should be created
owaismohsin001/junu-spaghetti
Junu Spaghetti, a language that types spaghetti code
r8vnhill/free-love-scala
Free Love uses a library model to showcase advanced Scala concepts like polymorphism, variance, bounds, and the Curiously Recurring Template Pattern.
seigert/poly
Slides for a 'Parametric Polymorphism' talk @ JVM Day
abhisheknaths/genericsort
A sort package that sorts a slice regardless of the type of its contents.
caphosra/libcpoly
Let's write a C program in a parametric-polymorphismic way!