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 Dec 12, 2024

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 Updated Dec 11, 2024

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

Rust 100 3 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 563 8 Updated Dec 17, 2024

anonymous peer-to-peer cash

Rust 30 8 Updated Dec 24, 2024

background code checker

Rust 2,034 77 Updated Dec 25, 2024

Documents and tools for proofing fonts

268 16 Updated May 19, 2020

An alternate Cargo registry using static files

Rust 108 2 Updated Sep 24, 2024

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

Rust 42 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 Dec 20, 2024

unformat code into perfect blocks

Rust 70 2 Updated Apr 10, 2024

Rust debugger for Linux x86-64

Rust 614 15 Updated Dec 2, 2024

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 705 9 Updated Dec 1, 2024

A heap memory profiler for Linux

C++ 3,395 205 Updated Dec 19, 2024

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

Rust 51,827 3,270 Updated Dec 25, 2024

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

Rust 2,448 68 Updated Dec 23, 2024

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,027 1,345 Updated Oct 28, 2024

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

Rust 19,065 435 Updated Dec 25, 2024

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

Rust 1,043 14 Updated Dec 22, 2024

An innovative superfamily of fonts for code

TypeScript 14,595 250 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,310 30 Updated Sep 6, 2024

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

Rust 11,330 353 Updated Dec 25, 2024

A simple version control system built on top of Git

Python 1,930 106 Updated Oct 1, 2023

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

Rust 97 5 Updated Aug 27, 2024
Next