Official writeups for University CTF 2023: Brains & Bytes

Visual Studio Code Server support in NixOS

Command-line YAML, XML, TOML processor - jq wrapper for YAML/XML/TOML documents

yq is a portable command-line YAML, JSON, XML, CSV, TOML and properties processor

Statically-linked ssh server with reverse shell functionality for CTFs and such

Statically-linked ssh server with reverse shell functionality for CTFs and such

Fast, correct Python JSON library supporting dataclasses, datetimes, and numpy

SQL powered operating system instrumentation, monitoring, and analytics.

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

Hurl, run and test HTTP requests with plain text.

agda-mode on VS Code

🎓 Unofficial LaTeX templates for your graduate thesis (both master's theses and doctoral dissertations) at National Taiwan University. 國立臺灣大學碩博士學位論文 LaTeX 模板

National Taiwan University Master's Thesis Template (Latex + Word)

Sling is a CLI tool that extracts data from a source storage/database and loads it in a target storage/database.

ingestr is a CLI tool to copy data between any databases with a single command seamlessly.

Export PostgreSQL table or query into Parquet file

A comprehensive roadmap for aspiring Embedded Systems Engineers, featuring a curated list of learning resources.

SmartBugs: A Framework to Analyze Ethereum Smart Contracts

Academic Smart Contract Papers. Welcome developers or researchers to add more published papers to this list.

Sensible database change management

The lazier way to manage everything docker

Home of StarCoder: fine-tuning & inference!

Easy to use local storage management for Linux.

A Python library to extract tabular data from PDFs

A Docker image for camelot-dev/excalibur

🚧 (Archived) StellarSQL: a minimal SQL DBMS written in Rust

⛄ Possibly the smallest compiler ever

A more intuitive version of du in rust

⬛️ CLI tool for saving complete web pages as a single HTML file

dry - A Docker manager for the terminal @