A frontier formalization of all of theoretical computer science built atop CSLib.
☆41Nov 11, 2026Updated this week
Alternatives and similar repositories for cslib-frontier
Users that are interested in cslib-frontier are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Legacy Complexitylib V1; development continues at cslib-community/complexitylib.☆31Oct 22, 2026Updated 3 weeks ago
- i18n library for Lean.☆14Oct 22, 2026Updated 3 weeks ago
- Verified algorithms in Lean, implemented and proved by AIs☆12Apr 28, 2026Updated 6 months ago
- Faceted execution in Racket☆12Sep 11, 2018Updated 8 years ago
- Formalizing origami geometry and numbers☆11Aug 31, 2026Updated 2 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Course homework submission site☆14Sep 9, 2017Updated 9 years ago
- Integrating SolidJS and Meteor reactivity☆17Mar 22, 2024Updated 2 years ago
- Natural language Lean☆13Updated this week
- ☆20Feb 22, 2017Updated 9 years ago
- Verified computational algebra in Lean 4: aggregator for the released hex libraries☆38Oct 15, 2026Updated 3 weeks ago
- ☆19Updated this week
- Using Haskell's type system to guarantee commutativity.☆17Aug 1, 2013Updated 13 years ago
- A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.☆125Oct 27, 2026Updated 2 weeks ago
- Loom is a framework for automated generation of foundational multi-modal verifiers. This repository is a mirror with stable snapshots. Su…☆168Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆20Apr 19, 2026Updated 6 months ago
- AI tools for Physlib☆13Aug 12, 2026Updated 3 months ago
- Lean playground for programming language modeling tooling.☆16May 20, 2026Updated 5 months ago
- An always-running agent, but is trustworthy and secure.☆11Oct 12, 2026Updated 3 weeks ago
- Class of data structures that can be unfolded.☆22Jan 6, 2026Updated 10 months ago
- [ICLR2026] SparseEval: Efficient Evaluation of Large Language Models by Sparse Optimization☆14Feb 10, 2026Updated 9 months ago
- CTF Challenge for CSAW Finals 2021☆13Nov 17, 2021Updated 4 years ago
- Sources of the EuroProofNet web site.☆13Updated this week
- Unified Maude model-checking tool☆13Oct 18, 2026Updated 3 weeks ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- GitHub action for standard CI in Lean projects☆50Updated this week
- Code for ASPLOS 2026 paper: "Detecting Inconsistencies in ARM CCA’s Formally Verified Specification"☆13Jan 13, 2026Updated 9 months ago
- ☆14Dec 26, 2022Updated 3 years ago
- This is a Tamarin model of TLS 1.3☆10Apr 19, 2023Updated 3 years ago
- Some animations made using manim , showing quantum algorithms in action.☆11Oct 2, 2020Updated 6 years ago
- ☆17Jun 27, 2025Updated last year
- Tamarin models for Bluetooth secure pairing protocols: Passkey Entry (PE) and Numeric comparison (NC)☆11May 3, 2024Updated 2 years ago
- Bimodal text editing and direct manipulation-driven synthesis on tangible values for (some subset of) OCaml.☆10Jul 2, 2026Updated 4 months ago
- Terrain generator with 5 visually distinct biomes, spread them in regions and smooth their borders☆15May 3, 2018Updated 8 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A free and open source, extensible visual page builder based on SolidStart.☆34Jun 17, 2026Updated 4 months ago
- Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [mai…☆36Nov 1, 2026Updated last week
- Always wanted to write performant P4 based networking application in Go but don't know where to start? Then this is the place to get to. …☆18Feb 24, 2023Updated 3 years ago
- Script and library to wait for a DNS authority server to get its configuration.☆15Oct 21, 2021Updated 5 years ago
- Awesome list of formal verification tools, verified systems, papers, and learning resources☆17Oct 31, 2026Updated last week
- Development monorepo for Hex: verified computational algebra in Lean 4 (polynomial factoring, LLL, and friends). Released aggregate: http…☆24Updated this week
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
Are these results useful?