A capability-based microkernel written in Lean 4
☆15Nov 11, 2026Updated this week
Alternatives and similar repositories for seLe4n
Users that are interested in seLe4n are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- experimental LeanOS formally verified OS☆20Updated this week
- A certified RISC-V Interpreter with Hoare-logic in Lean☆23Aug 11, 2026Updated 3 months ago
- Lean4: Total parser combinator library with do notation☆23Sep 9, 2026Updated 2 months ago
- Floating Point Semantics Mechanization for Lean☆28Nov 4, 2026Updated last week
- A rust port of con-leche☆36Updated this week
- 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.
- ☆41Oct 1, 2026Updated last month
- Formally Verified Float Implementation with lean4☆25Sep 12, 2026Updated 2 months ago
- Total parser combinators library for Lean4☆11May 10, 2025Updated last year
- Algorithms and Complexity Library using the lightweight query combinator framework called "Prog"☆31Updated this week
- Lean 4 Markdown rendering library — types, rendering functions, and Represent typeclass☆14Jul 16, 2026Updated 3 months ago
- a Lean wrapper for the MD4C Markdown parser☆13Jun 22, 2026Updated 4 months ago
- A full-stack web and TUI framework inspired by Yesod and Elm.☆15Oct 29, 2026Updated 2 weeks ago
- Sqlite3 bindings for lean4☆12Jul 12, 2026Updated 4 months ago
- (Mirror) A Music formalization library and DSL in Lean 4☆28Aug 25, 2026Updated 2 months ago
- 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.
- ☆10Sep 18, 2025Updated last year
- Autoformalization of Baek's solution to the moving sofa problem: the Gerver sofa is optimal☆13Sep 22, 2026Updated last month
- A YAML 1.2.2 parser in Lean 4 with the goal of **verified correctness**☆13Updated this week
- ☆10May 20, 2026Updated 5 months ago
- Solutions to the Incredible Proof Machine https://incredible.pm/☆10Oct 3, 2026Updated last month
- Lean playground for programming language modeling tooling.☆16May 20, 2026Updated 5 months ago
- An seL4 reference webserver application☆12Jul 22, 2026Updated 3 months ago
- Lean formalization of the smooth and topological Poincare conjectures following Morgan and Tian.☆15Oct 5, 2026Updated last month
- Formalizing the Poincaré Conjecture in Lean 4☆13Nov 4, 2026Updated last week
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- ☆148Updated this week
- Levi-Civita field implementation in Lean 4 for computing with infinities and infinitesimals.☆11Dec 28, 2024Updated last year
- Binary Decision Diagrams in Lean 4☆14Jul 26, 2026Updated 3 months ago
- ☆14Mar 23, 2026Updated 7 months ago
- Experiments on implementing Dependent Pattern Matching under Normalization by Evaluation setup.☆15Oct 31, 2026Updated last week
- Total lexer and parser for Idris2☆19Sep 22, 2025Updated last year
- LaTeX code for a paper on lean's type theory☆176Aug 2, 2022Updated 4 years ago
- A Lean formalization of the theory of oracle computability and Turing degrees via partial recursive functions☆14May 28, 2026Updated 5 months ago
- Plain-text declaration export for Lean 4☆49Oct 14, 2026Updated 3 weeks 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.
- Formal Verification of the OpenVM RISC-V, Keccak, and SHA-2 Extensions☆14Jul 15, 2026Updated 3 months ago
- ☆16Updated this week
- Refuting Jian-Gang Tang's AI-generated crackpot paper "A Homological Proof of P ≠ NP: Computational Topology via Categorical Framework"☆18Oct 28, 2025Updated last year
- A list of resources to learn Interlingua, a constructed language that connects European languages.☆11Oct 28, 2025Updated last year
- Sources for the UEFI experiments on https://krinkinmu.github.io/☆36Oct 24, 2023Updated 3 years ago
- ☆14Feb 26, 2026Updated 8 months ago
- ☆60Updated this week
Are these results useful?