-
Oracle Labs
- Brno
- https://d-kozak.github.io/
- https://orcid.org/0000-0002-8846-922X
- in/dkozak94
Stars
A Java library for building modern terminal user interfaces.
ocp (OpenCode Configuration Profiles) is a CLI to manage OpenCode config profiles stored in Git repositories.
A dependency free and extensible Java library for styling and beautifying terminal output
Example of how an Intellij Plugin could leverage a native image analysis report
Benchmarks, data and scripts for comparing Leyden with Graal Native Image
Compiler and tooling for the Myte programming language.
A collection of inspiring lists, manuals, cheatsheets, blogs, hacks, one-liners, cli/web tools and more.
A listing of compiler, language and runtime teams for people looking for jobs in this area
Tools and APIs to develop weavers for the LARA language (LARA Compiler, LARA Interpreter, Weaver Generator, etc...)
A modern Java reverse engineering tool for the web.
A modular, extensible CPU emulator written in Java, featuring a custom-designed instruction set and memory architecture.
GPU-accelerated Llama3.java inference in pure Java using TornadoVM.
A grep-like tool which understands source code syntax and allows for manipulation in addition to search
Materials for the <Programming> 2025 tutorial Effekt: Lexical Effect Handlers in Action
A language with lexical effect handlers and lightweight effect polymorphism
Seamless bug-finding for C, C++, Go, Rust, Wasm and Zig
Research programming language for concurrent ownership
A lightweight JIT compiler based on MIR (Medium Internal Representation) and C11 JIT compiler and interpreter based on MIR
cloudhubs / cimet
Forked from cloudhubs/cimetOldTemporal Parser that creates dataset of Microservice Architecture over time
The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar