Skip to content
View inthehack's full-sized avatar

Block or report inthehack

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 tiling layout engine for egui with drag-and-drop and resizing

Rust 542 57 Updated May 11, 2026

Cross platform rendering in Rust

Rust 2,012 238 Updated Jun 16, 2026

A wrapper tool for nix OpenGL application [maintainer=@guibou]

Nix 1,000 141 Updated Nov 2, 2025

Cross-platform Audio Visualizer

C 6,211 291 Updated Jun 13, 2026

Desktop app to manage markdown knowledge bases

TypeScript 16,551 1,146 Updated Jun 17, 2026

A Spell Checker for Code!

TypeScript 1,644 121 Updated Jun 16, 2026

A lightweight version of pin-project written with declarative macros.

Rust 278 20 Updated May 28, 2026

2D plotting library in Rust for egui

Rust 438 102 Updated Jun 2, 2026

Community-built comprehensive 2D content creation appplication for graphic design, digital art, and interactive real-time motion graphics powered by a node-based procedural graphics engine

Rust 26,292 1,201 Updated Jun 16, 2026

An animation engine implemented in rust, inspired by manim and JAnim

Rust 615 36 Updated Jun 3, 2026

Hyprland plugin for an i3 / sway like manual tiling layout

C++ 1,126 107 Updated May 14, 2026

A sleek and minimal desktop shell thoughtfully crafted for Wayland.

C++ 7,819 553 Updated Jun 17, 2026

Output management utility for sway, Hyprland and Niri

Python 1,033 64 Updated Jun 1, 2026

Data structure serialization library with several opposite design goals from Serde

Rust 931 31 Updated Feb 16, 2026

Rust implementation of CRC(16, 32, 64) with support of various standards

Rust 231 54 Updated Jan 2, 2026

Zed debugger extension for probe-rs

Rust 35 2 Updated Oct 12, 2025

Making parsing a breeze

Rust 914 85 Updated Jun 16, 2026

Type checked state machine library in Rust

Rust 253 16 Updated Aug 6, 2021

Verified Rust for low-level systems code

Rust 2,667 177 Updated Jun 16, 2026

Formal verification tool for Rust: check 100% of execution cases of your programs to make safer applications.

Rocq Prover 1,129 45 Updated Jun 16, 2026

BehaVerify: A Formal Verification Tool for Behavior Trees

Python 25 9 Updated May 22, 2026

Rust implementation of behavior trees for deterministic AI (now with Python bindings)

Rust 550 29 Updated Jun 16, 2026

egg is a flexible, high-performance e-graph library

Rust 1,765 195 Updated Apr 14, 2026

A flexible and performant crate for ring buffers.

Rust 3 Updated Sep 24, 2023

A static, type inferred and embeddable language written in Rust.

Rust 3,402 152 Updated Dec 6, 2024

Types for communicating with a language server

Rust 408 117 Updated Jul 9, 2024

Language Server Protocol implementation written in Rust

Rust 1,337 81 Updated Aug 15, 2024
Rust 884 82 Updated Apr 3, 2026

Hierarchical Agent Memory with Git-Like Version Control

Python 578 40 Updated Jun 16, 2026

Simple zero cost dependency injection library made for rust

Rust 83 7 Updated May 31, 2026
Next