Cabal Sandbox manager
☆14May 24, 2016Updated 9 years ago
Alternatives and similar repositories for sandman
Users that are interested in sandman are comparing it to the libraries listed below
Sorting:
- Generate recurring dates.☆17Jan 15, 2024Updated 2 years ago
- Library and executable for working with playlist files.☆13Dec 15, 2025Updated 2 months ago
- Haskell bindings for PicoSAT solver☆17May 6, 2020Updated 5 years ago
- Install binary packages in a temporary Cabal sandbox☆16Dec 11, 2015Updated 10 years ago
- http terminal based on butterfly☆18Sep 6, 2016Updated 9 years ago
- Portable temporary file and directory support for Windows and Unix.☆25Oct 30, 2022Updated 3 years ago
- Rails-like inflections for Haskell☆37Aug 27, 2025Updated 6 months ago
- Protocol Buffers library for Haskell☆22Jul 18, 2021Updated 4 years ago
- Complete high-level Haskell binding to libFLAC☆26Feb 2, 2026Updated last month
- System for installing Haskell apps☆169Feb 14, 2019Updated 7 years ago
- Haskell library for efficiently building up buffers☆27Jan 6, 2025Updated last year
- (defunct) Purescript client code generation for Servant☆26Sep 13, 2016Updated 9 years ago
- A continuous implementation of hierarchical temporal memory on the GPU☆39Feb 28, 2015Updated 11 years ago
- Examples of polyvariadic functions in Haskell.☆34Sep 23, 2015Updated 10 years ago
- Merge sort correctness proof☆11May 21, 2015Updated 10 years ago
- A haskell wrapper for neo4j's Cypher REST API.☆20Jul 31, 2012Updated 13 years ago
- Example implementation of a tekton pipeline that deploys an Appsody project. This repo will be archived soon.☆11Dec 18, 2020Updated 5 years ago
- Kong Gateway plugin used to authenticate clients using mTLS☆10Apr 14, 2023Updated 2 years ago
- ☆14Apr 26, 2025Updated 10 months ago
- Using GHC with musl libc to get true static linking☆76Jul 29, 2015Updated 10 years ago
- Data vault for metrics☆58Mar 25, 2015Updated 10 years ago
- OLD, DEPRECATED: Use this instead https://github.com/haskell/haskell-ide-engine☆178Mar 15, 2013Updated 12 years ago
- Self-describing consumers/parsers☆43Aug 31, 2018Updated 7 years ago
- Ansible playbook of MooseFS☆12Sep 18, 2013Updated 12 years ago
- Wired Server application for Mac OS X☆14May 12, 2020Updated 5 years ago
- A password manager to share TOTP with your team☆14Jan 7, 2021Updated 5 years ago
- Agda to C compiler☆10Sep 23, 2025Updated 5 months ago
- State cache for WebGL Rendering Context☆17Jun 3, 2018Updated 7 years ago
- A container to deploy Drupal on Docker within an Alpine container. Contains PHP and Nginx.☆12Mar 24, 2020Updated 5 years ago
- A Parallel Haskell framework for particle-based Monte Carlo simulations☆13Apr 2, 2019Updated 6 years ago
- dockerized setup for tsuru deployment☆10Jan 26, 2017Updated 9 years ago
- Scalable HTTP health-checker for Hipache: https://github.com/dotcloud/hipache☆84Sep 11, 2014Updated 11 years ago
- PostgreSQL support for the drifter schema migration tool☆12Dec 25, 2017Updated 8 years ago
- Accepted papers for PLDI 2014☆15May 19, 2016Updated 9 years ago
- LXC playbook☆18Dec 10, 2018Updated 7 years ago
- Constructive definition of real numbers implemented in agda.☆10Jul 31, 2016Updated 9 years ago
- Haskell Dependency Injection☆14Sep 1, 2018Updated 7 years ago
- Math library supporting Scenic☆16Sep 17, 2018Updated 7 years ago
- Type declarations for Node's Buffer class☆10Jul 5, 2023Updated 2 years ago