A course on formal verification at https://compsciclub.ru/en, Spring term 2021
☆57Feb 28, 2023Updated 3 years ago
Alternatives and similar repositories for csclub-coq-course-spring-2021
Users that are interested in csclub-coq-course-spring-2021 are comparing it to the libraries listed below
Sorting:
- A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web☆47May 29, 2022Updated 3 years ago
- A very small configuration library.☆11Oct 8, 2020Updated 5 years ago
- Coq Lecture Notes (WIP)☆56Oct 17, 2020Updated 5 years ago
- ☆12Jul 28, 2024Updated last year
- EncryCore node reference implementation☆15Apr 2, 2020Updated 5 years ago
- Generic records for Scala☆16Mar 7, 2022Updated 4 years ago
- Proof theory seminar☆35Apr 6, 2021Updated 4 years ago
- Generation of mutant programs☆20Oct 31, 2018Updated 7 years ago
- «Функциональное программирование с зависимыми типами на языке Idris» — мини-курс на ФКН ВШЭ☆46Dec 2, 2017Updated 8 years ago
- Some unstructured notes concerning the Broad tutorial to take place in March 2020☆31Sep 18, 2021Updated 4 years ago
- Rosen bridge is an Ergo centric bridge.☆11Sep 8, 2022Updated 3 years ago
- Typesafe record types for Scala☆21Jan 26, 2025Updated last year
- Simple Python API for the Ergo Platform Explorer☆10Jun 12, 2021Updated 4 years ago
- Haskell Enterprise Edition☆12Nov 17, 2017Updated 8 years ago
- Experiments about intermediate representations in compilers☆28Aug 24, 2012Updated 13 years ago
- A TLA+ specification for the Xen vchan protocol☆15Jan 7, 2026Updated 2 months ago
- ☆10May 3, 2017Updated 8 years ago
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆84Jan 20, 2026Updated 2 months ago
- Collection of programming style guides used in Serokell☆12Jul 4, 2022Updated 3 years ago
- Compile-time expression evaluation for Scala 2☆17Mar 3, 2026Updated 2 weeks ago
- ☆18Jul 13, 2021Updated 4 years ago
- IO should be just a library☆24Jul 17, 2023Updated 2 years ago
- Functional languages index☆42Sep 23, 2019Updated 6 years ago
- ☆41Jan 13, 2021Updated 5 years ago
- An sbt plugin to configure Java Flight Recorder☆10Jul 28, 2024Updated last year
- Lecture notes for a short course on proving/programming in Coq via SSReflect.☆175Jun 24, 2021Updated 4 years ago
- ☆42Feb 20, 2022Updated 4 years ago
- A gently curated list of companies using verification formal methods in industry☆596Feb 26, 2026Updated 3 weeks ago
- Utilities and eXtensionS (UXS) library is a collection of useful (template) classes and functions developed upon standard C++ library☆11Updated this week
- Coq formalization of decision procedures for regular expression equivalence [maintainer=@anton-trunov]☆15Jul 22, 2024Updated last year
- Spectrum Finance off-chain service for Cardano☆15Jan 13, 2024Updated 2 years ago
- Generate type mappers for your own type class☆13May 11, 2023Updated 2 years ago
- Automatically generate table of contents for Markdown files☆17Nov 22, 2022Updated 3 years ago
- ☆16Dec 31, 2020Updated 5 years ago
- The Ensemble distributed communications toolkit☆13Jul 26, 2020Updated 5 years ago
- Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.☆43Nov 11, 2024Updated last year
- OCaml asynchronous scheduler and monad for server-oriented programming.☆16Apr 8, 2025Updated 11 months ago
- ☆37Oct 29, 2021Updated 4 years ago
- A collection of tools for writing technical documents that mix Coq code and prose.☆288Updated this week