A Python environment manager built in Lean 4
☆11Jun 22, 2026Updated 3 months ago
Alternatives and similar repositories for viper
Users that are interested in viper are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- sockets for Lean 4☆23Jul 10, 2025Updated last year
- ☆15Updated this week
- An reimplementation of the Proost proof-assistant written in Lean 4☆12Mar 3, 2024Updated 2 years ago
- Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.☆36Mar 25, 2026Updated 6 months ago
- Tool for compiling Lean to WASM☆29Mar 17, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- An ott-like DSL embedded in Lean.☆22Updated this week
- Sokoban implementation in lean for proving solvability / unsolvability☆14Apr 21, 2021Updated 5 years ago
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago
- i18n library for Lean.☆14Aug 21, 2026Updated last month
- Simply Typed Lambda Calculus with de Bruijn indices☆19Oct 9, 2026Updated last week
- ☆19Jan 20, 2025Updated last year
- ☆18Feb 20, 2024Updated 2 years ago
- (Mirror) A Music formalization library and DSL in Lean 4☆26Aug 25, 2026Updated last month
- ☆34Jun 15, 2025Updated last year
- 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.
- A Logical Relation for Martin-Löf Type Theory in Agda☆11Jul 31, 2025Updated last year
- WIP collections library for Lean 4☆32May 8, 2025Updated last year
- ☆18Oct 12, 2026Updated last week
- Tool to analyse the import structure of lean projects.☆28Updated this week
- My personal development environment☆11Updated this week
- A highlight.js language grammar for the Lean theorem proving language.☆13Oct 7, 2026Updated 2 weeks ago
- Type Checking in Lean 4☆41Mar 22, 2026Updated 6 months ago
- A Lean 4 library for iterators.☆15Dec 10, 2023Updated 2 years ago
- A parser for PureScript's corefn JSON representation.☆14Feb 9, 2019Updated 7 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.
- GitHub action for standard CI in Lean projects☆48Updated this week
- An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4☆17May 18, 2022Updated 4 years ago
- The Noperthedron does not have Rupert Property: a proof in Lean4☆20Updated this week
- ☆17Jan 6, 2026Updated 9 months ago
- Lean 4 library and knowledge base for computational economics☆41Oct 14, 2026Updated last week
- Scala Native 3 bindings for SFML library☆15Jul 9, 2023Updated 3 years ago
- ☆14Sep 16, 2026Updated last month
- Cenários e efeitos da pandemia causada pelo novo coronavírus SARS-CoV-2 no Amazonas: Análise e previsão de séries temporais com a bibliot…☆10Jul 7, 2021Updated 5 years ago
- Raylib bindings for Lean4☆33Apr 28, 2025Updated last year
- 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.
- computable implementation of real numbers in Lean4☆55Jul 6, 2025Updated last year
- SDL2 bindings for lean☆24Dec 27, 2025Updated 9 months ago
- Packer recipe to create Guix images☆14Mar 24, 2018Updated 8 years ago
- Nightly builds☆23Updated this week
- 🌐 | HTTP primitives for Lean 4☆56Dec 23, 2025Updated 9 months ago
- ☆17Jan 4, 2021Updated 5 years ago
- Run code from many programming languages in Discord!☆17Jun 16, 2024Updated 2 years ago