Source code & exercises in Arend's documentation
☆22May 8, 2026Updated 2 months ago
Alternatives and similar repositories for tutorial-code
Users that are interested in tutorial-code are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆85Feb 28, 2025Updated last year
- Arend plugin for IntelliJ IDEA☆95Feb 26, 2025Updated last year
- Constructive Interpretations of HoTT☆36Aug 26, 2020Updated 5 years ago
- ☆27Updated this week
- Stacks project, from a homotopy type theory point-of-view (hPOV)☆14Oct 10, 2020Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Neon lights in the night tonight and stars that shine in the open sky☆47Dec 17, 2023Updated 2 years ago
- Experiments in formalizing refinement type systems in Coq☆18Feb 7, 2016Updated 10 years ago
- Mathematical notes and papers☆27Jun 15, 2026Updated last month
- A toy IO library for Arend☆18Feb 12, 2021Updated 5 years ago
- Course Website for CS6225: Programs and Proofs @ IIT Madras☆13Apr 28, 2021Updated 5 years ago
- Elaboration with inductive types☆16Jun 1, 2023Updated 3 years ago
- Материалы и задания по курсу "Программирование с зависимыми типами" 2018 года☆15Dec 17, 2018Updated 7 years ago
- Mechanizing Types and Programming Languages using Beluga☆22May 29, 2020Updated 6 years ago
- The Arend Proof Assistant☆751Feb 25, 2025Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Haskell monad transformer for weighted, non-deterministic computation☆32Jan 26, 2025Updated last year
- k theorem prover☆11Aug 16, 2022Updated 3 years ago
- A complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) an…☆31Sep 21, 2022Updated 3 years ago
- K/DE Cyberpunk Neon Themes for KDE Plasma.☆10Jan 27, 2019Updated 7 years ago
- Tic Tac Toe, formalized in Agda☆25Oct 19, 2021Updated 4 years ago
- ☆16Jun 22, 2024Updated 2 years ago
- Formalizations of Gradually Typed Languages in Agda☆59Mar 2, 2026Updated 4 months ago
- Formalization of Typed Assembly Language (TAL) in Coq☆18Mar 11, 2024Updated 2 years ago
- Brainfuck formalized in Coq☆32Mar 29, 2022Updated 4 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.
- A powerful, easy-to-use, modern Java core library for the future☆64Jan 17, 2026Updated 6 months ago
- Structural Search support for Kotlin☆19Dec 1, 2020Updated 5 years ago
- Core logic of Slay the Spire implemented in Lean4 for formal verification proofs☆29Apr 6, 2026Updated 3 months ago
- LaTex template for ITMO style presentations☆12Jan 19, 2025Updated last year
- miniKanren in Pharo☆12Jun 10, 2024Updated 2 years ago
- Models of dependent type theory☆22Jul 3, 2026Updated 2 weeks ago
- Implementation for ICFP 2020 paper☆53Jul 5, 2021Updated 5 years ago
- Just for fun, 114594☆17Apr 28, 2020Updated 6 years ago
- AACMM's generic-syntax, but with QTT-style annotations☆21Apr 7, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Implementation of Kaplan and Zwick's soft heap. Collaboration with Alex Hollender.☆14Oct 13, 2016Updated 9 years ago
- ☆16Mar 11, 2022Updated 4 years ago
- A clean implementation of Parsing with Zippers.☆38Sep 22, 2018Updated 7 years ago
- A quick tour to *Data types à la carte* for reading group presentation.☆16Feb 7, 2023Updated 3 years ago
- Formalization of 2LTT in Agda☆17Aug 6, 2025Updated 11 months ago
- An attempt towards univalent classical mathematics in Cubical Agda.☆32Jul 11, 2026Updated last week
- 🚧施工中🚧 用 Arend 写证明的交互式教程☆14Sep 7, 2022Updated 3 years ago