FormalLanguageConstrainedPathQuerying / formal-lang-course
Курс по формальным языкам: шаблон для домашних работ + материалы
☆7Updated last month
Alternatives and similar repositories for formal-lang-course:
Users that are interested in formal-lang-course are comparing it to the libraries listed below
- Regular Invariant Generator and SMTLIB2 code transformer☆12Updated 2 years ago
- Fuzzer for Kotlin compiler. Found > 65 unique bugs in kotlinc v1.1.4-3.☆7Updated 2 years ago
- Cat photo storage☆14Updated 11 months ago
- ☆38Updated 3 years ago
- Refinement types + dependent types = ❤️☆58Updated 2 years ago
- FizzBuzz, formally verified, provably correct☆26Updated 2 years ago
- ☆10Updated last week
- Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]☆47Updated 3 months ago
- Coq Lecture Notes (WIP)☆54Updated 4 years ago
- Liquid Types implementation for Rust☆29Updated 2 years ago
- Lectures in MIPT: intro to engineering software using model-checking.☆17Updated 4 years ago
- VSCode extension that is designed to help automate writing of Coq proofs.☆100Updated 2 weeks ago
- Facilities for generating dependently-typed data☆26Updated last week
- Шаблон для оформления ВКР бакалавра или магистерской диссертации в XeLaTeX.☆13Updated last year
- ☆17Updated 3 years ago
- Notes for type theory course☆21Updated 6 years ago
- Teaching language LaMa for a compiler course☆74Updated this week
- Source code & exercises in Arend's documentation☆21Updated 3 years ago
- ☆10Updated last month
- Шаблон презентации для квалификационных работ☆19Updated 10 months ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆21Updated last year
- Intermediate Memory Model (IMM) and compilation correctness proofs for it☆26Updated 2 months ago
- Coq library for verified low-level programming☆59Updated 7 years ago
- A repository for SPbU Software Engineering bachelor studies☆8Updated last year
- A verified, modern, hardened memory allocator. [maintainer=@cmovcc]☆21Updated 3 weeks ago
- ☆6Updated this week
- A simple induction and BMC engine.☆23Updated 2 years ago
- ☆11Updated 3 years ago
- Latex шаблон текста для квалификационных работ☆38Updated 3 months ago
- Translate Python and JavaScript into MLIR☆15Updated 2 years ago