-
Oracle Labs
- Brno
- https://d-kozak.github.io/
- https://orcid.org/0000-0002-8846-922X
- in/dkozak94
Block or Report
Block or report d-kozak
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseStars
Language
Sort by: Recently starred
Framework for testing concurrent data structures
A new version of Soot with a completely overhauled architecture
A complete 3-D game development suite written in Java.
Examples to usage of Java-runtime-decompiler and byteman
Zoolection is a minimal implementation of leader-election in Go with the help of Apache Zookeeper.
Smart pointers for the (GNU) C programming language
Java Virtual Machine (JVM) Performance Benchmarks with a primary focus on top-tier Just-In-Time (JIT) Compilers, such as C2 JIT, Graal JIT, and the Falcon JIT.
Benchmark and Comparison for JVM Bytecode Call Graph Algorithms/Frameworks
Modular visual interface for GDB in Python
This repository is a version of the prophet-utils repository, adapted to the GraalVM static analysis of microservice applications project
A high-performance, zero-overhead, extensible Python compiler using LLVM
A command line tool that draw plots on the terminal.
simple snapshot-style integration testing for commands
An assembly control flow graph/basic block visualizer for the web
Generation of diagrams like flowcharts or sequence diagrams from text in a similar manner as markdown
Yona is a modern take on a dynamic general-purpose programming language with advanced functional programming, minimalistic ML-like syntax, strict evaluation, for GraalVM polyglot virtual machine (VM).
Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis
MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration
Enhancing the Factorio experience with SAT solvers
Hybrid visual and textual functional programming.
A compiler frontend for the C programming language