A shell parser, formatter, and interpreter with bash support; includes shfmt

🥜 A Self-Compiling C Transpiler Targeting Human-Readable POSIX Shell

Knowledge transfer from high-resource to low-resource programming languages for Code LLMs

jq for binary formats - tool, language and decoders for working with binary and text formats

Some experiments with SMT solvers and GIMPLE IR

A symbolic analyser for shell scripts.

Roaring bitmaps in C (and C++), with SIMD (AVX2, AVX-512 and NEON) optimizations: used by Apache Doris, ClickHouse, and StarRocks

Rust port of simdjson

a makefile linter

A lightweight sandbox tool for non-root users

Always-Correct and Fast Incremental Builds from Simple Specifications

Data Science and Machine Learning Examples for Data Science Linux

Propositional Equality in Liquid Haskell

A multi-programming language benchmark for LLMs

FUSE-MT: a multithreaded wrapper on top of FUSE for Rust

A set of exercises for deliberate Git Practice

Reparent a running program to a new terminal

GitHub Action for the OCaml programming language

Firefox add-on that makes Twitter alt text visible to sighted users

A document language for the browser

Filesystem in Userspace (FUSE) for Rust

Online QR Code Generator in the Browser

eXtended UNIX text-processing tools

An interactive cheatsheet tool for the command-line

CLI tool and python library that converts the output of popular command-line tools, file-types, and common strings to JSON, YAML, or Dictionaries. This allows piping of output to tools like jq and …

🌠 Manage your shell commands.

MonoSAT - An SMT solver for Monotonic Theories

Ultimate Plumber is a tool for writing Linux pipes with instant live preview

Master the command line, in one page