A pedagogical functional programming language.
☆20Updated this 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 2 months ago
- Byeol Programming language.☆10Updated this week
- 🧪 An imperative, dynamically-typed, interpreted, general-purpose programming language☆11Nov 23, 2025Updated 3 months ago
- Haskell bindings to Apache Arrow☆12Aug 21, 2018Updated 7 years ago
- Type-level interpolations in various forms☆12Dec 14, 2024Updated last year
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 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
- Parser and Compiler: Valhalla Lang — Set-Theoretic Programming Langauge☆12Nov 26, 2020Updated 5 years ago
- Generate a command line client from a servant API☆28Jan 12, 2024Updated 2 years ago
- Perform GPIO from Haskell☆21Aug 28, 2019Updated 6 years ago
- Code to go along with the blog post "Are Mutable References in Haskell Fast?"☆10Jun 1, 2017Updated 8 years ago
- Home of the Swag programming language compiler and standard workspace☆16Nov 29, 2025Updated 3 months ago
- Card game using Haskell miso☆11Feb 5, 2026Updated 3 weeks ago
- Standard module for type-level programming in Haskell☆31Jul 1, 2019Updated 6 years ago
- Haskell library for type-inference with Hindley-Milner type-system.☆35Jun 12, 2024Updated last year
- Formal specification of the Haskell Language Report☆30Jan 25, 2026Updated last month
- Efficient union and equivalence testing of sets.☆31Jan 29, 2019Updated 7 years ago
- Servant client generators for the Python language☆17Mar 2, 2021Updated 4 years ago
- haskell posix bindings☆19Aug 5, 2025Updated 6 months ago
- ☆17Jul 29, 2018Updated 7 years ago
- ☆18Jul 24, 2025Updated 7 months ago
- NanoVG Haskell bindings☆22May 17, 2023Updated 2 years ago
- Classy error-handling (and dispatching!) in Haskell.☆46Aug 14, 2019Updated 6 years ago
- ☆16Apr 19, 2022Updated 3 years ago
- ☆19Aug 23, 2025Updated 6 months ago
- Haskell bindings to WGPU Native☆22Aug 25, 2025Updated 6 months ago
- Experimental programming metalanguage, targeting on intertranspiling with other languages.☆19May 11, 2023Updated 2 years ago
- simple interface to ghc's simd vector support☆23Jun 25, 2015Updated 10 years ago
- ☆19Sep 19, 2019Updated 6 years ago
- Modern Compiler Implementation in ML, in Haskell☆22May 29, 2021Updated 4 years ago
- siko☆14Jan 6, 2024Updated 2 years ago
- Google Summer of Code 2012 project, GHCi for the web☆52Aug 20, 2012Updated 13 years ago
- Haskell library to interface with the nix package manager☆25Nov 23, 2021Updated 4 years ago
- experiments with pext/pdep and codebruijn syntax☆17Nov 17, 2019Updated 6 years ago
- A fully-customisable web-based gamepad, designed to be used from smartphones.☆44Dec 29, 2025Updated 2 months ago
- 🪱 Novika is a free-form, moldable, interpreted programming language☆19Feb 5, 2025Updated last year
- Divide without division☆20Aug 9, 2025Updated 6 months ago
- Modern compiler implementation in ML, in Haskell☆16Apr 4, 2018Updated 7 years ago
- A simple , safe , and powerful programming language☆18Mar 4, 2024Updated last year