Popular repositories Loading

1. bitwuzla_jni bitwuzla_jni Public

   CPP linker between bitwuzla c api and Java code (KSMT)

   C

2. ksmt ksmt Public

   Forked from UnitTestBot/ksmt

   Kotlin API for various SMT solvers

   Kotlin

3. sdicli sdicli Public

   CLI for software development

   Java 1

4. formal-lang-course formal-lang-course Public

   Forked from FormalLanguageConstrainedPathQuerying/formal-lang-course

   Курс по формальным языкам: шаблон для домашних работ + материалы

   Python

5. cli-itmo-sd-2023 cli-itmo-sd-2023 Public

   Forked from kgamora/cli-itmo-sd-2023

   Репозиторий с реализацией cli на языке Python.

6. ftw ftw Public

   Java 1