parametric-polymorphism
There are 18 repositories under parametric-polymorphism topic.
felix-lang/felix
The Felix Programming Language
seagreen/plate
Algebraic type based schema system
Hirevo/koak
A compiler for a little statically-typed language implemented in Haskell.
symbola/symbola
Native JavaScript prototype extension with symbol protocols
JakubGrobelny/aurox-lang
Interpreter written for Prolog course.
PetarMihalj/AGT
A novel, compiled programming language with a strong and static type system, parametric polymorphism and other features, developed as my master thesis.
d-plaindoux/rust-traits
[Talk] Programmation par Traits sous l'influence de la gestion mémoire
athanclark/pred-trie
predicative lookup container
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.
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!