anton-trunov / csclub-coq-course-spring-2021View external linksLinks
A course on formal verification at https://compsciclub.ru/en, Spring term 2021
☆57Feb 28, 2023Updated 2 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:
- Coq Lecture Notes (WIP)☆56Oct 17, 2020Updated 5 years ago
- 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
- Generation of mutant programs☆20Oct 31, 2018Updated 7 years ago
- Some unstructured notes concerning the Broad tutorial to take place in March 2020☆31Sep 18, 2021Updated 4 years ago
- ☆12Jul 28, 2024Updated last year
- A TLA+ specification for the Xen vchan protocol☆15Jan 7, 2026Updated last month
- «Функциональное программирование с зависимыми типами на языке Idris» — мини-курс на ФКН ВШЭ☆46Dec 2, 2017Updated 8 years ago
- Generic records for Scala☆16Mar 7, 2022Updated 3 years ago
- Proof theory seminar☆36Apr 6, 2021Updated 4 years ago
- Typesafe record types for Scala☆21Jan 26, 2025Updated last year
- EncryCore node reference implementation☆15Apr 2, 2020Updated 5 years ago
- Experiments about intermediate representations in compilers☆28Aug 24, 2012Updated 13 years ago
- ☆18Jul 13, 2021Updated 4 years ago
- Functional languages index☆42Sep 23, 2019Updated 6 years ago
- IO should be just a library☆23Jul 17, 2023Updated 2 years ago
- Simple Python API for the Ergo Platform Explorer☆10Jun 12, 2021Updated 4 years ago
- ☆41Feb 20, 2022Updated 3 years ago
- A scheduler independent blocking mechanism☆19Feb 15, 2024Updated 2 years ago
- Collection of programming style guides used in Serokell☆12Jul 4, 2022Updated 3 years ago
- Experimental parallel and concurrent OCaml☆14Jan 28, 2023Updated 3 years ago
- Utilities and eXtensionS (UXS) library is a collection of useful (template) classes and functions developed upon standard C++ library☆11Feb 11, 2026Updated last week
- The Ensemble distributed communications toolkit☆12Jul 26, 2020Updated 5 years ago
- Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.☆43Nov 11, 2024Updated last year
- A gently curated list of companies using verification formal methods in industry☆590Feb 4, 2026Updated 2 weeks ago
- Lecture notes for a short course on proving/programming in Coq via SSReflect.☆175Jun 24, 2021Updated 4 years ago
- Lean 3 web editor☆13Oct 25, 2023Updated 2 years ago
- ☆10May 3, 2017Updated 8 years ago
- Automatically generate table of contents for Markdown files☆17Nov 22, 2022Updated 3 years ago
- The C4 Concurrent C Fuzzer☆14Nov 2, 2023Updated 2 years ago
- Haskell Enterprise Edition☆12Nov 17, 2017Updated 8 years ago
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆84Jan 20, 2026Updated 3 weeks ago
- A collection of tools for writing technical documents that mix Coq code and prose.☆285Updated this week
- Jupyter notebooks for tutorial on the Z3 SMT solver☆166Nov 3, 2023Updated 2 years ago
- Experiments with some ways of automating reasoning in lean 4☆17Apr 20, 2024Updated last year
- the blog "Machine Logic"☆22Updated this week
- An sbt plugin to configure Java Flight Recorder☆10Jul 28, 2024Updated last year
- OCaml asynchronous scheduler and monad for server-oriented programming.☆16Apr 8, 2025Updated 10 months ago
- Compile-time expression evaluation for Scala 2☆16Feb 5, 2026Updated last week