Topic: "system-f"
sgillespie/lambda-calculus
An introduction to the Lambda Calculus
Size: 146 KB - Last synced at: 18 days ago - Pushed at: almost 3 years ago - Stars: 90 - Forks: 15
zehaochen19/vanilla-lang
An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types
Language: Haskell - Size: 255 KB - Last synced at: 9 months ago - Pushed at: about 2 years ago - Stars: 88 - Forks: 3
tweag/pirouette π¦
Language-generic workbench for building static analysis
Language: Haskell - Size: 1.54 MB - Last synced at: 8 days ago - Pushed at: over 1 year ago - Stars: 47 - Forks: 2
wbbradley/ace
A statically-typed strictly-evaluated garbage-collected readable programming language.
Language: C++ - Size: 25.8 MB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 46 - Forks: 2
Lysxia/system-F
Formalization of the polymorphic lambda calculus and its parametricity theorem
Language: Coq - Size: 12.7 KB - Last synced at: 29 days ago - Pushed at: about 2 months ago - Stars: 34 - Forks: 2
tominated/system_f_omega
My Attempt at System FΟ with Row-Polymorphism
Language: OCaml - Size: 27.3 KB - Last synced at: 5 months ago - Pushed at: almost 4 years ago - Stars: 29 - Forks: 1
L-TChen/Type-Theory
Lecture note on Lambda Calculus and Types for FLOLAC
Language: TeX - Size: 1.71 MB - Last synced at: 29 days ago - Pushed at: 10 months ago - Stars: 27 - Forks: 4
Ef55/stainless-stlc
System F in Stainless
Language: Scala - Size: 8.48 MB - Last synced at: 26 days ago - Pushed at: about 1 month ago - Stars: 9 - Forks: 0
aradarbel10/Styff
A functional programming language based on system F (omega) ft. NbE and higher order unification
Language: OCaml - Size: 12.6 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 7 - Forks: 0
chrisnevers/bidirectional-typechecking
Bidirectional type checking for predicative System F
Language: OCaml - Size: 604 KB - Last synced at: about 1 year ago - Pushed at: over 5 years ago - Stars: 5 - Forks: 0
gergoerdi/system-f-agda
System F
Language: Agda - Size: 1.95 KB - Last synced at: about 2 months ago - Pushed at: over 7 years ago - Stars: 5 - Forks: 0
susisu/system-f-js-impl
An implementation of System F in JS
Language: JavaScript - Size: 11.7 KB - Last synced at: 20 days ago - Pushed at: almost 8 years ago - Stars: 5 - Forks: 0
Zeta611/type-safe-programming
SLConf 2024: νμ μΌλ‘ μμ νκ² νλ‘κ·Έλλ°νκΈ°
Language: TeX - Size: 6.99 MB - Last synced at: 24 days ago - Pushed at: over 1 year ago - Stars: 4 - Forks: 0
rudynicolop/Lambda-Calculi-OCaml
Lambda Calculus implementations in OCaml.
Language: OCaml - Size: 91.8 KB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 3 - Forks: 0
thrunduil/Arrow
Progamming language based on the system F-omega with polymorphic kinds, (weakly) equirecursive types, general function overloading, type inference, and flexible syntax.
Language: C++ - Size: 15.2 MB - Last synced at: over 1 year ago - Pushed at: about 4 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
rudynicolop/Lambda-Calculi-Coq
Lambda-Calculi implementations & proofs in Coq
Language: Coq - Size: 152 KB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0
lambduli/lambdas
REPL for various lambda calculi.
Language: Haskell - Size: 112 KB - Last synced at: almost 2 years ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 0
