Rocq formalisation of the lambda calculus with partial substitutions
☆52Oct 16, 2026Updated last week
Alternatives and similar repositories for lambda-sub
Users that are interested in lambda-sub are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Lean 4 hypervisor memory ownership model with machine-checked isolation proofs☆91Oct 18, 2026Updated last week
- Companion code for the book The Self-Healing Pipeline: How I Taught My CI/CD Pipeline to Fix Itself at 2 AM☆74Oct 13, 2026Updated last week
- ⚡ Fast local proxy checker for HTTP/HTTPS/SOCKS4/SOCKS5 — live results with country, quality & risk, offline GeoIP, saved pools. Free & o…☆67Oct 12, 2026Updated last week
- Professional WordPress cookie consent and privacy management plugin by Tuedion, powered by Orest Bida's CookieConsent.☆78Sep 25, 2026Updated last month
- Text-to-SQL access control: schema selection that gives the LLM only the tables the caller is allowed to read. Row-level-security-aware t…☆168Updated this week
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆66Oct 10, 2026Updated 2 weeks ago
- Plugin for turning notes into runnable, typed, and reproducible polyglot workspaces☆34Aug 31, 2026Updated last month
- ☆37Updated this week
- A clean architecture template for Flutter App, which consists of some pre-installed packages, widgets and files.☆20Sep 13, 2026Updated last month
- OpenTelemetry plugins for every coding agent, in the Agent Plugins format — a marketplace that runs itself: open an issue, the repository…☆97Updated this week
- Coordinate Claude, Codex and Cursor windows with shared tasks, acknowledgements, prechecks, parallel tests, source-bound proofs and indep…☆526Updated this week
- Synaplan AI integration into nextcloud for RAG powered discussions, translations and summaries. Run your own AI platform next to your nex…☆156Updated this week
- T-WLA: Bridging Slow Vision and Fast Touch☆46Oct 18, 2026Updated last week
- Crypto Flash Sender Software is Packed With Advanced Functionalities Engineered For Optimal Performance And Free Demostration user Experi…☆32Updated this 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.
- A live, hand-illustrated collage of the birds outside your window — named by ear. A standalone Belkins build of BirdNET-Pi (CC-BY-NC-SA-4…☆111Sep 9, 2026Updated last month
- An operating system for a language model that wants things.☆54Updated this week
- ☆31Oct 13, 2026Updated last week
- Self-hosted decision model (selfjev-4b) with a Jev-compatible API: Python SDK, server, fine-tuning and RLCD.☆53Updated this week
- Salesforce DX code review: Apex, LWC, Flows, security (CRUD/FLS), governors, and Bugbot.☆101Oct 10, 2026Updated 2 weeks ago
- See the quota left on Claude Code, Codex, Cursor and Antigravity, launch the tool that has room and hand a task over. Windows tray, macOS…☆49Updated this week
- SteerAct: Unlocking Action Models through Few-Shot Temporal Steering☆142Updated this week
- Fast, native SSH client for macOS, Windows and Linux (Rust, GPUI, libghostty-vt)☆63Updated this week
- Detecting, normalizing, classifying, and extracting scholarly identifiers in R.☆23Sep 29, 2026Updated 3 weeks ago
- 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.
- Production-grade SEO + GEO content factory for Claude Code — research, write, fact-check, optimize, publish to WordPress, monitor. Battle…☆49Aug 17, 2026Updated 2 months ago
- The lowest-overhead instant replay game capture for Windows: captured and encoded on the GPU, no overlay, no launcher, no bloat.☆22Oct 18, 2026Updated last week
- LCM-X — Lossless Context Memory eXtension☆98Updated this week
- Open-source AI desktop assistant — run local or remote LLMs with privacy-first design and zero setup required.☆71Updated this week
- Open-source visual LLM IDE, model-agnostic, freely configurable.☆141Oct 11, 2026Updated 2 weeks ago
- Opensource PaaS. Manage applications and agents stack from one place, from deploy to monitoring.☆205Updated this week
- Claude Code skill: rewrite a task into a more ambitious version (altitude, depth, range)☆129Oct 14, 2026Updated last week
- Hyprland-like tiling window manager for macOS: AeroSpace fork with dwindle layout, bezier animations, rounded corners, wallpaper colors,…☆173Updated this week
- 一起点餐，一起造梗。双人协作餐点表情图工作室：选餐、写台词、共同确认、导出漫画。支持简体中文与英文，当前为演示原型。☆42Oct 14, 2026Updated last week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- MCP server and design skill that grounds coding-agent UI work in real product screens. Two tools, npx-installable.☆74Oct 17, 2026Updated last week
- ACRYL - Agent Context Relay Yielding Lifecycles. One persistent workspace, one canonical context, any coding agent.☆300Updated this week
- Tools to recover, extract and decrypt Phantom wallets☆41May 24, 2025Updated last year
- Open-source AI security verification for model artifacts, live endpoints, MCP servers, and recorded agent traces. Reproducible evidence f…☆258Updated this week
- CC BY-NC-SA 4.0☆47Oct 17, 2026Updated last week
- Trace visualisation tool for Eio programs☆16Sep 5, 2025Updated last year
- ☆52Updated this week