uu-afp / uu-afp.github.io
UU AFP Summer School Homepage
☆11Updated 5 months ago
Alternatives and similar repositories for uu-afp.github.io:
Users that are interested in uu-afp.github.io are comparing it to the libraries listed below
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 4 years ago
- Organization and planning for the Initial Types Club☆72Updated 2 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆52Updated 7 years ago
- being the scrapings of my stackoverflow answers☆48Updated 5 years ago
- Where my everyday research happens☆52Updated last week
- Learn the Agda basics in three 2-hour sessions.☆58Updated last year
- Hypertypes - generic programming for heterogeneous recursive types☆119Updated 2 weeks ago
- GRIN backend for GHC☆144Updated 3 years ago
- Unification and type inference algorithms☆124Updated 9 years ago
- A small package that demonstrates how to use LiquidHaskell as a GHC plugin☆24Updated 5 months ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆123Updated 5 months ago
- Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)☆60Updated last year
- Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)☆56Updated 10 months ago
- being the teaching materials and exercises for CS410 in the 2018/19 session☆56Updated 5 years ago
- Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE☆24Updated 6 years ago
- Agda formalisation of second-order abstract syntax☆53Updated 2 years ago
- A community-driven collection of documentation for Haskell error messages and warnings☆104Updated last month
- Named parameters (keyword arguments) for Haskell☆92Updated 3 months ago
- A simple Idris program to blink the LED on an Arduino☆57Updated 3 years ago
- Repository with code snippets that accompany episodes of The Haskell Unfolder☆88Updated last week
- Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming☆44Updated 4 years ago
- The Helium compiler, Helium-as-a-library, and the texthint interpreter☆94Updated 2 months ago
- Featherlight benchmark framework, drop-in replacement for criterion and gauge.☆81Updated this week
- A formalization of the polymorphic lambda calculus extended with iso-recursive types☆70Updated 5 years ago
- Haskell-centric Fast Accurate Curve Rasterizer☆24Updated 3 years ago
- Strongly-typed System F in Haskell☆117Updated 2 years ago
- Finite domain constraint solver in Haskell☆18Updated 3 years ago
- Fast equality saturation in Haskell☆79Updated 8 months ago
- ☆84Updated 7 years ago
- Proposals for the Haskell Ecosystem☆51Updated 6 years ago