FormalLanguageConstrainedPathQuerying / formal-lang-courseLinks
Курс по формальным языкам: шаблон для домашних работ + материалы
☆7Updated 3 months ago
Alternatives and similar repositories for formal-lang-course
Users that are interested in formal-lang-course are comparing it to the libraries listed below
Sorting:
- 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
- Litmus testing tool for Kotlin/Native (WIP)☆9Updated 2 months ago
- ☆38Updated 3 years ago
- Source code & exercises in Arend's documentation☆21Updated 3 years ago
- Refinement types + dependent types = ❤️☆58Updated 2 years ago
- Papers sources, pictures, presentations, and other stuff☆22Updated this week
- ☆11Updated 4 years ago
- Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]☆48Updated 5 months ago
- Universal Symbolic Virtual Machine☆24Updated this week
- ☆11Updated last month
- 🎲 A Kotlin DSL for probabilistic programming.☆12Updated 3 years ago
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆40Updated 3 months ago
- Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".☆28Updated 3 years ago
- Cat photo storage☆14Updated last year
- Kotlin/Java API for various SMT solvers☆31Updated last month
- Teaching language LaMa for a compiler course☆75Updated last month
- ☆18Updated 3 years ago
- Coq Lecture Notes (WIP)☆54Updated 4 years ago
- Mathematical layout for web and paper☆48Updated 2 years ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆21Updated last year
- A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web☆44Updated 3 years ago
- A repository for SPbU Software Engineering bachelor studies☆7Updated last year
- Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023☆19Updated last year
- Coq library for verified low-level programming☆60Updated 8 years ago
- Materials for the "Principles of Static Program Analysis" course☆11Updated 7 months ago
- Hoare Type Theory☆76Updated 2 weeks ago
- 🗿 SAT solver wrappers for Kotlin☆10Updated last year
- Arend plugin for IntelliJ IDEA☆93Updated 4 months ago
- ☆82Updated 4 months ago