Claude/Codex skill and local workflow layer for efficient interaction with Lean 4 and Monte-Carlo Tree Search.
☆41Oct 17, 2026Updated this week
Alternatives and similar repositories for lean-beam
Users that are interested in lean-beam are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆15Jul 6, 2026Updated 3 months ago
- Esoteric Programming Languages, Formally☆61Sep 6, 2026Updated last month
- Using Haskell's type system to guarantee commutativity.☆17Aug 1, 2013Updated 13 years ago
- A verified tensor library in Lean☆50Sep 15, 2026Updated last month
- A formal proof of an exponentially better upper bound on Ramsey numbers☆19Oct 22, 2023Updated 2 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Python module to follow new lines from multiple files at once, taking account of new files, deleted files, and rotated files.☆12Aug 5, 2019Updated 7 years ago
- Implementation of the model from "Faster sorting algorithms discovered using deep reinforcement learning" that discovered an all-new ult…☆11Aug 29, 2023Updated 3 years ago
- ☆18Jul 30, 2026Updated 2 months ago
- An example TLA+ specification for a simple "raft style" leader election protocol☆10Oct 7, 2022Updated 4 years ago
- ngcc artifacts☆46Updated this week
- ☆11Sep 22, 2017Updated 9 years ago
- Moana implementation in OCaml☆16Jul 15, 2015Updated 11 years ago
- Developer documentation for EMF APIs☆16Sep 21, 2026Updated 3 weeks ago
- SQLite bindings for Lean☆53Oct 12, 2026Updated last week
- 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.
- Parallel, fused reducers for Lean 4☆16May 30, 2026Updated 4 months ago
- ☆13Oct 1, 2026Updated 2 weeks ago
- SCITT API Emulator☆10Nov 22, 2024Updated last year
- A certified Sudoku solver in Coq [maintainers=@siraben,@thery]☆20Nov 14, 2022Updated 3 years ago
- ExtendJ is a Java compiler implemented in reference attribute grammars using JastAdd.☆14Oct 3, 2026Updated 2 weeks ago
- ☆11Oct 21, 2024Updated last year
- This repository contains exercises and projects on computational science and AI for the CompSci program. Lecture notes at https://compph…☆18Oct 14, 2024Updated 2 years ago
- Universal minimum GitHub CI scripts and issue templates for a V project☆14Sep 14, 2023Updated 3 years ago
- Proposal for the next generation of course-oriented IR.☆10Dec 24, 2021Updated 4 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.
- 在线图书借阅系统 - 2017 THU OOP课大作业☆14Jul 1, 2018Updated 8 years ago
- Haskell ctags/etags generator☆13Nov 20, 2015Updated 10 years ago
- The "DIstributed Analytical BLOckchain" Benchmark Framework. (Diablo). Measures blockchains with a focus on real-world applications and w…☆13Jan 12, 2024Updated 2 years ago
- A distributed database service for the Concordant platform.☆13Sep 17, 2022Updated 4 years ago
- This repository contains software for projects focusing on computer-aided verification of (distributed) cryptographic protocols and algor…☆12Jan 10, 2025Updated last year
- Sapphire source code☆11Nov 17, 2017Updated 8 years ago
- ☆53Updated this week
- ☆10Apr 25, 2020Updated 6 years ago
- A router IP written in Verilog.☆12Dec 20, 2019Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Configuration for AI coding agents.☆17Oct 9, 2026Updated last week
- A LaTeX template for academic posters with Tsinghua University logo☆15Nov 18, 2022Updated 3 years ago
- TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.☆16Dec 16, 2024Updated last year
- ☆13Nov 10, 2024Updated last year
- A complete workshop content with a series of tracks and hands-on labs on various techniques to protect data in use.☆14Sep 10, 2020Updated 6 years ago
- [work-in-progress] Java parser written in Rust☆19May 19, 2022Updated 4 years ago
- Sample EVM application for CCF☆15Aug 23, 2021Updated 5 years ago