Implementing CIS 194 (2013) Haskell course in C++
☆24Nov 6, 2025Updated 11 months ago
Alternatives and similar repositories for cis194-haskell-in-cpp
Users that are interested in cis194-haskell-in-cpp are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Tutorial series introducing Agda to the people at BCAM☆28Nov 29, 2021Updated 4 years ago
- A scheduler independent blocking mechanism☆19Feb 15, 2024Updated 2 years ago
- A simple, lightweight library for ANSI styling.☆22Oct 30, 2025Updated 11 months ago
- Haskell bindings for DuckDB☆24Updated this week
- A balanced binary search tree library for OCaml☆24Jun 20, 2026Updated 3 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆25Sep 1, 2021Updated 5 years ago
- https://conf.researchr.org/details/icfp-splash-2025/icfp-splash-2025-tutorials/5/A-guided-tour-through-Oxidized-OCaml☆22Jun 18, 2026Updated 4 months ago
- STM on Free monads☆25May 16, 2018Updated 8 years ago
- Type Safe Money Manipulation Library For OCaml☆30Apr 22, 2026Updated 5 months ago
- An experimental JavaScript runtime built with OxCaml and JavaScriptCore☆95Jan 20, 2026Updated 8 months ago
- C Intermediate Language Implemented with MoonBit☆19Jan 12, 2026Updated 9 months ago
- ☆25Aug 6, 2026Updated 2 months ago
- Haskell types and instances for decoding GitHub webhook payloads.☆40Sep 12, 2025Updated last year
- Importi.fy — it's like Uber, but for Haskell modules.☆104Sep 2, 2018Updated 8 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Structural search of OCaml code☆35Oct 5, 2026Updated last week
- Simple testing toolkit☆10May 28, 2021Updated 5 years ago
- Samples and solutions from Chris Okasaki's "Purely Functional Data Structures", written in OCaml.☆11Jun 13, 2021Updated 5 years ago
- Split integers into digits, blazingly fast☆14Sep 27, 2026Updated 3 weeks ago
- OCaml support☆34Aug 14, 2026Updated 2 months ago
- An application to visualize the semantic distance between two words using the Wordnet lexical database and algorithmic path finding.☆11Jan 18, 2021Updated 5 years ago
- A Result-like type that can collect multiple Errs☆12Oct 5, 2020Updated 6 years ago
- Quick interactive time series terminal plots usable in ghci☆15Sep 10, 2019Updated 7 years ago
- Exhaustiveness and redundancy analysis for Haskell pattern matching☆12Aug 16, 2017Updated 9 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.
- Composable code-quality tools☆13Jun 22, 2018Updated 8 years ago
- ✂️ Hakyll shortcut-links in markdown files☆11Oct 10, 2025Updated last year
- ℹ️ Index-related functions for lists☆12Nov 15, 2021Updated 4 years ago
- A simple diff algorithm in pure OCaml☆15Jul 10, 2020Updated 6 years ago
- ☆14Apr 17, 2022Updated 4 years ago
- ☆13Nov 1, 2021Updated 4 years ago
- Ensure dune and opam dependencies are consistent☆45Mar 3, 2026Updated 7 months ago
- McLulang: The message is the language☆12Aug 23, 2024Updated 2 years ago
- ☆10Aug 20, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆10Jul 20, 2023Updated 3 years ago
- A toy implementation of the bitcoin protocol in ocaml.☆35Dec 15, 2015Updated 10 years ago
- The Functional Virtual Machine.☆14Dec 18, 2024Updated last year
- Phoenix (Elixir) like channels for Dream (Ocaml)☆15Jul 20, 2021Updated 5 years ago
- An implementation of first-class pattern matches in Haskell.☆13Feb 25, 2026Updated 7 months ago
- Ideas, documents, and tutorial pile for the Prowl Language☆13Aug 2, 2024Updated 2 years ago
- A Haskell library: A fancy logging effect for Polysemy using the formatting library to format log messages.☆12Jul 16, 2021Updated 5 years ago