foo-jin
Mainly for contributions to other projects (once I get around to doing that). See gitlab.com/foo-jin for the rest of my projects.
foo-jin's Stars
Wilfred/difftastic
a structural diff that understands syntax 🟥🟩
atuinsh/atuin
✨ Magical shell history
charmbracelet/gum
A tool for glamorous shell scripts 🎀
martinvonz/jj
A Git-compatible VCS that is both simple and powerful
ahrm/sioyek
Sioyek is a PDF viewer with a focus on textbooks and research papers
google/wuffs
Wrangling Untrusted File Formats Safely
bcpierce00/unison
Unison file synchronizer
arxanas/git-branchless
High-velocity, monorepo-scale workflow for Git
rizinorg/rizin
UNIX-like reverse engineering framework and command-line toolset.
obi1kenobi/trustfall
A query engine for any combination of data sources. Query your files and APIs as if they were databases!
nextest-rs/nextest
A next-generation test runner for Rust.
jfecher/ante
A safe, easy systems language
chip-red-pill/MicrocodeDecryptor
shadow/shadow
Shadow is a discrete-event network simulator that directly executes real application code, enabling you to simulate distributed systems with thousands of network-connected processes in realistic and scalable private network experiments using your laptop, desktop, or server running Linux.
smallnest/concurrency-programming-via-rust
creusot-rs/creusot
Creusot helps you prove your code is correct in an automated fashion.
jacobdeichert/mask
🎠A CLI task runner defined by a simple markdown file
Pauan/rust-dominator
Zero-cost ultra-high-performance declarative DOM library using FRP signals for Rust!
sibprogrammer/xq
Command-line XML and HTML beautifier and content extractor
JakWai01/lurk
A pretty (simple) alternative to strace
nushell/awesome-nu
A curated list of awesome tools that work within the nu language ecosystem e.g. nushell, scripts, nana, etc.
sarsko/CreuSAT
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
ccurtsinger/stabilizer
Stabilizer: Rigorous Performance Evaluation
letoram/cat9
A User shell for LASH
panamax-rs/panamax
Mirror rustup and crates.io repositories, for offline Rust and cargo usage.
trailofbits/dylint
Run Rust lints from dynamic libraries
sulami/literate-calc-mode.el
🧮 Literate programming for M-x calc
nikomatsakis/moro
Experiments with structured concurrency in Rust
cognitive-engineering-lab/rustc_plugin
A framework for writing plugins that integrate with the Rust compiler
michel-kraemer/actson-rs
🎬 A reactive (or non-blocking, or asynchronous) JSON parser