bobatkey / CS316-2022
Materials for the 2022-2023 edition of CS316 "Functional Programming"
☆23Updated last year
Related projects ⓘ
Alternatives and complementary repositories for CS316-2022
- ☆14Updated last year
- The 2019/2020 edition of Strathclyde's CS316 Functional Programming course☆41Updated 4 years ago
- First Class Record Fields in Haskell☆17Updated 4 months ago
- A library for benign effects in Haskell☆20Updated last year
- A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"☆47Updated 5 years ago
- Jupyter notebooks☆58Updated this week
- ☆33Updated 6 months ago
- The 2017-18 edition of Strathclyde's CS316 "Functional Programming" course☆21Updated 6 years ago
- A tutorial about how to apply property-based testing to stateful systems.☆69Updated last year
- Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski☆32Updated 5 years ago
- ☆43Updated last year
- Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques☆44Updated last year
- A haskell tutorial using CodeWorld☆17Updated 6 months ago
- Learn the Agda basics in three 2-hour sessions.☆54Updated last year
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆52Updated 7 years ago
- a throwaway implementation of normalization by evaluation☆13Updated 2 years ago
- Haskell monad transformer for weighted, non-deterministic computation☆29Updated 10 months ago
- Haskell embedding of PlusCal☆60Updated 2 years ago
- Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)☆61Updated last year
- A small package that demonstrates how to use LiquidHaskell as a GHC plugin☆24Updated 2 months ago
- Home of the fast-arithmetic library for number theory in ATS and Haskell.☆25Updated 3 months ago
- Braiding extensible effects together in a pipeline/workflow of tasks☆56Updated last year
- Implementing a small functional language with a combinator based graph-reduction machine☆28Updated 10 months ago
- A Haskell monad transformer library for data validation☆36Updated last year
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆83Updated last year
- Fωμ type checker and compiler☆51Updated last year
- an optimizing curry compiler☆12Updated last year
- An implementation of Haskell’s MVars in Racket☆28Updated 3 weeks ago
- A talk☆28Updated 3 years ago
- Text generation language☆32Updated last week