A pedagogical functional programming language.
☆20Mar 14, 2026Updated last week
Alternatives and similar repositories for primer
Users that are interested in primer are comparing it to the libraries listed below
Sorting:
- JSaddle integration for the GHC Wasm backend☆21Dec 12, 2025Updated 3 months ago
- A fully-customisable web-based gamepad, designed to be used from smartphones.☆44Dec 29, 2025Updated 2 months ago
- A set of scripts which instrument Rofi for Sway usage.☆12Apr 28, 2023Updated 2 years ago
- Divide without division☆20Aug 9, 2025Updated 7 months ago
- Generate a command line client from a servant API☆28Jan 12, 2024Updated 2 years ago
- Standard module for type-level programming in Haskell☆31Jul 1, 2019Updated 6 years ago
- Haskell bindings to Apache Arrow☆12Aug 21, 2018Updated 7 years ago
- Classy error-handling (and dispatching!) in Haskell.☆46Aug 14, 2019Updated 6 years ago
- experiments with pext/pdep and codebruijn syntax☆17Nov 17, 2019Updated 6 years ago
- When REST is not enough ...☆25Feb 29, 2020Updated 6 years ago
- Perform GPIO from Haskell☆21Aug 28, 2019Updated 6 years ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- A type-level, statically-verified Haskell embedded domain specific language (EDSL) for writing guitar tablature.☆26Jul 9, 2022Updated 3 years ago
- Byeol Programming language.☆10Mar 14, 2026Updated last week
- Parser and Compiler: Valhalla Lang — Set-Theoretic Programming Langauge☆12Nov 26, 2020Updated 5 years ago
- Supplementary code for Type Classes projects☆25Mar 4, 2020Updated 6 years ago
- Template project for getting started with Halogen☆131Mar 7, 2023Updated 3 years ago
- 🧪 An imperative, dynamically-typed, interpreted, general-purpose programming language☆11Nov 23, 2025Updated 3 months ago
- 📀 You finally scored a record deal.☆11Apr 11, 2023Updated 2 years ago
- Card game using Haskell miso☆11Mar 12, 2026Updated last week
- Code to go along with the blog post "Are Mutable References in Haskell Fast?"☆10Jun 1, 2017Updated 8 years ago
- Haskell library for type-inference with Hindley-Milner type-system.☆35Jun 12, 2024Updated last year
- Type-level interpolations in various forms☆12Dec 14, 2024Updated last year
- Formalizing nbe in agda☆32Nov 22, 2012Updated 13 years ago
- ☆17Jul 29, 2018Updated 7 years ago
- Manually constructed STG programs compiled with the standard GHC codegen backend.☆24Jan 10, 2021Updated 5 years ago
- Formal specification of the Haskell Language Report☆32Mar 2, 2026Updated 2 weeks ago
- ☆11Jun 19, 2021Updated 4 years ago
- Haskell library to interface with the nix package manager☆25Nov 23, 2021Updated 4 years ago
- Efficient union and equivalence testing of sets.☆31Jan 29, 2019Updated 7 years ago
- Cross-Platform, Object-Oriented Programming language. With Kookaburra you can choose between the powerful CLI, or start coding with its' …☆11Oct 3, 2024Updated last year
- Austin's supercompiler work☆21Nov 17, 2019Updated 6 years ago
- A simple mycroft skill for launching shell scripts and system commands☆13Jun 1, 2024Updated last year
- VS Code color theme optimised for Haskell, groovy, C, python, nix & hcl syntax highlighting.☆15Oct 9, 2025Updated 5 months ago
- ☆21Apr 14, 2023Updated 2 years ago
- Lightweight global state management for PureScript Halogen using halogen-hooks.☆17Apr 12, 2025Updated 11 months ago
- ☆19Aug 23, 2025Updated 6 months ago
- Servant client generators for the Python language☆17Mar 2, 2021Updated 5 years ago
- ☆16Apr 19, 2022Updated 3 years ago