Repositorio de la optativa para la FCEIA
☆14Apr 8, 2025Updated last year
Alternatives and similar repositories for intro-verif-24
Users that are interested in intro-verif-24 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Lecture notes, exercises, homeworks for Brown CS1951x 2023☆13Jan 31, 2024Updated 2 years ago
- Repository hosting resources for the "Lean Tutorial in Vienna" at TU Wien from September 18 to 20, 2024.☆14Jan 14, 2025Updated last year
- OCaml compiler for Konrad Zuse's Plankalkül (1945): the world's first high-level programming language☆18Mar 2, 2026Updated 7 months ago
- Katamaran is a semi-automated separation logic verifier for the Sail specification language. It works on an embedded version of Sail call…☆21Updated this week
- Collection of Distributed Protocol Verification Problems☆16Apr 27, 2024Updated 2 years 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.
- Performant kernels for symmetric tensors☆17Aug 22, 2024Updated 2 years ago
- Learn TLA+ for free! No prior experience necessary!☆277Jul 21, 2026Updated 3 months ago
- Git repository for the course Logika v računalništvu☆16Apr 5, 2022Updated 4 years ago
- Command line tool for model checking using LTL, CTL and CTL* formulas☆16Nov 15, 2024Updated last year
- SAT Live! web site☆11Jul 19, 2026Updated 3 months ago
- ☆25Jun 30, 2026Updated 4 months ago
- Cross platform 3D Game Engine by Ahmed Saleh☆16Mar 17, 2018Updated 8 years ago
- ☆20Jul 4, 2022Updated 4 years ago
- A MySQL API for Lean 4☆20Mar 11, 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.
- ☆22Aug 23, 2026Updated 2 months ago
- Tool to generate markdown files from lean files. This is heavily inspired by lean2md.☆25Oct 8, 2026Updated 3 weeks ago
- ☆26Aug 30, 2024Updated 2 years ago
- Lennard Jones in Lean☆24Jul 14, 2025Updated last year
- A tree-walker && virtual-machine && JIT interpreter for Lox language☆34May 3, 2024Updated 2 years ago
- Haskell monad transformer for weighted, non-deterministic computation☆32Jan 26, 2025Updated last year
- Type Checking in Lean 4☆41Mar 22, 2026Updated 7 months ago
- Dependently Typed Lambda Calculus in Haskell☆118Mar 8, 2021Updated 5 years ago
- CertiCrypt Coq Framework☆39Apr 6, 2016Updated 10 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.
- A minimalistic and high-performance SAT solver☆26Mar 4, 2024Updated 2 years ago
- A game for learning Lean 4 where a cute little smart-elf joins you on your exploration of the Leaniverse.☆43Updated this week
- GitHub action for standard CI in Lean projects☆50Oct 15, 2026Updated 2 weeks ago
- Unofficial and untested binary distributions of GHC on Alpine Linux. Multi-arch (linux/amd64, linux/arm64/v8) GHC musl docker images. Ple…☆45Sep 29, 2026Updated last month
- Plain-text declaration export for Lean 4☆48Oct 14, 2026Updated 2 weeks ago
- ☆48Oct 22, 2026Updated last week
- ☆261May 8, 2025Updated last year
- Static range analysis for the LLVM compiler infrastructure.☆57Oct 8, 2019Updated 7 years ago
- Add early return to any do-expression☆48Jul 2, 2021Updated 5 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.
- Proof assistant based on the λΠ-calculus modulo rewriting☆407Oct 22, 2026Updated last week
- SLOT: SMT-LLVM Optimizing Translation☆63Apr 17, 2025Updated last year
- Experiments with SAT solvers with proofs in Lean 4☆64Jun 23, 2024Updated 2 years ago
- Foundational Cryptography Framework for machine-checked proofs of cryptography.☆57Oct 2, 2025Updated last year
- Lean 4 tutorial files☆64Oct 2, 2026Updated 3 weeks ago
- The DRAT-trim proof checker☆72Nov 25, 2024Updated last year
- ️🌈 Convenient interface for printing colourful messages☆73Aug 23, 2026Updated 2 months ago