Projects in Awesome Lists tagged with parametric-polymorphism
A curated list of projects in awesome lists tagged with parametric-polymorphism .
https://github.com/felix-lang/felix
The Felix Programming Language
c-plus-plus code-generator compiled compiler coroutine-framework coroutines functional-programming ocaml parametric-polymorphism performant platform-independent polymorphism programming programming-language scripting-language static-analysis type-classes
Last synced: 06 Apr 2025
https://github.com/jakubgrobelny/aurox-lang
Interpreter written for Prolog course.
compilers cpp dcg functional-programming interpreter logic-programming logical-programming ml parametric-polymorphism parsing programming-languages prolog statically-typed toy-language transpiler university-project
Last synced: 17 Oct 2025
https://github.com/d-plaindoux/rust-traits
[Talk] Programmation par Traits sous l'influence de la gestion mémoire
ad-hoc memory parametric-polymorphism rust talk trait
Last synced: 09 Jul 2025
https://github.com/athanclark/pred-trie
predicative lookup container
haskell lookup parametric-polymorphism predicates trie
Last synced: 26 Apr 2025
https://github.com/zeta611/type-safe-programming
SLConf 2024: 타입으로 안전하게 프로그래밍하기
ad-hoc-polymorphism algebraic-data-types beamer generalized-algebraic-data-type parametric-polymorphism polymorphism rust simply-typed-lambda-calculus subtype-polymorphism system-f type-system universal-type
Last synced: 21 Jun 2025
https://github.com/kasparthommen/java-code-gen
Annotation-based Java code generation
annotation annotation-processor code-generation concrete-types generic generics instantiation java parametric-polymorphism primitives reification template template-engine
Last synced: 11 Jan 2026
https://github.com/curegit/reification
Reified generics in Python to get type parameters at runtime
generics parametric-polymorphism python reflection reification typing
Last synced: 05 Mar 2026
https://github.com/owaismohsin001/junu-spaghetti
Junu Spaghetti, a language that types spaghetti code
ad-hoc-polymorphism bidirectional-typechecking parametric-polymorphism programming-language spaghetti-code static-typing structural-typing union-types
Last synced: 28 Mar 2025
https://github.com/caphosra/libcpoly
Let's write a C program in a parametric-polymorphismic way!
c generic generic-types generics generics-in-c parametric-polymorphism type-checking type-library typed types
Last synced: 12 Sep 2025
https://github.com/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.
ad-hoc-polymorphism generics object-oriented-programming parametric-polymorphism polymorphism scala subtyping variance
Last synced: 09 Oct 2025
