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++ 522 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,415 450 Updated May 17, 2026

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

C 7,540 1,703 Updated Jul 29, 2026

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

Zig 39 Updated Jul 18, 2026

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

Rust 29 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 30, 2026

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

Rust 414 14 Updated Jul 29, 2026

A Force Directed Graph Drawing Library

Rust 231 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,699 128 Updated Jul 29, 2026

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

Rust 1,417 65 Updated Jul 4, 2026

Your CLI home video recorder ๐Ÿ“ผ

Go 20,504 453 Updated Jul 24, 2026

Modular Unix-like 64-bit kernel

Rust 369 17 Updated Jul 28, 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 30, 2026

A verification toolchain for Rust programs

OCaml 884 91 Updated Jul 30, 2026

Cache-line false sharing linter for Rust structs

Rust 46 1 Updated May 25, 2026

Kani Rust Verifier

Rust 3,252 160 Updated Jul 29, 2026

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

Rust 3,234 203 Updated Jul 30, 2026

An operating system designed for hosting containers

Rust 9,650 582 Updated Jul 29, 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,274 1,226 Updated Oct 29, 2025

๐Ÿช‡ Minimal terminal spinners/throbbers for Rust

Rust 993 21 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,417 183 Updated Jul 30, 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 557 61 Updated Jul 30, 2026

Keyboard driven mouse control for Linux and macOS

Rust 136 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