Konstantin Chukharev
Lipen
Languages
Repos
82
Stars
154
Forks
26
Top Language
Rust
Loading contributions...
Top Repositories
:milky_way: Supplementary materials for Discrete Math course at ITMO University
🗿 SAT solver wrappers for Kotlin
Materials for the course "Formal Methods in Software Engineering" at ITMO University
🏔 SAT solver wrappers for Rust
🌵 Decision Diagrams for Rust
TeX reproduction of Hofstadter's "Gödel, Escher, Bach"
Repositories
82:milky_way: Supplementary materials for Discrete Math course at ITMO University
Materials for the course "Formal Methods in Software Engineering" at ITMO University
Typst package for Fitch-style natural deduction proofs
🏔 SAT solver wrappers for Rust
🌵 Decision Diagrams for Rust
No description provided.
Packages for Typst.
TeX reproduction of Hofstadter's "Gödel, Escher, Bach"
🔀 And-Inverter Graphs for Rust
No description provided.
🗿 SAT solver wrappers for Kotlin
Fork of the Glucose SAT solver
A minimalistic and high-performance SAT solver
Backdoor-based SAT solver
💫 Library for managing Boolean circuits in Kotlin
My slides
Typst-setting finite automata with CeTZ.
📑 Install Typst for use in GitHub Actions
Kasiski Examination implementation
easy slides in typst
Supplementary materials for IEEE Access paper "Effective Partitioning Method with Predictable Hardness for CircuitSAT"
libbz2 (bzip2 compression) bindings for Rust
Multiplatform Date and time library for Kotlin
CeTZ: ein Typst Zeichenpaket - A library for drawing stuff with Typst.
CaDiCaL SAT Solver with some infrastructural patches
🌪️ Binary Decision Diagrams for Kotlin
My PhD thesis
Unix's tee with stripping of ANSI-colors
Maybe for Kotlin
The enum Either with variants Left and Right is a general purpose sum type with two cases.