Tool for RFCs
☆333Mar 10, 2026Updated 3 months ago
Alternatives and similar repositories for cq2
Users that are interested in cq2 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- RQ Worker Autoscaler☆14Jun 26, 2023Updated 3 years ago
- Personalised word search puzzle for your special someone☆22Updated this week
- Configuration files for my primary applications.☆17Jul 20, 2025Updated 11 months ago
- Program details, projects and resources for OpenHack '20☆11Jun 30, 2022Updated 4 years ago
- the djot document compiler☆16Jun 7, 2023Updated 3 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.
- Convert podstast RSS feed to transcriptions using whisper model☆12Jan 21, 2023Updated 3 years ago
- ☆27Jun 20, 2024Updated 2 years ago
- Agda to C compiler☆10Sep 23, 2025Updated 9 months ago
- A toy programming language I wrote in late 2022☆27Apr 3, 2024Updated 2 years ago
- A complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) an…☆31Sep 21, 2022Updated 3 years ago
- 🍃 The Leaf SDK — Entity-Component Data on top of synchronized CRDTs☆16Jun 2, 2025Updated last year
- Let's rethink how we interact with Agda☆18Nov 18, 2022Updated 3 years ago
- IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuatio…☆29Jun 26, 2026Updated last week
- Neovim plugin to support Cursorless☆18Updated this week
- 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.
- Semgrep rules specific to Frappe Framework☆64Jun 5, 2026Updated last month
- Scope Graph Implementation in Rust☆32Nov 22, 2024Updated last year
- GitHub doesn't allow malayalam text in repository slug 😔. Read it as കിട്ടും.com☆94Oct 25, 2024Updated last year
- Native PostgreSQL app for macOS☆98Jun 4, 2026Updated last month
- skipifzero technologies, core libraries, game engines, graphics apis, etc☆15Apr 15, 2023Updated 3 years ago
- ☆16Dec 28, 2021Updated 4 years ago
- A sound sensing system using NodeMCUs and Websockets☆14Apr 14, 2022Updated 4 years ago
- 🪓 An orchestration engine for background tasks, AI agents, and durable workflows☆7,470Updated this week
- Haskell library of row polymorphic record manipulator☆23Oct 19, 2020Updated 5 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆22Jul 24, 2021Updated 4 years ago
- Formalizing stochastic doubly-efficient debate☆119Oct 8, 2024Updated last year
- being a particular fragment of Haskell, extended to a proof system☆45Mar 2, 2026Updated 4 months ago
- Flexible Haskell library for parsing and printing S-Expressions☆21Oct 30, 2024Updated last year
- Rust crate for auto-discovery of feeds in HTML content☆13Dec 14, 2021Updated 4 years ago
- Set up a specific version of Agda for your GitHub Actions workflow.☆32Nov 24, 2025Updated 7 months ago
- Rust library for parsing English time expressions into start and end timestamps☆18Oct 10, 2023Updated 2 years ago
- ☆16Jun 9, 2024Updated 2 years ago
- A Rougelike Peer-to-Peer Multi Player Dungeon Explorer Game written in Rust☆10Feb 12, 2022Updated 4 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.
- Think tmux, then aim... lower☆1,879Jul 1, 2026Updated last week
- Text compression for generating keyboard expansions☆1,418Sep 30, 2023Updated 2 years ago
- Self-hosted AI-powered transcription platform with speaker diarization, search, and collaboration features. Built with Svelte, FastAPI, a…☆73Updated this week
- Google Summer of Code tokio-console prototype☆14Aug 27, 2019Updated 6 years ago
- A gui tool written in Dioxus to make it easy to release a workspace of crates to crates.io☆14Feb 22, 2023Updated 3 years ago
- Nightly builds☆23Updated this week
- A Matrix bridge to ActivityPub. Mirror of https://gitlab.com/kazarma/kazarma. For issues and pull requests, please use GitLab.☆23Dec 24, 2025Updated 6 months ago