Papers from the computer science community to read and discuss.

🔧 .files, including ~/.macos — sensible hacker defaults for macOS

Apps/CLIs/configs I use on macOS/iOS. Fish, Karabiner, Cursor..

GIT utilities -- repo summary, repl, changelog population, author commit percentages and more

Docker implemented in around 100 lines of bash

The Fish Shell Framework

Automated installation of the Microsoft IE App Compat virtual machines

@holman does dotfiles

Lightweight operating system using Node.js as userspace

CLI and local web plain text note‑taking, bookmarking, and archiving with linking, tagging, filtering, search, Git versioning & syncing, Pandoc conversion, + more, in a single portable script.

An opinionated git prompt for bash and zsh

Multi-User Tmux Made Easy

Everything you need to know about cross compiling Rust programs!

gifify turns movies into gifs.

A more featureful runner for sbt, the simple/scala/standard build tool

Small, usable configuration for ZSH

a functional programming language and interpreter written in GNU Bash 4

Base Docker image for the Repl.it evaluation server

A Bash script to automate adaptive JPEG compression using common CLI tools

Ready up!

A comparison of how computational effects and handlers are implemented in various programming languages.

SBC - Use SSH Like a Boss!

Exercism exercises in Coq.

Buildpack-ocaml to run OCaml program on Heroku.

Bring environment variables exported by foreign applications into fish!

Synthesizing Set Functions

minimal fish theme