foo-jin

foo-jin

Geek Repo

Github PK Tool:Github PK Tool

foo-jin's starred repositories

actson-rs

🎬 A reactive (or non-blocking, or asynchronous) JSON parser

Language:Jupyter NotebookLicense:MITStargazers:29Issues:0Issues:0

mask

🎭 A CLI task runner defined by a simple markdown file

Language:RustLicense:MITStargazers:1047Issues:0Issues:0

git-branchless

High-velocity, monorepo-scale workflow for Git

Language:RustLicense:Apache-2.0Stargazers:3385Issues:0Issues:0

jj

A Git-compatible VCS that is both simple and powerful

Language:RustLicense:Apache-2.0Stargazers:7556Issues:0Issues:0

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.

Language:RustLicense:NOASSERTIONStargazers:1409Issues:0Issues:0

dylint

Run Rust lints from dynamic libraries

Language:RustLicense:Apache-2.0Stargazers:358Issues:0Issues:0

rustc_plugin

A framework for writing plugins that integrate with the Rust compiler

Language:RustLicense:MITStargazers:130Issues:0Issues:0

awesome-nu

A curated list of awesome tools that work within the nu language ecosystem e.g. nushell, scripts, nana, etc.

Language:NushellLicense:MITStargazers:650Issues:0Issues:0

trustfall

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

Language:RustLicense:Apache-2.0Stargazers:2309Issues:0Issues:0

xq

Command-line XML and HTML beautifier and content extractor

Language:GoLicense:MITStargazers:791Issues:0Issues:0

unison

Unison file synchronizer

Language:OCamlLicense:GPL-3.0Stargazers:3890Issues:0Issues:0

cat9

A User shell for LASH

Language:LuaLicense:UnlicenseStargazers:464Issues:0Issues:0
Language:RustLicense:Apache-2.0Stargazers:1293Issues:0Issues:0

stabilizer

Stabilizer: Rigorous Performance Evaluation

Language:PrologLicense:Apache-2.0Stargazers:555Issues:0Issues:0

nextest

A next-generation test runner for Rust.

Language:RustLicense:Apache-2.0Stargazers:2049Issues:0Issues:0

atuin

✨ Magical shell history

Language:RustLicense:MITStargazers:19147Issues:0Issues:0

difftastic

a structural diff that understands syntax 🟥🟩

Language:RustLicense:MITStargazers:20115Issues:0Issues:0

panamax

Mirror rustup and crates.io repositories, for offline Rust and cargo usage.

Language:RustLicense:Apache-2.0Stargazers:421Issues:0Issues:0

sioyek

Sioyek is a PDF viewer with a focus on textbooks and research papers

Language:CLicense:GPL-3.0Stargazers:6862Issues:0Issues:0

rizin

UNIX-like reverse engineering framework and command-line toolset.

Language:CLicense:LGPL-3.0Stargazers:2556Issues:0Issues:0

gum

A tool for glamorous shell scripts 🎀

Language:GoLicense:MITStargazers:17418Issues:0Issues:0

lurk

A pretty (simple) alternative to strace

Language:RustLicense:Apache-2.0Stargazers:723Issues:0Issues:0
Language:PythonStargazers:1478Issues:0Issues:0

literate-calc-mode.el

🧮 Literate programming for M-x calc

Language:Emacs LispLicense:GPL-3.0Stargazers:322Issues:0Issues:0

wuffs

Wrangling Untrusted File Formats Safely

Language:CLicense:NOASSERTIONStargazers:4075Issues:0Issues:0

creusot

Creusot helps you prove your code is correct in an automated fashion.

Language:RustLicense:LGPL-2.1Stargazers:1080Issues:0Issues:0

CreuSAT

CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

Language:RustLicense:MITStargazers:601Issues:0Issues:0

moro

Experiments with structured concurrency in Rust

Language:RustLicense:MITStargazers:273Issues:0Issues:0

ante

A safe, easy systems language

Language:RustLicense:MITStargazers:1881Issues:0Issues:0

rust-dominator

Zero-cost ultra-high-performance declarative DOM library using FRP signals for Rust!

Language:RustLicense:MITStargazers:967Issues:0Issues:0