Pinned

1. discrete-math-course discrete-math-course Public

   🌌 Supplementary materials for Discrete Math course at ITMO University

   TeX 25 5

2. ctlab/fbSAT ctlab/fbSAT Public

   Tool for automatic inference of minimal finite-state models of function blocks from execution scenarios and temporal properties

   Kotlin 5 3

3. kotlin-satlib kotlin-satlib Public

   🗿 SAT solver wrappers for Kotlin

   Kotlin 8 2

4. kotlin-bdd kotlin-bdd Public

   🌪️ Binary Decision Diagrams for Kotlin

   Kotlin 1

5. sat-nexus sat-nexus Public

   🏔 SAT solver wrappers for Rust

   Rust 2

6. godel-escher-bach godel-escher-bach Public

   TeX reproduction of Hofstadter's "Gödel, Escher, Bach"

   TeX 1 1