A syntax-highlighting pager for git, diff, grep, and blame output

Language for high-assurance and high-speed cryptography

Code for the manim-generated scenes used in 3blue1brown videos

Base16 for Shells

Capstone disassembly/disassembler framework for ARM, ARM64 (ARMv8), Alpha, BPF, Ethereum VM, HPPA, LoongArch, M68K, M680X, Mips, MOS65XX, PPC, RISC-V(rv32G/rv64G), SH, Sparc, SystemZ, TMS320C64X, T…

CLI for SQLite Databases with auto-completion and syntax highlighting

This repository contains a list of important and useful github repos which a developer, coder, a student should never miss to look at.

jq inspired (and gojq dependent) interoperable config format transcoder with interactive querying.

Convenient generic print() for C

A high performance and feature rich regular expression engine.

k/simple is a bare minimum k interpreter for learning purposes by arthur whitney

Univer is an isomorphic full-stack framework for creating and editing spreadsheets, docs, and slides across client and server.

Coz: Causal Profiling

a structural diff that understands syntax 🟥🟩

Interactive JSON filter using jq

jq extension for Postgres

A Language Server for Postgres

Design circuit boards with code! ✨ Get software-like design reuse 🚀, validation, version control and collaboration in hardware; starting with electronics ⚡️

A highly experimental vi-inspired editor where you edit code, not text.

like gofmt, but for jq

aws-lc-rs is a cryptographic library using AWS-LC for its cryptographic operations. The library strives to be API-compatible with the popular Rust library named ring.

The SQL IDE for Your Terminal.

Super-parallel Python port of the C-Reduce

C-Reduce, a C and C++ program reducer

Presentation-quality WebGL math graphing

Animation engine for explanatory math videos

Old Unix programs running on modern computers.

Debugger for Hubris

A lightweight, memory-protected, message-passing kernel for deeply embedded systems.

rules_jq simplifies pull, validation, and use of new releases of the jq interpreter