Solutions to exercises from the book Haskell Programming From First Principles
☆33Sep 7, 2021Updated 4 years ago
Alternatives and similar repositories for haskellbook
Users that are interested in haskellbook are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This is a fork of https://github.com/tweag/ormolu.☆13May 20, 2023Updated 3 years ago
- From the book "Haskell Programming from first principles"☆27Sep 26, 2020Updated 5 years ago
- Better testing for Plutus☆11Nov 15, 2022Updated 3 years ago
- This repository contains the source code of the Verifiable Controls Evidence Store solution☆19Feb 19, 2025Updated last year
- LIMA: Language for Integrated Modeling and Analysis☆12Sep 8, 2018Updated 7 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- An API wrapper to fetch xkcd comics☆11Dec 9, 2022Updated 3 years ago
- Reproducible Emacs configuration for fast navigation, code exploration, and architecture workflows — structured to minimise state, reduce…☆14Jul 5, 2026Updated 2 weeks ago
- My (incomplete && ugly) notes and solutions to haskellbook☆24Apr 29, 2017Updated 9 years ago
- Nix builder for roc code☆14Dec 30, 2023Updated 2 years ago
- The most comprehensive debouncer for Elm☆14Nov 28, 2018Updated 7 years ago
- Media Query Utils For Styled Components☆15Oct 12, 2018Updated 7 years ago
- My notes and solutions to exercises for the book "Haskell Programming from first principles".☆93Oct 25, 2021Updated 4 years ago
- Japanese OCR in Python☆12Dec 4, 2019Updated 6 years ago
- Elm eureka is a rust library for parsing elm projects and elm code.☆10May 6, 2018Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A command line tool that turns CBOR into JSON or JSON into CBOR☆14Aug 27, 2023Updated 2 years ago
- A Purescript library for building smart contract transactions on Cardano☆93Updated this week
- ☆10Aug 1, 2016Updated 9 years ago
- A Haskell implementation of JSON Web Token (JWT)☆36Feb 13, 2024Updated 2 years ago
- Transform a Folder into a Stack Template☆14May 8, 2023Updated 3 years ago
- A demo binary crate for the ESP32-S2 ULP RISCV chip that blinks a LED via a "mini"-GPIO HAL and communicates with the main processor.☆12Jan 19, 2022Updated 4 years ago
- ☆17Oct 15, 2021Updated 4 years ago
- Examples of all types of widgets used for animation in Flutter.☆25Sep 25, 2022Updated 3 years ago
- Ready-to-use template which is build with ES7, React & React-Router☆16Jan 18, 2018Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- sxc is an 'S-Expression C' transpiler for generating C code using macros written in Common Lisp☆16Feb 14, 2019Updated 7 years ago
- Pure IO like monad☆42Sep 3, 2019Updated 6 years ago
- 3D version of snake☆16Sep 5, 2017Updated 8 years ago
- The LFE MACHINE MANUAL☆22Jun 30, 2026Updated 3 weeks ago
- ☆13Apr 23, 2022Updated 4 years ago
- A brief demo of cljs working with Angular2☆16May 2, 2016Updated 10 years ago
- Convert WebVTT subtitles to SubRip.☆33Jul 17, 2020Updated 6 years ago
- ☆16Aug 13, 2023Updated 2 years ago
- ☆16Apr 1, 2020Updated 6 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A parser for the Elm language written in Rust using the nom library☆17Dec 26, 2020Updated 5 years ago
- A library for building images in elm☆17Jan 7, 2023Updated 3 years ago
- PureScript FFI bindings for the Electron API☆10Jan 24, 2018Updated 8 years ago
- Functions for working with Jalaali (Jalali, Persian, Khayyami, Khorshidi, Shamsi) calendar systems.☆10Nov 14, 2020Updated 5 years ago
- Persian for LaTeX, using XeTeX☆11May 13, 2020Updated 6 years ago
- Wrapper to debug sysdig builds☆15Oct 25, 2018Updated 7 years ago
- JSON grammar for Lezer☆21Apr 15, 2026Updated 3 months ago