Home Manager, but for repos.
☆19Jul 21, 2026Updated this week
Alternatives and similar repositories for project-manager
Users that are interested in project-manager 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 definition and reference implementation for MRA in PureScript.☆18Aug 11, 2017Updated 8 years ago
- Implementation of Dhall in Dhall☆12Updated this week
- A Haskell library for generating Ruby consumers of Servant APIs.☆23Jun 30, 2026Updated 3 weeks ago
- ☆12Sep 5, 2022Updated 3 years ago
- Haskell bindings to the Polar query engine and Oso authorization library☆12Feb 15, 2022Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Processing HTTP Content-Type and Accept headers☆14May 17, 2024Updated 2 years ago
- Realise Nix derivations on demand.☆15Feb 10, 2025Updated last year
- Update flake packages by nix-update via github-actions☆18Oct 30, 2024Updated last year
- Abstract Binding Trees☆16Sep 4, 2016Updated 9 years ago
- My Nix-managed stuff configuration☆44Updated this week
- it's a starcraft clone but with a dope typesystem☆51Apr 7, 2020Updated 6 years ago
- My NixOs dotfiles for my machines☆11May 27, 2026Updated last month
- Experimental implementation of generic record subtyping☆18May 9, 2024Updated 2 years ago
- OAuth2 library for Common Lisp☆15Apr 2, 2012Updated 14 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Use JuicyPixels datatypes in Servant Requests/Responses directly☆19Oct 7, 2023Updated 2 years ago
- Reflection library for Coq☆12Sep 26, 2019Updated 6 years ago
- A rust port of Material Design color utilities☆15Feb 4, 2023Updated 3 years ago
- An experimental programming language based on the kell calculus.☆18Dec 6, 2023Updated 2 years ago
- A Docker client that hopefully won't be a pain in the butt.☆14Jul 19, 2024Updated 2 years ago
- A Cryptol major mode for Emacs.☆15May 31, 2019Updated 7 years ago
- Public, Opinionated Mayflower NixOS Modules/Packages and other Expressions☆39Jun 5, 2026Updated last month
- A Common Lisp compiler for the Parrot Virtual Machine☆25Sep 30, 2010Updated 15 years ago
- Parse/unparse JSON with roundtrip invertible syntax descriptions.☆17Feb 1, 2019Updated 7 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Data type isomorphic to α ∨ β ∨ (α ∧ β)☆14Apr 27, 2022Updated 4 years ago
- ☆21Sep 14, 2019Updated 6 years ago
- Mechanix for NixOS☆19May 1, 2026Updated 2 months ago
- Dockerfile to build Docker images☆12Jun 1, 2016Updated 10 years ago
- Automatic type class law checking.☆24May 2, 2026Updated 2 months ago
- Type equality constraints☆16Apr 27, 2022Updated 4 years ago
- Example of using Dhall to generate a terraform file to manage a Github Organisation☆11Dec 8, 2020Updated 5 years ago
- An interpreter for a small ML-ish language☆11Oct 6, 2017Updated 8 years ago
- My NixOS System configurations☆17Updated this week
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- A tiny, single-file yesod app that can be used as a base for reproducing bugs☆14Mar 24, 2022Updated 4 years ago
- A library for applying a row of rules for validation to refine a value☆12Jun 20, 2018Updated 8 years ago
- A (toy) library for interfacing with stripe.com from Common Lisp☆17Apr 9, 2013Updated 13 years ago
- VS Code extension that recommends using the Windows Subsystem for Linux (WSL) and the Remote WSL extension.☆12Mar 30, 2026Updated 3 months ago
- HTTP request lib for Emacs built on curl with flexible callback dispatch☆14Mar 17, 2025Updated last year
- A tool to fill in the version ranges in a cabal file.☆17Jun 21, 2015Updated 11 years ago
- Ruby bindings for Augeas☆18Aug 7, 2024Updated last year