A well-typed Directed Acyclic Graph in Haskell
☆13Jan 25, 2015Updated 11 years ago
Alternatives and similar repositories for dag
Users that are interested in dag are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A FUSE filesystem, written in Haskell, that allows one to mount NAR (Nix archive) files and expose them as a virtual Nix store.☆30Apr 17, 2016Updated 10 years ago
- Library of simd functions☆19Jun 13, 2026Updated 4 months ago
- Code to go along with the blog post "Are Mutable References in Haskell Fast?"☆10Jun 1, 2017Updated 9 years ago
- Haskell implementation of a nix binary cache and client.☆13Jan 4, 2018Updated 8 years ago
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Apr 3, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Succinct binary serialization☆15Aug 26, 2018Updated 8 years ago
- Record and play the results of monadic actions☆13Mar 18, 2018Updated 8 years ago
- OpenTelemetry instrumentation for Servant, compatible with hs-opentelemetry.☆16Aug 17, 2026Updated 2 months ago
- oleg modules☆32Feb 20, 2013Updated 13 years ago
- Simple Haskell API for LMDB☆12Jun 17, 2019Updated 7 years ago
- Automatic generation of haskell functions for querying servant webservices ... in GHCJS!☆13May 15, 2018Updated 8 years ago
- ☆18Jul 24, 2025Updated last year
- Example web server to show how to use a bounded queue to asynchronously send emails☆12Jun 4, 2017Updated 9 years ago
- Haskell library to interface with the nix package manager☆25Nov 23, 2021Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Script to download all of Hackage☆18Jul 14, 2019Updated 7 years ago
- Debug Adaptor Protocol (DAP) implementation☆11Sep 16, 2026Updated last month
- open Morrowind mod manager. A cli tool for linux to manage mods for openMW☆13Nov 27, 2018Updated 7 years ago
- ☆41Feb 17, 2020Updated 6 years ago
- Simple testing toolkit☆10May 28, 2021Updated 5 years ago
- Runtime compilation and invocation of C.☆10Mar 25, 2019Updated 7 years ago
- haskell memory☆49Aug 14, 2023Updated 3 years ago
- generalize counter-examples of property-based testing☆13Jan 30, 2025Updated last year
- ☆15Aug 29, 2021Updated 5 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 simple interface for building .dot graph files.☆19Apr 16, 2021Updated 5 years ago
- a battery-included library for dataflow protocols☆26Updated this week
- Types and classes for defining JSON schemas.☆23Oct 3, 2018Updated 8 years ago
- Simple network runner library in Haskell☆11Updated this week
- Succinct vectors☆20Dec 29, 2018Updated 7 years ago
- Read ghc-core with style. javascript and CSS style.☆13Jul 4, 2015Updated 11 years ago
- ☆10Jun 9, 2021Updated 5 years ago
- Intel 8080-based Space Invaders arcade machine implemented on an FPGA, written in CLaSH☆50Dec 4, 2022Updated 3 years ago
- ☆11Jun 10, 2026Updated 4 months 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.
- Haskell bindings to Chez Scheme☆11Sep 4, 2023Updated 3 years ago
- Generate fake recursion schemes☆12Aug 20, 2020Updated 6 years ago
- Bring fusion to everyone☆15Feb 6, 2020Updated 6 years ago
- diagrams backend that renders directly to an HTML5 canvas☆23Apr 21, 2016Updated 10 years ago
- ☆33Mar 2, 2021Updated 5 years ago
- Difference lists in Haskell☆66Dec 15, 2025Updated 10 months ago
- A RWS like monad without the slow writer stuff☆12Jun 17, 2023Updated 3 years ago