8000 ligurio (Sergey Bronnikov) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View ligurio's full-sized avatar
💥
💥
381 followers · 492 following

Organizations

@tarantool @luafun @sqaunderhood

Block or report ligurio

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Lists (1)

Sort Name ascending (A-Z)
Sort by
Name ascending (A-Z) Name descending (Z-A) Newest Oldest Last updated

Starred repositories

4 stars written in Kotlin
Clear filter

enzet / symbolic-execution

History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)

Kotlin 492 55 Updated Aug 24, 2024

amzn / awsssmchaosrunner

Amazon's light-weight library for chaos engineering on AWS. It can be used for EC2 and ECS (with EC2 launch type).

Kotlin 252 18 Updated Oct 27, 2023

cyanomiko / dcnnt-android

Android client for https://github.com/cyanomiko/dcnnt-py

Kotlin 232 5 Updated Mar 9, 2025

rustsmith / rustsmith

A randomized program fuzzer for the Rust programming language

Kotlin 64 3 Updated Jul 21, 2023

Starred topics

See all starred topics
0