Ilmir Usmanov's repositories
Language:Kotlin000
cryptominisat
An advanced SAT Solver
Language:C++NOASSERTION000
kotlinx.atomicfu
The idiomatic way to use atomic operations in Kotlin
Language:Kotlin000
kotlinx.coroutines
Library support for Kotlin coroutines
Language:Kotlin000
libprotection-java
Kotlin implementation of LibProtection library
MIT000
minisat
A minimalistic and high-performance SAT solver
Language:C++NOASSERTION000
mockito
Most popular Mocking framework for unit tests written in Java
MIT000
rms-support-letter.github.io
An open letter in support of Richard Matthew Stallman being reinstated by the Free Software Foundation
Language:RubyGPL-3.0000
StreamBenchmarks
Benchmarks for various streaming/reactive abstractions
Language:Kotlin000
vex
A patched version of VEX to work with PyVEX.
Language:CGPL-2.0000
vex-example
An example of using valgrind's VEX IR
000
Language:Kotlin000