dpiponi / StableBlogLinks
More stable versions of some articles from my blog
☆35Updated 7 months ago
Alternatives and similar repositories for StableBlog
Users that are interested in StableBlog are comparing it to the libraries listed below
Sorting:
- Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University☆74Updated 7 years ago
- A talk☆28Updated 4 years ago
- The Iowa Agda Library☆52Updated last month
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆55Updated 8 years ago
- Awesome Agda Programming☆18Updated 2 months ago
- Implementing a small functional language with a combinator based graph-reduction machine☆39Updated 3 months ago
- Benchmarks for capture-avoiding substitution☆121Updated 6 months ago
- Haskell embedding of PlusCal☆62Updated 3 years ago
- Agda lecture notes for the Functional Programming course at TU Delft☆130Updated 4 months ago
- an implementation of stuck macros☆149Updated last week
- Source material for Certainty by Construction☆45Updated last year
- Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques☆45Updated 10 months ago
- ☆45Updated 2 years ago
- Normalization by Evaluation for Martin-Löf Type Theory☆131Updated last year
- Fast equality saturation in Haskell☆91Updated last month
- Coq proof for the paper "Compiling a Fifty Year Journey"☆13Updated 8 years ago
- A tutorial about how to apply property-based testing to stateful systems.☆79Updated 2 years ago
- ICFP 2020 papers. Crowd-sourced☆90Updated 5 years ago
- A tutorial on how Agda infers things☆63Updated 5 months ago
- Type inference from scratch - Material for my talk at F(by)19☆66Updated 5 years ago
- ☆32Updated 7 years ago
- A small package that demonstrates how to use LiquidHaskell as a GHC plugin☆24Updated last year
- being bits and pieces I'm inclined to leave lying around☆54Updated 5 months ago
- being the teaching materials and exercises for CS410 in the 2018/19 session☆57Updated 6 years ago
- An implementation of Pie in Haskell☆211Updated 6 years ago
- SPLV20 course notes☆114Updated 3 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆58Updated last year
- An implementation of miniKanren in Haskell☆79Updated 12 years ago
- Strongly-typed System F in Haskell☆119Updated 3 years ago
- Tutorial series introducing Agda to the people at BCAM☆27Updated 4 years ago