Exercises and code from "Haskell Programming from First Principles"
☆99Aug 22, 2021Updated 4 years ago
Alternatives and similar repositories for haskell-book
Users that are interested in haskell-book are comparing it to the libraries listed below
Sorting:
- Solutions to exercises from the book Haskell Programming From First Principles☆33Sep 7, 2021Updated 4 years ago
- My notes and solutions to exercises for the book "Haskell Programming from first principles".☆94Oct 25, 2021Updated 4 years ago
- Notes and solutions to exercises of "Haskell Programming from first principles"☆37Jul 25, 2020Updated 5 years ago
- Code snippets and exercises for the Haskell book☆10May 20, 2018Updated 7 years ago
- From the book "Haskell Programming from first principles"☆27Sep 26, 2020Updated 5 years ago
- ☆21Dec 9, 2022Updated 3 years ago
- My crappy solutions to http://haskellbook.com/☆22Apr 15, 2019Updated 6 years ago
- 📖 Projects showcased in the book "Learn Haskell by Example"☆57Jul 31, 2025Updated 7 months ago
- Use F# to create and consume flexible, strongly typed web APIs following the JSON:API specification☆21Feb 17, 2020Updated 6 years ago
- Haskell Programming From First Principles - Follow-up Resources☆503Dec 13, 2017Updated 8 years ago
- Code bundle for "Haskell Design Patterns" book☆18Dec 12, 2015Updated 10 years ago
- An example of running a GraalVM native-image with Scala on AWS Lambda.☆13Oct 24, 2021Updated 4 years ago
- Modern group chat application, built with Kotlin and CometChat☆10Mar 13, 2020Updated 6 years ago
- Stargaze is a CLI tool to help you manage your starred projects on GitHub.☆19Jul 21, 2022Updated 3 years ago
- Open-Source EDA workshop for RISC-V community☆12Jul 27, 2022Updated 3 years ago
- Solutions to exercises in Haskell Programming from first principles☆38Aug 5, 2021Updated 4 years ago
- ☆13Sep 30, 2019Updated 6 years ago
- ☆16Apr 26, 2021Updated 4 years ago
- Katamaran is a semi-automated separation logic verifier for the Sail specification language. It works on an embedded version of Sail call…☆19Updated this week
- 一个把教务处课程表转换成日历的小工具☆10Nov 26, 2021Updated 4 years ago
- Collection of Distributed Protocol Verification Problems☆15Apr 27, 2024Updated last year
- My website☆30Jan 15, 2026Updated 2 months ago
- ☆197Oct 17, 2019Updated 6 years ago
- Experimenting with Railway oriented programming and Python☆13Mar 14, 2022Updated 4 years ago
- Pure Haskell Tagged DFA Backend for "Text.Regex" (regex-base)☆46Jan 5, 2026Updated 2 months ago
- 📜 Haskell course info, plan, video lectures, slides☆1,544Jul 9, 2023Updated 2 years ago
- A command line tool that turns CBOR into JSON or JSON into CBOR☆13Aug 27, 2023Updated 2 years ago
- Plain-text declaration export for Lean 4☆26Mar 9, 2026Updated last week
- Programming language implementation for learning purposes☆16Jul 28, 2025Updated 7 months ago
- Fingertrees of Bytestrings☆19Dec 3, 2018Updated 7 years ago
- ☆15Mar 15, 2023Updated 3 years ago
- Code examples from Scott Wlaschin's book "Domain Modeling Made Functional" converted from F# to ReasonML.☆18Jul 12, 2023Updated 2 years ago
- Performant kernels for symmetric tensors☆16Aug 22, 2024Updated last year
- Haskel brainfuck interpreter☆12Apr 19, 2015Updated 10 years ago
- Homotopy type theory cheatsheets to read the HoTT Book☆12Jul 27, 2019Updated 6 years ago
- A Cocos2d-x example app in ClojureScript.☆18Jan 4, 2014Updated 12 years ago
- Reason layer around reason-mode for Spacemacs☆12Aug 31, 2018Updated 7 years ago
- Template project for TypeScript applications☆10Mar 15, 2023Updated 3 years ago
- A persistent configuration management library for embedded Rust applications.☆18Dec 16, 2025Updated 3 months ago