Skip to content
View TinusgragLin's full-sized avatar

Block or report TinusgragLin

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

Embedded graphics library to create beautiful UIs for any MCU, MPU and display type.

C 18,177 3,409 Updated Jan 28, 2025

Automatic verification of LLVM optimizations

C++ 853 111 Updated Jan 26, 2025

The CompCert formally-verified C compiler

Coq 1,927 231 Updated Jan 17, 2025

Understanding AES & Rijndael

C 500 118 Updated Nov 19, 2018

Ext4 file system driver for Windows

C 1,112 65 Updated Jan 24, 2025

Complete implementations from "Algorithms for Modern Hardware"

Jupyter Notebook 724 45 Updated Dec 11, 2022

High throughput suffix array searching

Jupyter Notebook 126 8 Updated Jan 28, 2025

Empowering everyone to build reliable and efficient software.

Rust 100,838 13,025 Updated Jan 29, 2025

Readyset is a MySQL and Postgres wire-compatible caching layer that sits in front of existing databases to speed up queries and horizontally scale read throughput. Under the hood, ReadySet caches t…

Rust 4,775 135 Updated Jan 29, 2025

👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.

Zig 25,383 624 Updated Jan 28, 2025

Automatically exported from code.google.com/p/netmap

C 1,872 538 Updated Jan 21, 2025

OpenOnload high performance user-level network stack

C 600 103 Updated Jan 28, 2025

A simple yet fast user space network driver for Intel 10 Gbit/s NICs written from scratch

C 1,217 126 Updated Feb 19, 2022

Hex Display: A modern xxd alternative.

Rust 42 Updated Dec 15, 2024

A modern download manager that supports all platforms. Built with Golang and Flutter.

Dart 17,895 1,250 Updated Jan 29, 2025

Home to the Signal Protocol as well as other cryptographic primitives which make Signal possible.

Rust 3,802 449 Updated Jan 27, 2025

Limbo is a work-in-progress, in-process OLTP database management system, compatible with SQLite.

Rust 8,906 307 Updated Jan 28, 2025

A jq clone focussed on correctness, speed, and simplicity

Rust 2,942 80 Updated Jan 14, 2025

Markdown Viewer / Browser Extension

JavaScript 1,143 142 Updated Jun 30, 2024

GEF (GDB Enhanced Features) - a modern experience for GDB with advanced debugging capabilities for exploit devs & reverse engineers on Linux

Python 7,184 748 Updated Jan 26, 2025

A scrollable-tiling Wayland compositor.

Rust 4,914 155 Updated Jan 27, 2025

SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemes

Rust 40 5 Updated Nov 28, 2024

A small automated session manager for Neovim

Lua 1,397 47 Updated Jan 28, 2025

C/C++/ObjC language server supporting cross references, hierarchies, completion and semantic highlighting

C++ 3,819 263 Updated Jan 28, 2025

A Vulkan and OpenGL overlay for monitoring FPS, temperatures, CPU/GPU load and more. Discord: https://discordapp.com/invite/Gj5YmBb

C 6,761 300 Updated Jan 25, 2025

Show code context

Janet 2,633 213 Updated Jan 17, 2025

Linux Kernel Manager and Activity Monitor 🐧💻

Rust 2,623 79 Updated Jan 11, 2025

Make your JSON data collaborative and version-controlled with CRDTs

Rust 4,376 90 Updated Jan 22, 2025

教科书《计算机体系结构基础》(胡伟武等,第三版)的开源版本

TeX 3,170 300 Updated Dec 9, 2024

Order-preserving key encoder

C++ 122 16 Updated Apr 28, 2020
Next