-
fuzzing-demo ▣
Small demo
Kotlin ★ 1 1y agoExplain → -
ktfmt ⑂
A program that reformats Kotlin source code to comply with the common community standard for Kotlin code conventions.
★ 0 16d agoExplain → -
url-fuzzer-demo ▣
No description.
Kotlin ★ 0 1y agoExplain → -
dokka-playground
Test project for dokka
Kotlin ★ 0 7mo agoExplain → -
androidx ⑂
Development environment for Android Jetpack extension libraries under the androidx namespace. Synchronized with Android Jetpack's primary development branch on AOSP.
★ 0 1y agoExplain → -
jazzer ⑂
Coverage-guided, in-process fuzzing for the JVM
Java ★ 0 1y agoExplain → -
TestSpark ⑂
TestSpark - a plugin for generating unit tests. TestSpark natively integrates different AI-based test generation tools and techniques in the IDE. Started by SERG TU Delft. Currently under implementation by JetBrains Research (ICTL) for research purposes.
Kotlin ★ 0 1y agoExplain → -
ksmt ⑂
Kotlin API for various SMT solvers
Kotlin ★ 0 2y agoExplain → -
kt-helper
helper functions/classes for Kotlin
Kotlin ★ 0 2y agoExplain → -
jdot ⑂
Java library to generate GraphViz DOT files.
Java ★ 0 2y agoExplain → -
kex-rt
Java 8 standard library approximation for Kex
Java ★ 0 2y agoExplain → -
kex-sbft-2023
Presentation about participation of Kex in SBFT 2023 tool competition
TeX ★ 0 3y agoExplain → -
JCrashPack ⑂
A Java Crash reproduction benchmark
★ 0 3y agoExplain → -
smt-reducer ⑂
simple delta debugging tool for z3 solver
Java ★ 0 2y agoExplain → -
kaf-intro ▣
intro presentation for KotlinAsFirst course
TeX ★ 0 3y agoExplain → -
defects4j ⑂
A Database of Real Faults and an Experimental Infrastructure to Enable Controlled Experiments in Software Engineering Research
Perl ★ 0 3y agoExplain → -
kex-helper-scripts
Helper scripts for working with kex
Python ★ 0 2y agoExplain → -
latex_templates ⑂ ▣
No description.
TeX ★ 0 8y agoExplain → -
software_architectures ▣
No description.
Java ★ 0 8y agoExplain → -
os-projects ⑂ ▣
Проектирование операционных систем и их компонентов. Проекты
★ 0 9y agoExplain → -
parallel_mpi ▣
No description.
TeX ★ 0 9y agoExplain → -
distributed_systems ▣
No description.
TeX ★ 0 8y agoExplain → -
kotlin-cfg ▣
No description.
Kotlin ★ 0 8y agoExplain → -
reanimator-huawei2021-presentation ▣
No description.
TeX ★ 0 4y agoExplain → -
kex-jb2021-presentation ▣
No description.
TeX ★ 0 4y agoExplain → -
tex-lecture ▣
No description.
TeX ★ 0 4y agoExplain → -
kex-sbst2022-presentation ▣
No description.
TeX ★ 0 4y agoExplain → -
jcdb ⑂
fast and effective way to access java bytecode from java compiled files
Kotlin ★ 0 3y agoExplain → -
icfpc2022
team 301 entry for icfpc-2022
Kotlin ★ 0 3y agoExplain → -
KotlinAsFirst-2022-demo ⑂
No description.
Kotlin ★ 0 3y agoExplain → -
KotlinAsFirst ⑂
Задачи для онлайн-курса "Котлин как первый язык программирования"
★ 0 3y agoExplain → -
UTBotJava ⑂
Tool that generates unit test by Java source code, trying to reach all branches and maximize code coverage
Kotlin ★ 0 3y agoExplain → -
kex-intellij-plugin ⑂
No description.
★ 0 4y agoExplain → -
archlinux-aur-docker
archlinux docker image with support of AUR packages (through `yaourt`)
Dockerfile ★ 0 3y agoExplain → -
programming-task3-2022
Базовый репозиторий для 3 задачи по курсу "Технологии программирования" 2022 год
★ 0 3y agoExplain → -
easy-random ⑂
The simple, stupid random Java beans/records generator
★ 0 3y agoExplain → -
programming-task2-2022
Базовый репозиторий для задачи 2 по курсу "Технологии программирования" 2022
★ 0 4y agoExplain → -
programming-task1-2022
Базовый репозиторий для задачи 1 по курсу "Технологии программирования" 2022
Kotlin ★ 0 4y agoExplain → -
algorithms-project-2022
Базвый репозиторий для курсового проекта по предмету "Алгоритмы и структуры данных"
★ 0 3y agoExplain → -
AlgorithmsTest
No description.
Kotlin ★ 0 4y agoExplain → -
sbst-stats-parser
kotlin script for parsing SBST stats
Kotlin ★ 0 3y agoExplain → -
tardis ⑂
The TARDIS concolic test case generator
Java ★ 0 3y agoExplain → -
JUGE ⑂
junit tools contest infrastructure
Java ★ 0 4y agoExplain → -
KotlinAsFirst2021 ⑂
No description.
Kotlin ★ 0 4y agoExplain → -
jbse ⑂
A symbolic Java virtual machine for program analysis, verification and test generation
Java ★ 0 4y agoExplain → -
descriptor
simple library to represent objects as descriptors
Java ★ 0 4y agoExplain → -
icfpc2021
team 301 entry for icfpc-2021
Kotlin ★ 0 5y agoExplain → -
boolector ⑂
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
★ 0 5y agoExplain → -
JavaBoolector ⑂
No description.
Java ★ 0 5y agoExplain → -
maven-packages
No description.
★ 0 5y agoExplain → -
Algorithms-2020 ⑂
No description.
★ 0 5y agoExplain → -
KotlinAsFirst2020 ⑂
No description.
Kotlin ★ 0 5y agoExplain → -
stp-java ⑂
java bindings for STP solver
Java ★ 0 5y agoExplain → -
boolector-java ⑂
No description.
Java ★ 0 6y agoExplain → -
thesis ⑂
No description.
TeX ★ 0 8y agoExplain → -
KotlinAsFirst2019 ⑂
Задачи для онлайн-курса "Котлин как первый язык программирования" (2019)
Kotlin ★ 0 6y agoExplain → -
Algorithms-2019 ⑂
Course: algorithms and data structures (2019)
★ 0 6y agoExplain → -
Algorithms ⑂
Course: algorithms and data structures
Kotlin ★ 0 7y agoExplain → -
KotlinAsFirst2018 ⑂
Base repo for the Kotlin course (2018)
Kotlin ★ 0 7y agoExplain → -
master_thesis
No description.
TeX ★ 0 8y agoExplain → -
bachelor_thesis
No description.
TeX ★ 0 10y agoExplain → -
libsocket ⑂
The ultimate socket library for C and C++, supporting TCP, UDP and Unix sockets (DGRAM and STREAM) on Linux, FreeBSD, Solaris. Only ZMQ is better. Developer's documentation:
C++ ★ 0 10y agoExplain → -
leveldb_api
No description.
C++ ★ 0 8y agoExplain →
No repos match these filters.