Skip to content
View d-kozak's full-sized avatar
Block or Report

Block or report d-kozak

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
Showing results

Framework for testing concurrent data structures

Kotlin 537 31 Updated Jun 26, 2024

A new version of Soot with a completely overhauled architecture

Java 543 66 Updated Jun 25, 2024

A complete 3-D game development suite written in Java.

Java 3,734 1,117 Updated Jun 27, 2024

Examples to usage of Java-runtime-decompiler and byteman

Java 1 Updated Jun 13, 2024

Zoolection is a minimal implementation of leader-election in Go with the help of Apache Zookeeper.

Go 1 Updated Jun 7, 2024

Smart pointers for the (GNU) C programming language

CMake 1,536 143 Updated Nov 2, 2022
Python 17 5 Updated Jun 24, 2024

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.

HTML 71 9 Updated Feb 16, 2024

Benchmark and Comparison for JVM Bytecode Call Graph Algorithms/Frameworks

Scala 3 2 Updated Jun 21, 2024

Slides for the BCA

JavaScript 12 4 Updated Mar 25, 2024
Rust 179 14 Updated Apr 17, 2020
Python 38 6 Updated Jul 11, 2019

Modular visual interface for GDB in Python

Python 10,764 764 Updated Mar 11, 2024

This repository is a version of the prophet-utils repository, adapted to the GraalVM static analysis of microservice applications project

Java 5 2 Updated Jan 11, 2024

A high-performance, zero-overhead, extensible Python compiler using LLVM

C++ 13,943 498 Updated Jun 10, 2024

A command line tool that draw plots on the terminal.

Ruby 4,003 61 Updated Jun 25, 2024

simple snapshot-style integration testing for commands

Python 59 3 Updated Sep 24, 2023

An assembly control flow graph/basic block visualizer for the web

Assembly 32 2 Updated Jan 9, 2023

A small C compiler

C 8,664 830 Updated Oct 30, 2023
Isabelle 2 Updated Dec 3, 2022

Generation of diagrams like flowcharts or sequence diagrams from text in a similar manner as markdown

JavaScript 68,566 6,046 Updated Jun 27, 2024

Lightweight Performance Control System

C 16 13 Updated Jun 23, 2024

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).

Java 124 6 Updated Sep 21, 2022

My crappy x86 assembler written in Java.

Java 17 5 Updated Dec 30, 2011

Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis

Java 115 28 Updated Jun 7, 2024

MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration

Java 74 26 Updated Oct 2, 2023

Enhancing the Factorio experience with SAT solvers

Python 612 16 Updated Apr 8, 2024

Hybrid visual and textual functional programming.

Scala 7,306 317 Updated Jun 27, 2024

A compiler frontend for the C programming language

C++ 526 39 Updated Jun 22, 2024
Next