A Lean 4 + Mathlib proof service for the agent working on your code
☆25Nov 10, 2026Updated this week
Alternatives and similar repositories for formal
Users that are interested in formal are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Run stock llama.cpp with the stock Unsloth Qwen3.6-35B-A3B 4-bit on a 16 GB Mac.☆14Nov 6, 2026Updated last week
- "serverless" WebSocket example☆30May 22, 2023Updated 3 years ago
- Streams a Kasa Cam KC400 to an RTSP endpoint☆10Feb 4, 2022Updated 4 years ago
- Tiny, dependency-free autocomplete for zsh. Press space, get suggestions.☆15Oct 19, 2026Updated 3 weeks ago
- A rust crate for interacting with gpt-3☆10Jun 26, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Forgot the command? Say hi. Get editable shell suggestions as ghost text in zsh.☆19Sep 26, 2026Updated last month
- Efficient sampling with uniform probability☆32Jun 16, 2022Updated 4 years ago
- Persistent memory for Claude Code, Claude Desktop, and Codex — save once, recall across sessions, shared across all your AI CLIs.☆17Oct 22, 2026Updated 3 weeks ago
- Type Theory in Type Theory using Cubical Agda☆15Feb 21, 2019Updated 7 years ago
- Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -…☆13Sep 22, 2020Updated 6 years ago
- A course on TypeScript async await fundamentals☆10Jul 16, 2019Updated 7 years ago
- Within's Discord Bot☆18Apr 19, 2023Updated 3 years ago
- (re)arrange and select fields on each line☆12Sep 15, 2025Updated last year
- Manage sysctl through Emacs☆15Oct 25, 2020Updated 6 years 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.
- OSMesa source code and cargo build scripts to compile on Linux and Mac☆13Mar 20, 2024Updated 2 years ago
- An English translation of Deligne's three "Hodge theory" papers☆15Sep 21, 2026Updated last month
- A well typed by construction kernel language for bidirectional programming☆14Jan 2, 2025Updated last year
- My Mikan scratchpad☆13Nov 5, 2026Updated last week
- a lib☆11Oct 16, 2025Updated last year
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 4 years ago
- Qwen3.8-Flash-Next-FP8 (48-layer MoE, 512 experts) on one RTX 3070 Ti plus 24 Maxwell GPUs from six Tesla M10 cards. PCIe multicast, GPU …☆40Nov 7, 2026Updated last week
- A binary encoder / decoder implementation in Rust. (Forked from the now-defunct bincode)☆12Nov 2, 2020Updated 6 years ago
- a fixpoint for your work - reconstruct your workday without time tracking☆14Apr 22, 2026Updated 6 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A generic Either type implementation for Rust☆14Jan 4, 2023Updated 3 years ago
- 🧪 | Lisp with REPL and macros which will compile itself☆14Dec 4, 2024Updated last year
- Stack clash coroutine demonstration☆13Jun 21, 2017Updated 9 years ago
- Gojira is a record and replay framework for Java apps meant for regression testing. It provides complete recording capability within a si…☆14Feb 5, 2025Updated last year
- Flame graphs for JVMs running inside Docker containers☆11May 6, 2019Updated 7 years ago
- Learn the AWK programming language with Emacs Org-drill☆15May 12, 2023Updated 3 years ago
- Proxy for angular http service. Schedules request send in service-worker and/or IndexedDB.☆10Nov 11, 2017Updated 9 years ago
- Convert a nodejs .cpuprofile to a renderable flame graph node☆12Jan 3, 2019Updated 7 years ago
- A personal etude into rust software (RPG<-it's more fun to debug) development: Tales of the Great White Moose☆18Jun 13, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Ansible role provisioning Odoo.☆13Oct 19, 2026Updated 3 weeks ago
- Negative trait implementations on stable Rust.☆19Nov 2, 2026Updated last week
- Regionalized Value State Dependence Graph written in Rust☆13Nov 17, 2019Updated 6 years ago
- Pragmatic Data Structure for Java☆13Jul 2, 2018Updated 8 years ago
- A tool for reporting new webpack bundle duplicates to github and slack☆21Mar 5, 2021Updated 5 years ago
- Repository used for my master's thesis on implementing RVSDG as a dialect of MLIR☆14May 30, 2023Updated 3 years ago
- Import ES modules without cache.☆11Nov 7, 2026Updated last week
Are these results useful?