Pinned Repositories
ANTLR-pascal-generator
contracts-verification-task
find_duplicates
ITMO
ITMO Homeworks
itmo-economics
OS
ITMO course of operating systems
symbolic_execution_2024
A template repository for symbolic execution course in ITMO
ksmt
Kotlin/Java API for various SMT solvers
usvm
Universal Symbolic Virtual Machine
UTBotJava
Automated unit test generation and precise code analysis for Java
CaelmBleidd's Repositories
CaelmBleidd/OS
ITMO course of operating systems
CaelmBleidd/itmo-economics
CaelmBleidd/ITMO
ITMO Homeworks
CaelmBleidd/symbolic_execution_2024
A template repository for symbolic execution course in ITMO
CaelmBleidd/ANTLR-pascal-generator
CaelmBleidd/contracts-verification-task
CaelmBleidd/find_duplicates
CaelmBleidd/find_substring
Find substring in the given directory
CaelmBleidd/functional-programming
CaelmBleidd/GuuDebugger
CaelmBleidd/java-course
ITMO java course
CaelmBleidd/kotlin_exam_task
CaelmBleidd/linked_ptr
`My own linked_ptr implementation
CaelmBleidd/MathLog
Mathematical logic course
CaelmBleidd/openCL
Programming on graphics cards
CaelmBleidd/optimization_methods
CaelmBleidd/recursive-parser
CaelmBleidd/Renamer
Simple console utility, that renames all .java and .kt files in giver directory and subdirectories
CaelmBleidd/software-design
CaelmBleidd/software-testing
CaelmBleidd/translator-generator
CaelmBleidd/TT-itmo-2019
Type theory
CaelmBleidd/volunteer_application
IOS application for volunteer
CaelmBleidd/volunteer_application_backend
CaelmBleidd/Web-course-ITMO
Web programming homeworks in ITMO