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

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse
Showing results

A Java library for building modern terminal user interfaces.

Java 392 32 Updated Mar 21, 2026

ocp (OpenCode Configuration Profiles) is a CLI to manage OpenCode config profiles stored in Git repositories.

Java 27 Updated Mar 27, 2026

A dependency free and extensible Java library for styling and beautifying terminal output

Java 127 2 Updated Apr 12, 2026

Example of how an Intellij Plugin could leverage a native image analysis report

Java 2 Updated Nov 21, 2025

Benchmarks, data and scripts for comparing Leyden with Graal Native Image

HTML 34 1 Updated May 22, 2025

Compiler and tooling for the Myte programming language.

OCaml 30 1 Updated Mar 6, 2023

New JavaScript engine written in Rust

Rust 1,292 32 Updated Dec 18, 2025

A collection of inspiring lists, manuals, cheatsheets, blogs, hacks, one-liners, cli/web tools and more.

214,584 12,823 Updated Nov 19, 2024

JavaSMT - Unified Java API for SMT solvers.

Java 233 57 Updated Apr 12, 2026

Rabit code in C++.

C++ 2 Updated Mar 14, 2025

A listing of compiler, language and runtime teams for people looking for jobs in this area

HTML 762 75 Updated Dec 9, 2025

Tools and APIs to develop weavers for the LARA language (LARA Compiler, LARA Interpreter, Weaver Generator, etc...)

Java 16 2 Updated Mar 18, 2026

A new register allocator

Rust 254 49 Updated Feb 17, 2026

Oracle Coherence Community Edition

Java 468 77 Updated Apr 1, 2026

State-of-the-art TTS model under 25MB 😻

Python 13,512 749 Updated Mar 27, 2026

A modern Java reverse engineering tool for the web.

Svelte 138 3 Updated Apr 11, 2026

A modular, extensible CPU emulator written in Java, featuring a custom-designed instruction set and memory architecture.

Java 37 Updated Jun 30, 2025

GPU-accelerated Llama3.java inference in pure Java using TornadoVM.

Java 246 33 Updated Apr 11, 2026

A grep-like tool which understands source code syntax and allows for manipulation in addition to search

Rust 887 9 Updated Feb 22, 2026

The math library of Lean 4

Lean 3,152 1,225 Updated Apr 12, 2026

Materials for the <Programming> 2025 tutorial Effekt: Lexical Effect Handlers in Action

Nix 5 Updated Jun 6, 2025

The Hylo programming language

Swift 1,505 61 Updated Apr 11, 2026

A language with lexical effect handlers and lightweight effect polymorphism

Scala 429 42 Updated Apr 12, 2026

Seamless bug-finding for C, C++, Go, Rust, Wasm and Zig

OCaml 291 39 Updated Apr 12, 2026

Research programming language for concurrent ownership

C++ 3,711 168 Updated Feb 28, 2026

A lightweight JIT compiler based on MIR (Medium Internal Representation) and C11 JIT compiler and interpreter based on MIR

C 2,558 170 Updated Aug 29, 2024

Linux kernel source tree

C 228,169 61,544 Updated Apr 12, 2026

My solution to the Prospero challenge

Rust 3 Updated Apr 24, 2025

Temporal Parser that creates dataset of Microservice Architecture over time

Java 4 4 Updated Mar 18, 2025

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

Kotlin 298 33 Updated Apr 10, 2026
Next