-
hephaestus Public
Forked from hephaestus-compiler-project/hephaestusA framework for testing compilers' type checkers
Python GNU General Public License v3.0 UpdatedNov 11, 2025 -
-
ksmt Public
Forked from UnitTestBot/ksmtKotlin/Java API for various SMT solvers
Kotlin Apache License 2.0 UpdatedNov 9, 2023 -
-
kotlin Public
Forked from JetBrains/kotlinThe Kotlin Programming Language.
Kotlin UpdatedAug 31, 2023 -
-
-
eldarica Public
Forked from uuverifiers/eldaricaThe Eldarica model checker
Scala Other UpdatedApr 27, 2023 -
storm Public
Forked from Practical-Formal-Methods/stormA blackbox mutational fuzzer for detecting critical bugs in SMT solvers
SMT Apache License 2.0 UpdatedMar 16, 2022 -
z3test Public
Forked from Z3Prover/z3testTest and benchmark repository for Z3.
SMT Other UpdatedMar 2, 2022 -
spbu-mm-dotnet-introduction Public
A repository for "Introduction to MS .NET" course, "Software engineering" program, MM faculty, SPbU, 2021 academic year iteration
MIT License UpdatedDec 26, 2021 -
ml_tasks Public archive
Homework assignments for the course Intelligent Systems (SPbU, 7th semester)
Jupyter Notebook UpdatedNov 24, 2021 -
Simple_DNS-server Public archive
Simple DNS-server (53/UDP) in Python using dnslib
-
QE-expPA Public
Implementation of quantifier elimination for bit vector arithmetic based on elimination of quantifiers for Presburger arithmetic expanded by function 2^x (in progress).
-
minimal-GDB Public
The implementation of a minimal graph database (in progress).
Python Apache License 2.0 UpdatedJan 29, 2021 -
grammar-builder Public
Program constructing a free grammar and a context sensitive grammar from Тuring machine. Grammars generate a language of correct mathematical expressions for a multiplication in an unary number sys…
Python UpdatedDec 2, 2020 -
simple-TCP-IP Public
The implementation of a simple TCP/IP stack in an userspace on TAP with support for ARP, IP and ICMP.
-
articles Public
Forked from YaccConstructor/articlesPapers sources, pictures, presentations, and other stuff
TeX Other UpdatedJul 2, 2020 -
python_basic_programming Public archive
Forked from SpirinEgor/python_basic_programmingAssignments for python basic programming course
Jupyter Notebook Apache License 2.0 UpdatedApr 9, 2020 -
{{ message }}