☆18Oct 5, 2026Updated last month
Alternatives and similar repositories for proceda
Users that are interested in proceda are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Toy distributed PostgreSQL by implementing SQL over KV☆12Jan 14, 2026Updated 9 months ago
- A correctness-first SCXML 1.0 interpreter (ECMAScript data model) with custom elements for interactive statecharts☆27Oct 10, 2026Updated 3 weeks ago
- Go PL/SQL parser using ANTLRv4☆11Updated this week
- my emacs configuration☆11Sep 22, 2026Updated last month
- A Markdown to HTML compiler written in Haskell.☆18Apr 15, 2024Updated 2 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.
- Lightweight s3 client with zero dependencies☆17Oct 2, 2026Updated last month
- A native, harness-neutral workspace for agent sessions, task graphs, diffs, and durable work — Pi first, Codex and Claude next.☆14Sep 29, 2026Updated last month
- Find function references in directory☆12Feb 4, 2023Updated 3 years ago
- Generic tokenizer written in Go☆18Dec 5, 2019Updated 6 years ago
- My personal emacs setup☆12Updated this week
- Run shell searches and store them reproducibly in Emacs buffers☆12Apr 24, 2026Updated 6 months ago
- ☆11Oct 1, 2026Updated last month
- Proofmood is a computer logic system specifically tailored for Fitch calculus, covering propositional logic, first-order logic, and type …☆12Nov 1, 2023Updated 3 years ago
- String deduplication package for Go☆19Jan 10, 2024Updated 2 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.
- Terminal emulator written in Go and Gio☆15Oct 8, 2023Updated 3 years ago
- A living architecture map for any codebase, any language, any coding agent. See what every change does to the structure, and stop it cros…☆15Updated this week
- My configuration files☆10Updated this week
- Color Magit-blame headers by age☆11Jun 4, 2026Updated 5 months ago
- Generated code for german tax calculation from https://www.bmf-steuerrechner.de/☆15Dec 1, 2023Updated 2 years ago
- Record polished product demos from inside pi: screen + webcam bubble + click-driven auto-zoom, exported small enough for socials.☆14Sep 16, 2026Updated last month
- A command-line client for 750words.com.☆13Jun 25, 2022Updated 4 years ago
- Terraform scripts for provisioning nodes in the Hetzner cloud☆20Sep 24, 2026Updated last month
- An efficient binary serialization format for numerical data.☆18Nov 3, 2025Updated last year
- 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.
- Command line tool for asset hashing☆20Feb 16, 2018Updated 8 years ago
- ☆10Updated this week
- korean layer for spacemacs☆11May 15, 2020Updated 6 years ago
- A framework in Org Mode to assist users in managing data that changes over time from web pages and web APIs.☆17Mar 22, 2026Updated 7 months ago
- Make asyncio great again☆11Jun 25, 2026Updated 4 months ago
- automate mailchimp reports using google apps script and google spreadsheets☆10Mar 9, 2014Updated 12 years ago
- ☆13Updated this week
- NHN Dooray 서비스의 MCP 서버를 제작합니다.☆10Aug 10, 2026Updated 2 months ago
- ☆18Oct 17, 2018Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Benchmark of common hash functions☆10Sep 15, 2019Updated 7 years ago
- N. Wirth's Project Oberon RISC compiler ported to Go.☆21Feb 12, 2024Updated 2 years ago
- Leiningen template for a new component based app implementing the reloaded workflow☆17May 8, 2015Updated 11 years ago
- Generic RDF-based engine for building collaboration and open publishing web sites☆17Mar 10, 2021Updated 5 years ago
- Mirror of https://codeberg.org/krisbalintona/emacs-config☆12Sep 19, 2026Updated last month
- Beads Emacs Mode☆13Updated this week
- Use MPV to play media files via Dired in GNU Emacs. 🪈🎶☆13Oct 16, 2026Updated 3 weeks ago