RoccoMathijn / programming-in-haskell
Solutions to exercises of the book Programming in Haskell 2nd Edition
☆15Updated 3 years ago
Alternatives and similar repositories for programming-in-haskell
Users that are interested in programming-in-haskell are comparing it to the libraries listed below
Sorting:
- Solutions to exercises from the book Programming in Haskell (2nd Edition)☆46Updated 7 years ago
- Haskell Debugger Extension for Visual Studio Code.☆49Updated 2 months ago
- Simple demonstration stack based virtual machine written in Haskell☆42Updated 8 years ago
- Organization and planning for the Initial Types Club☆72Updated 2 years ago
- My solutions for all exercises in "Programming in Haskell" 2nd ed.☆64Updated 4 months ago
- Strongly-typed System F in Haskell☆116Updated 2 years ago
- Repository with code snippets that accompany episodes of The Haskell Unfolder☆98Updated this week
- Pastebin service in haskell☆31Updated 5 months ago
- "Modern compiler implementation" in Haskell!☆26Updated 10 years ago
- Haskell Language Report☆91Updated 5 years ago
- Total Parser Combinators in Coq [maintainer=@womeier]☆43Updated 2 months ago
- An interpreter of Hagino's Categorical Programming Language (CPL).☆121Updated 11 months ago
- A List of Foundational Haskell Papers☆39Updated 6 years ago
- The Helium compiler, Helium-as-a-library, and the texthint interpreter☆96Updated 5 months ago
- Haskell bindings to Microsoft's Z3 API (unofficial).☆58Updated last year
- A community-driven collection of documentation for Haskell error messages and warnings☆105Updated last month
- Tutorial on monad transformers☆60Updated 3 years ago
- Functional teaching language for use in a discrete mathematics course☆169Updated 3 weeks ago
- Effects libraries in Haskell☆71Updated last year
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆53Updated 8 years ago
- A non-interactive proof assistant using the Haskell type system☆37Updated 5 years ago
- A tutorial on how Agda infers things☆41Updated 4 years ago
- A Haskell/Hspec skeleton project☆95Updated last year
- being the teaching materials and exercises for CS410 in the 2018/19 session☆56Updated 6 years ago
- A "implementation" of Girard's paradox in OCaml☆108Updated 10 years ago
- Idris-written, correct-by-construction, simply-typed lambda calculus.☆39Updated 6 years ago
- A Formalization of Typed and Untyped λ-Calculi in Coq and Agda2☆82Updated 4 years ago
- A Dockerfile for Haskell Development, and DevContainer for VSCode, for installing GHC HLS (Haskell Language Server) and the required plug…☆61Updated last year
- Portal to Haskell Debugging System☆59Updated 6 years ago
- SPLV20 course notes☆108Updated 2 years ago