☆15Nov 21, 2025Updated 7 months ago
Alternatives and similar repositories for git-democracy
Users that are interested in git-democracy are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Deciding Presburger arithmetic in agda☆33Mar 25, 2023Updated 3 years ago
- An attempt towards univalent classical mathematics in Cubical Agda.☆32Sep 15, 2023Updated 2 years ago
- ☆11Jul 2, 2024Updated 2 years ago
- The constitution for a decentralized autonomous organization for accelerating clinical research through open-source software collaboratio…☆11Apr 21, 2022Updated 4 years ago
- ☆26Sep 21, 2018Updated 7 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.
- Crazy experiment, ignore unless you know better☆37Jul 5, 2018Updated 7 years ago
- ☆11Jun 22, 2026Updated last week
- Install a package with e.g. `hdn add pkgs.hello`.☆17Jul 31, 2024Updated last year
- This action would help you to export DNS from Cloudflare☆12Sep 13, 2021Updated 4 years ago
- A curated list of awesome open health software, libraries, tools and resources.☆17Jul 2, 2023Updated 3 years ago
- Handle scheduled tasks associated with Eloquent models.☆18Mar 27, 2023Updated 3 years ago
- Elegant, emoji-based loading spinners to make your Haskell CLI applications more beautiful.☆21Jun 22, 2019Updated 7 years ago
- Satellite attitude simulator, equipped with reaction wheels and magnetic torquers☆11Mar 10, 2021Updated 5 years ago
- ZuriHac 2020 GHC typechecker plugins project☆19Aug 15, 2021Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Simple macOS GUI for ffmpeg written in Swift☆15Jun 22, 2020Updated 6 years ago
- Matlab command-line functions for supporting Simulink model comparison☆15Apr 3, 2022Updated 4 years ago
- Autonomous Theorem Prover for First Order Predicate Logic☆12Jun 29, 2020Updated 6 years ago
- Generate a JSON Schema (draft V4) for a given json string☆18Jun 24, 2022Updated 4 years ago
- ☆13Apr 23, 2025Updated last year
- A performant static site generator built to scale.☆12Apr 16, 2026Updated 2 months ago
- Archived - moved features to https://github.com/louis030195/obsidian-ava☆18Nov 24, 2022Updated 3 years ago
- Support for modular development with Simulink models☆15Jan 18, 2022Updated 4 years ago
- Better type id and Any for Rust☆17Dec 12, 2025Updated 6 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- 🐟 PhishTank Blocklist for Pi-hole☆13Updated this week
- Automatic performance regression tests for Rust code☆16Jan 27, 2020Updated 6 years ago
- Create a static page manifest of your Next.js exported html pages, allowing you to route to dynamic HTML pages☆13Jan 10, 2023Updated 3 years ago
- Postgresql capture data change software in Rust to allow realtime websockets☆12Sep 24, 2024Updated last year
- Mission planning instrument tools for pysat☆13Jan 13, 2025Updated last year
- Digital reward points☆14Nov 27, 2024Updated last year
- An Eleventy environment for creating CSS Houdini Paint worklets.☆13Dec 12, 2021Updated 4 years ago
- Experimental Datasette output plugin using CSS properties☆15Jun 2, 2026Updated last month
- An easy-to-use and extensible GUI library for Rust terminal applications☆11Oct 25, 2017Updated 8 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.
- A gitmoji-cli written in rust to be independent of Node.js☆10Apr 18, 2021Updated 5 years ago
- Design system for Australian Government Department of Health☆14May 6, 2026Updated last month
- A Discord bot for Automatic1111's Stable Diffusion web UI☆10May 18, 2025Updated last year
- Automatic Haskell setup in Emacs, for Nix users☆29Jun 15, 2019Updated 7 years ago
- 🎢 Detects user’s preferences for reduced motion using the 'prefers-reduce-motion' CSS3 level 5 media query.☆11Oct 17, 2023Updated 2 years ago
- Containers for PHP Censor CI system☆21Jan 11, 2024Updated 2 years ago
- Search GitHub's top repositories, users and organizations.☆19Feb 12, 2026Updated 4 months ago