Материалы и задания по курсу "Программирование с зависимыми типами" 2018 года
☆15Dec 17, 2018Updated 7 years ago
Alternatives and similar repositories for DT2018
Users that are interested in DT2018 are comparing it to the libraries listed below
Sorting:
- 🧊 TeX-подібна система верстки наукових праць☆20Mar 14, 2025Updated 11 months ago
- Source code & exercises in Arend's documentation☆21Jul 19, 2021Updated 4 years ago
- Arend plugin for IntelliJ IDEA☆95Feb 26, 2025Updated last year
- quotient types in cubical Agda☆24Feb 4, 2019Updated 7 years ago
- N2O: Standard ML Application Server☆18Nov 6, 2021Updated 4 years ago
- Haskell library of algebraic topology☆26Sep 23, 2011Updated 14 years ago
- Relative Monad Library for Agda☆24May 29, 2019Updated 6 years ago
- Two-Level Type Theory☆28Dec 13, 2019Updated 6 years ago
- being the materials for "Datatypes of Datatypes" at the Summer School on Generic and Effectful Programming, Oxford☆20Jul 10, 2015Updated 10 years ago
- ☆20Aug 13, 2024Updated last year
- Solutions of the exercises of the HoTT book☆23Dec 15, 2016Updated 9 years ago
- Revised Omega-categorical Typechecker☆27Nov 3, 2024Updated last year
- Experimental type-checker for internally parametric type theory☆32Mar 27, 2025Updated 11 months ago
- Generalized syntax & semantics for universe hierarchies☆32Dec 11, 2023Updated 2 years ago
- Nightly builds☆23Feb 24, 2026Updated last week
- A nano "theorem prover".☆62Feb 15, 2019Updated 7 years ago
- Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck☆36Jul 11, 2021Updated 4 years ago
- 💠 HL7: FHIR Application Server ISO/HL7 27931:2009☆11Feb 17, 2026Updated 2 weeks ago
- An attempt towards univalent classical mathematics in Cubical Agda.☆32Sep 15, 2023Updated 2 years ago
- Mtac in Agda☆29May 4, 2021Updated 4 years ago
- A library for doing generic programming in Agda☆36Jan 27, 2021Updated 5 years ago
- ☆86Feb 28, 2025Updated last year
- Isomorphic Reasoning: Counting with Types☆38Jun 5, 2020Updated 5 years ago
- This is a translation of source code from SICP into SML/NJ.☆13Jun 2, 2010Updated 15 years ago
- ☆13Jul 8, 2024Updated last year
- ⭕️ N2O: Haskell Application Server☆47Feb 16, 2022Updated 4 years ago
- Groupoids vs 1-Types☆11Nov 8, 2018Updated 7 years ago
- Topology library for Coq☆12Dec 24, 2015Updated 10 years ago
- 💬 CHAT: Instant Messenger. ITU/IETF: 3394, 3565, 5280, 5480, 5652, 5755 8551, X.509, CMS, PKCS-10, PCKS-7, OCSP, LDAP, DNS; ANSI: X9-42,…☆11Feb 8, 2026Updated 3 weeks ago
- Implementation of Univalence in Cubical Sets☆146Jul 19, 2015Updated 10 years ago
- 🧊 Інститут формальної математики☆36Dec 17, 2025Updated 2 months ago
- Servant based API and server for token based authorisation☆14Sep 21, 2019Updated 6 years ago
- tickdream rust event - Async IO similar to libevent☆11May 13, 2022Updated 3 years ago
- Turn any input device into a dedicated macrodevice.☆13May 7, 2022Updated 3 years ago
- Tame RecordWildCards☆14Dec 30, 2024Updated last year
- Quantum-proof, 768-bit signatures for 1-bit messages☆12Mar 11, 2020Updated 5 years ago
- Rust library for multi-file readahead / dropbehind☆14May 31, 2017Updated 8 years ago
- A fast and minimal ES6 utility to conditionally compose classnames☆11Sep 2, 2019Updated 6 years ago
- online decision-making platform☆14Sep 10, 2023Updated 2 years ago