Skip to content
View ahlinc's full-sized avatar
  • Ukraine, Kyiv

Block or report ahlinc

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

Starred repositories

Showing results

S2E: A platform for multi-path program analysis with selective symbolic execution.

C++ 523 96 Updated May 24, 2026

Serial and parallel implementations of matrix multiplication

C++ 47 9 Updated Feb 19, 2021

A collection of out-of-tree LLVM passes for teaching and learning

C++ 3,412 450 Updated May 17, 2026

OpenBLAS is an optimized BLAS library based on GotoBLAS2 1.13 BSD version.

C 7,530 1,701 Updated Jul 23, 2026

A compiler for subset of C as instructed by the "Writing a C compiler" book by Nora Sandler

Zig 38 Updated Jul 18, 2026

๐Ÿ™‹ minimal interactive line picker for the command line

Rust 28 2 Updated Jul 13, 2026

Interactive, persistent shell for HTTP requests. Built with Rust for ultimate speed and simplicity.

Rust 42 3 Updated Jul 22, 2026

Refinement Types in (unstable) Rust

Rust 42 1 Updated Jul 21, 2026

Toolchain to create JVM-ready Java bytecode from Rust MIR.

Rust 412 14 Updated Jul 25, 2026

A Force Directed Graph Drawing Library

Rust 230 28 Updated Mar 6, 2025

bpftop provides a dynamic real-time view of running eBPF programs. It displays the average runtime, events per second, and estimated total CPU % for each program.

C 2,697 128 Updated Jul 17, 2026

Build terminal-themed web applications with Rust and WebAssembly. Powered by Ratatui.

Rust 1,414 65 Updated Jul 4, 2026

Your CLI home video recorder ๐Ÿ“ผ

Go 20,455 449 Updated Jul 24, 2026

Modular Unix-like 64-bit kernel

Rust 367 16 Updated Jul 24, 2026

A G-code simulator written in Rust. Parses, interprets, manages machine state and simulates the toolpaths. The control interface is built in Ratatui and the simulation is done using WGPU.

Rust 73 4 Updated Jul 24, 2026

A verification toolchain for Rust programs

OCaml 880 90 Updated Jul 25, 2026

Cache-line false sharing linter for Rust structs

Rust 46 1 Updated May 25, 2026

Kani Rust Verifier

Rust 3,244 158 Updated Jul 23, 2026

Drop-in Apache Spark replacement written in Rust, unifying batch processing, stream processing, and compute-intensive AI workloads.

Rust 3,220 201 Updated Jul 25, 2026

An operating system designed for hosting containers

Rust 9,648 581 Updated Jul 24, 2026

An x86 PC emulator written in C, currently targeting Pentium compatibility.

C 103 7 Updated Apr 19, 2026

Approximate Nearest Neighbors in C++/Python optimized for memory usage and loading/saving to disk

C++ 14,269 1,228 Updated Oct 29, 2025

๐Ÿช‡ Minimal terminal spinners/throbbers for Rust

Rust 994 20 Updated Jun 11, 2026

An open, sub-millisecond, single-executable Firebase alternative with type-safe APIs, built-in WebAssembly runtime, realtime subscriptions, auth, and admin UI built on Rust, SQLite & Wasmtime.

Rust 5,412 183 Updated Jul 25, 2026

A new, portable, regular expression language

Rust 1,354 19 Updated Apr 23, 2026

A modern, very customizable text editor, configured in rust

Rust 254 19 Updated Jul 7, 2026

Competitive chess engine written in Rust

Rust 550 61 Updated Jul 22, 2026

Keyboard driven mouse control for Linux and macOS

Rust 134 16 Updated Jul 22, 2026

โšก๏ธ - Evaluate and differentiate JIT-compiled mathematical expressions

Rust 5 1 Updated Jun 8, 2026

High-fidelity JSON lexer and parser

Rust 28 5 Updated Dec 15, 2025
Next