Repository hosting resources for the "Lean Tutorial in Vienna" at TU Wien from September 18 to 20, 2024.
☆14Jan 14, 2025Updated last year
Alternatives and similar repositories for LeanInVienna2024
Users that are interested in LeanInVienna2024 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- FastSpec: Scalable Generation and Detection of Spectre Gadgets Using Neural Embeddings☆13Apr 12, 2023Updated 3 years ago
- Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.☆18Oct 19, 2023Updated 3 years ago
- DY* with extrinsic proofs☆16Oct 22, 2026Updated 2 weeks ago
- YOLOv8 and CNN implemented for Sign Classification☆15May 11, 2023Updated 3 years ago
- Propositional Dynamic Logic in Lean 4, showing Craig Interpolation via Tableau☆16Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Quarto Extension filter that adds a full screen button in the code blocks in RevealJs slides and html documents.☆14Apr 18, 2023Updated 3 years ago
- A small Coq library for collecting side conditions and deferring their proof☆26Oct 14, 2019Updated 7 years ago
- Plain-text declaration export for Lean 4☆49Oct 14, 2026Updated 3 weeks ago
- ☆35Sep 2, 2026Updated 2 months ago
- DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code☆20Jun 19, 2024Updated 2 years ago
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆17Updated this week
- NinjaDVA is not just another Damn Vulnerable Application☆14Oct 14, 2020Updated 6 years ago
- A guided overview of relevant and current concepts in applied cryptography☆21Jul 13, 2026Updated 3 months ago
- mTSBench: Benchmarking Multivariate Time Series Anomaly Detection and Model Selection at Scale☆17Jun 28, 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.
- Information theory and hypothesis testing, in Lean☆17Oct 29, 2026Updated last week
- Effect monads with specifications (DIjkstra Monads) in Lean 4☆12Feb 18, 2024Updated 2 years ago
- Layout data in grids and pretty tables. Provides a lot of tools to get the cell formatting right (positional alignment, alignment on spec…☆42Updated this week
- Slides and stuffs of the meetings during the 2020.☆16Jan 18, 2022Updated 4 years ago
- ☆32Sep 8, 2023Updated 3 years ago
- Tool to generate markdown files from lean files. This is heavily inspired by lean2md.☆25Oct 8, 2026Updated 3 weeks ago
- plasTeX plugin to build formalization blueprints.☆400Dec 23, 2025Updated 10 months ago
- Lennard Jones in Lean☆24Jul 14, 2025Updated last year
- Type Checking in Lean 4☆42Mar 22, 2026Updated 7 months ago
- 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.
- Data transformation tools for analytics☆13Oct 9, 2021Updated 5 years ago
- KLEESpectre is a symbolic execution engine with speculation semantic and cache modelling☆37Feb 28, 2020Updated 6 years ago
- Julia Para Gente Con Prisa - Curso IIMAS 2022☆16Jun 9, 2023Updated 3 years ago
- Lecture notes, exercises, homeworks for Brown CS1951x 2023☆13Jan 31, 2024Updated 2 years ago
- A curated list of awesome TikZ documentations, libraries and resources☆15Oct 5, 2024Updated 2 years ago
- Data and files from the May 25, 2021 SARS-CoV-2 viral load and infectiousness paper☆10Jan 14, 2022Updated 4 years ago
- OCaml compiler for Konrad Zuse's Plankalkül (1945): the world's first high-level programming language☆19Mar 2, 2026Updated 8 months ago
- A repository with some Deep Reinforcement Learning baselines written in julia using Flux.☆12Mar 28, 2023Updated 3 years ago
- Repo for materials for coordinating work on improving Julia's function documentation☆10Jul 30, 2022Updated 4 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A Lisp Interpreter written in ABAP☆11Jul 9, 2015Updated 11 years ago
- ☆14Jul 25, 2020Updated 6 years ago
- Interface for mathematical/statistical densities in Julia☆12Oct 18, 2026Updated 2 weeks ago
- Apuntes de Simulación y Remuestreo☆16May 18, 2026Updated 5 months ago
- A template for blueprint-driven formalization projects in Lean.☆121Oct 19, 2026Updated 2 weeks ago
- Attempt to generate a Lora that "teaches" the newest Zig 0.14.0 to Qwen3-8b☆14May 3, 2025Updated last year
- A Yazi plugin that adds the functionality to close and restore tab.☆17May 30, 2026Updated 5 months ago