Skip to content
View jan-ferdinand's full-sized avatar

Organizations

@Neptune-Crypto @TritonVM

Block or report jan-ferdinand

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

Event-loop for ratatui apps.

Rust 20 Updated Jan 2, 2025

Resources for running a proof server, serving Triton VM proofs for faster test suite execution

Shell 1 1 Updated Dec 5, 2024

NiceGUI Interface for Whisper

Python 2 2 Updated Jan 8, 2025

Spatial LED: a library to help you get the coolest effects possible out of your bedroom LED strips.

Rust 104 4 Updated Dec 18, 2024

intentrace is strace with intent, it goes all the way for you instead of half the way. intentrace is currently in beta

Rust 567 8 Updated Dec 31, 2024

anonymous peer-to-peer cash

Rust 31 9 Updated Jan 13, 2025

background code checker

Rust 2,096 80 Updated Jan 12, 2025

Documents and tools for proofing fonts

268 16 Updated May 19, 2020

An alternate Cargo registry using static files

Rust 110 2 Updated Sep 24, 2024

Effortlessly create, group, and nest arbitrary errors, and defer error handling ergonomically.

Rust 41 Updated Nov 29, 2024

Parallel processing with disjoint indices in Rust

Rust 85 1 Updated Jun 5, 2024

Block explorer for the Neptune blockchain

Rust 2 Updated Jan 1, 2025

unformat code into perfect blocks

Rust 70 2 Updated Apr 10, 2024

Rust debugger for Linux x86-64

Rust 615 15 Updated Jan 12, 2025

Terminal User Interface to help debugging programs written for Triton VM.

Rust 6 Updated Dec 4, 2024

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

Rust 709 9 Updated Jan 1, 2025

A heap memory profiler for Linux

C++ 3,430 206 Updated Jan 12, 2025

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

Rust 52,949 3,363 Updated Jan 13, 2025

A query engine for any combination of data sources. Query your files and APIs as if they were databases!

Rust 2,458 68 Updated Jan 13, 2025

A Self Replicating 3D Printer

33 Updated Dec 4, 2023

GTFOBins is a curated list of Unix binaries that can be used to bypass local security restrictions in misconfigured systems

HTML 11,110 1,347 Updated Oct 28, 2024

πŸ’₯ Blazing fast terminal file manager written in Rust, based on async I/O.

Rust 20,631 459 Updated Jan 11, 2025

Attribute macro to require that the compiler prove a function can't ever panic

Rust 1,050 14 Updated Dec 22, 2024

An innovative superfamily of fonts for code

TypeScript 14,792 251 Updated Dec 20, 2024

Procedural macro to easily write higher-order strategies in proptest.

Rust 46 10 Updated Dec 21, 2024

πŸ”₯ Time Travel Visual Debugger for Rust

Rust 1,313 30 Updated Sep 6, 2024

A Rust crate for cooking up terminal user interfaces (TUIs) πŸ‘¨β€πŸ³πŸ€ https://ratatui.rs

Rust 11,569 355 Updated Jan 10, 2025

A simple version control system built on top of Git

Python 1,933 107 Updated Oct 1, 2023

assert!() and check!() macros for Rust, inspired by Catch2, now with diffs!

Rust 98 7 Updated Jan 1, 2025
Next