Declare the infrastructure
☆13Oct 11, 2026Updated last week
Alternatives and similar repositories for infra
Users that are interested in infra are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆23Oct 12, 2026Updated last week
- Ask TypeSafe's Jev decision model questions about your data from inside Snowflake. dbt package plus a Terraform module.☆19Sep 27, 2026Updated 3 weeks ago
- ☆22Sep 25, 2026Updated 3 weeks ago
- A proof of concept EVM to EVM cross-chain communication protocol using EVM Storage Proofs and Oracles.☆12Jan 2, 2021Updated 5 years ago
- A semantic network and reasoning engine in which rules, facts and numbers are nodes of one graph, so a statement is itself a node. Import…☆16Oct 16, 2026Updated last week
- 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.
- Formal specification of Resonate, written in Lean 4☆24Oct 15, 2026Updated last week
- A package to aid in performing context engineering work within dbt.☆46Updated this week
- The event continuation language☆33Updated this week
- Provision a hardened Hermes Agent on Hetzner with rootless Podman and Tailscale.☆25May 24, 2026Updated 5 months ago
- Automatically focus search inputs☆11Jul 16, 2020Updated 6 years ago
- Template for Lean<->Rust FFI☆17Feb 11, 2024Updated 2 years ago
- Lean coding problem solving challenge website with proof verification☆13Jul 8, 2025Updated last year
- Downloadable, self-hosted desktop ERP for business operations. Modular, source-available core, MIT modules, no cloud required.☆33Updated this week
- A race detection tool for event driven applications.☆19Sep 21, 2015Updated 11 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Lean 4 library and knowledge base for computational economics☆42Oct 14, 2026Updated last week
- Go bindings for nono.sh☆16Sep 30, 2026Updated 3 weeks ago
- Specify preferred audio routes for different apps☆15Jun 22, 2022Updated 4 years ago
- Lean 4 tree-sitter bindings — typed grammar schemas, declaration extraction, source maps, and verified properties☆21Jul 16, 2026Updated 3 months ago
- Convenience package for starting the deno lsp server☆11Updated this week
- A smaller tool for simple convertion workflow☆37Aug 9, 2026Updated 2 months ago
- Better launcher for Source Engine game SDKs☆10Apr 16, 2024Updated 2 years ago
- A type-safe, deeply-embedded SQL query DSL for Lean 4☆27Oct 13, 2026Updated last week
- Cloudflare Workers I run, with assorted purposes☆12Aug 22, 2026Updated 2 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆52Aug 12, 2026Updated 2 months ago
- ☆23Updated this week
- ☆19Updated this week
- ☆52Jul 12, 2026Updated 3 months ago
- Let's get some Elixir rolling in Lisbon! https://meetup.com/lisbon-elixir☆11Feb 26, 2019Updated 7 years ago
- Create narrated interactive lessons with synchronized scenes and optional AI assistance.☆35Sep 29, 2026Updated 3 weeks ago
- [Discontinued] Zig as a Clojure library.☆14Sep 15, 2026Updated last month
- SQLite bindings for Lean☆54Oct 14, 2026Updated last week
- Disables passcode after a respring.☆19Apr 13, 2021Updated 5 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.
- ☆20Oct 17, 2026Updated last week
- Login Area Finder: scans host/s for login panels☆14Sep 21, 2014Updated 12 years ago
- Fair Fun Fast Ledger in the browser - starting with the network using WebRTC data.☆20Apr 7, 2026Updated 6 months ago
- Vis is a coding agent that combines tools into Python programs. It can chain operations, run them in parallel, and inspect results before…☆14Updated this week
- iOS automated SDK builder☆19Feb 26, 2024Updated 2 years ago
- A curated list of AI-native products: apps and tools where the LLM is the product itself, not a bolted-on feature.☆16Updated this week
- Tendermint Elixir ABCI Application Boilerplate☆12Jan 31, 2018Updated 8 years ago