Design software once, as a state machine, and derive and prove everything else: tests, architecture contracts, build instructions, and machine-checked proofs
☆14Oct 29, 2026Updated this week
Alternatives and similar repositories for machinery
Users that are interested in machinery are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- RLM-first backend for the Pi coding agent: a small local model writes code, runs it, verifies, and iterates. Code generation first, with …☆13Oct 23, 2026Updated last week
- The beginnings of Go EventSource library for Server Sent Events.☆11Aug 6, 2013Updated 13 years ago
- fzf-powered pane navigation and remote session management plugin for tmux.☆14Oct 22, 2026Updated last week
- ☆15Mar 15, 2026Updated 7 months ago
- Fast, standalone CLI for Obsidian vault operations. No Electron, no app dependency, no network calls.☆11Jun 12, 2026Updated 4 months 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.
- Pedestrian Traffic Light Detector for visually impaired people☆13May 26, 2018Updated 8 years ago
- A library to connect and stream data from the GNIP streaming API☆14Jan 5, 2016Updated 10 years ago
- A full-featured terminal markdown renderer for OpenTUI. Supports LaTeX, Mermaid diagrams, tables, admonitions, streaming and more.☆17Jul 19, 2026Updated 3 months ago
- Rack middleware for Server-Sent Events (HTML5 SSE)☆18Apr 8, 2012Updated 14 years ago
- ☆28Updated this week
- Reflow Markdown prose: sentence-per-line (semantic line breaks), paragraph-per-line, and hard wrap. Go library + CLI.☆25Oct 18, 2026Updated 2 weeks ago
- Add type definitions, code completion, control flow to YAML via TypeScript☆19May 17, 2018Updated 8 years ago
- Apple Music と iTunes の音楽を自動取得しGraphQLで公開出来るプラットフォーム☆15Aug 28, 2023Updated 3 years ago
- A step-by-step KVM hypervisor for learning virtualization internals.☆40Sep 26, 2026Updated last month
- 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.
- Notes from the Kubernetes Atlanta Meetup☆18Sep 3, 2024Updated 2 years ago
- ChatGPT Clone https://chat-c.netlify.app☆16Mar 20, 2023Updated 3 years ago
- Fixture loader for Jasmine☆15Mar 27, 2018Updated 8 years ago
- iOS Client + Kotlin Server App illustrating various TDD approaches for common functionality.☆15Feb 12, 2022Updated 4 years ago
- Ansible role for managing wireguard on vyatta based routers☆18Jun 17, 2021Updated 5 years ago
- Fast and intuitive evals on any LLM☆22Jan 14, 2026Updated 9 months ago
- Transaction Tokens (RFC 8693) for Kubernetes — seal identity, context, and authorization across multi-hop agent workflows via AgentGatewa…☆26Jun 12, 2026Updated 4 months ago
- Automatically keeps your active HerdR workspace in sync with your existing Zed session.☆35Oct 6, 2026Updated 3 weeks ago
- A small, simple and incomplete Lisp/Scheme interpreter written in Ruby☆10Mar 20, 2015Updated 11 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.
- Agentic sandbox enumeration: find security issues, and seed escape automation.☆28Updated this week
- A Web Component for rendering GLSL shaders in HTML documents.☆10Mar 31, 2025Updated last year
- convert .docx files into html☆10Apr 22, 2015Updated 11 years ago
- MITRE ATT&CK AI agent skills☆30May 10, 2026Updated 5 months ago
- ☆39Jul 31, 2025Updated last year
- Zeno - Unbounded context through recursive reading. Codex & Claude Code plugin. :)☆22Jan 5, 2026Updated 9 months ago
- Stable, performant, automated browser testing for Ginkgo and Vitest☆29Updated this week
- Arelleを使用してXBRLデータから情報を取得する☆17Nov 19, 2020Updated 5 years ago
- A Bosh release for Apache Mesos☆19Aug 16, 2014Updated 12 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.
- (work in progress) rspec integration testing for vagrant vms☆17Sep 9, 2011Updated 15 years ago
- Helps you to deploy your Rails app as an RPM in seconds. This Gem helps you generate an RPM.spec file, helps you build the RPM, and to au…☆11Oct 22, 2012Updated 14 years ago
- Audio Queue Services with Swift☆11Oct 6, 2016Updated 10 years ago
- Transform an Obsidian vault into PARA + Zettelkasten structure using DSPy and RLM☆119Mar 24, 2026Updated 7 months ago
- A simple rspec mode for emacs☆11Sep 2, 2014Updated 12 years ago
- Image editor from scratch. Includes a TrueType font parser and PNG encoder/decoder☆11Oct 22, 2025Updated last year
- An experimental Vagrant clone written in Go, spinning Docker containers instead of VMs☆41Mar 24, 2014Updated 12 years ago