GitHub topics: parametric-polymorphism
curegit/reification
Reified generics in Python to get type parameters at runtime
Language: Python - Size: 49.8 KB - Last synced at: about 13 hours ago - Pushed at: 11 days ago - Stars: 3 - Forks: 0
Amaryosf/Aurox
A simple yet powerful Discord music bot using the Lavalink client (Shoukaku & Kazagumo) and Discord.js v14.
Language: JavaScript - Size: 46.9 KB - Last synced at: 23 days ago - Pushed at: 23 days ago - Stars: 0 - Forks: 0
felix-lang/felix
The Felix Programming Language
Language: C - Size: 86.4 MB - Last synced at: 16 days ago - Pushed at: 7 months ago - Stars: 808 - Forks: 46
symbola/symbola
Native JavaScript prototype extension with symbol protocols
Language: TypeScript - Size: 381 MB - Last synced at: 4 days ago - Pushed at: 5 days ago - Stars: 13 - Forks: 0
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.
Language: Scala - Size: 22.5 KB - Last synced at: 20 days ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0
JakubGrobelny/aurox-lang
Interpreter written for Prolog course.
Language: Prolog - Size: 1.71 MB - Last synced at: 15 days ago - Pushed at: about 5 years ago - Stars: 10 - Forks: 1
Zeta611/type-safe-programming
SLConf 2024: 타입으로 안전하게 프로그래밍하기
Language: TeX - Size: 6.99 MB - Last synced at: 14 days ago - Pushed at: over 1 year ago - Stars: 4 - Forks: 0
owaismohsin001/junu-spaghetti
Junu Spaghetti, a language that types spaghetti code
Language: Haskell - Size: 1.68 MB - Last synced at: 26 days ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0
caphosra/libcpoly
Let's write a C program in a parametric-polymorphismic way!
Language: C - Size: 10.7 KB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
seagreen/plate 📦
Principled schema system for JSON. Work in progress.
Language: Haskell - Size: 43.9 KB - Last synced at: over 1 year ago - Pushed at: about 5 years ago - Stars: 128 - Forks: 5
kongware/ftor
ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.
Language: JavaScript - Size: 1.09 MB - Last synced at: 12 months ago - Pushed at: about 7 years ago - Stars: 44 - Forks: 1
d-plaindoux/rust-traits
[Talk] Programmation par Traits sous l'influence de la gestion mémoire
Language: Rust - Size: 3.27 MB - Last synced at: 21 days ago - Pushed at: over 1 year ago - Stars: 6 - Forks: 0
abhisheknaths/genericsort
A sort package that sorts a slice regardless of the type of its contents.
Language: Go - Size: 4.88 KB - Last synced at: 10 months ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
Hirevo/koak
A compiler for a little statically-typed language implemented in Haskell.
Language: Haskell - Size: 200 KB - Last synced at: about 2 years ago - Pushed at: about 6 years ago - Stars: 13 - Forks: 0
kasparthommen/java-code-gen
Annotation-based Java code generation
Language: Java - Size: 131 KB - Last synced at: 5 months ago - Pushed at: almost 2 years ago - Stars: 3 - Forks: 0
profbrandon/typeChecker
A repository dedicated to the derivation and implementation of type systems. Current system: Extended System F
Language: Haskell - Size: 29.5 MB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 2 - Forks: 0
athanclark/pred-trie
predicative lookup container
Language: Haskell - Size: 1.6 MB - Last synced at: 5 days ago - Pushed at: over 6 years ago - Stars: 5 - Forks: 0
dlepex/typeinst
Generics for Go. A code generator, that uses struct declarations as DSL to configure what types should be created
Language: Go - Size: 2.29 MB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0
