Selected Papers of Dana S. Scott

Browse media content with your own rules on Android TV

A collection of inspiring lists, manuals, cheatsheets, blogs, hacks, one-liners, cli/web tools and more.

GlazeWM is a tiling window manager for Windows inspired by i3wm.

The Startup CTO's Handbook, a book covering leadership, management and technical topics for leaders of software engineering teams

An open, technical and introductory book for the Zig programming language 📚📖

A tool that helps you to turn in one command a Rust crate into a Haskell Cabal library!

Declare your digital independence

Benchmarks for sequence data structures: lists, vectors, etc.

MLIR For Beginners tutorial

Dev environments for numerous languages based on Nix flakes [maintainer=@lucperkins]

A collection of handy Bash One-Liners and terminal tricks for data processing and Linux system maintenance.

Joel Bartlett's fabled Scheme->C system

Glorious Engrammer keymap for Glove80 keyboard

ADV360 Pro ZMK All-in-One Qwerty, Colemak, Colemak-DH, Dvorak, Programmer Dvorak, Workman, Workman-P Layout

Reimplementation of a subset of Cabal

teensy elf executable (64 bit)

Inspecting tool for GHC compilation pipeline

Raspberry Pi config for all things Internet.

A community-driven collection of documentation for Haskell error messages and warnings

Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.

an implementation of stuck macros

Master the command line, in one page

A computer science textbook

mal - Make a Lisp

Self-Hosting Guide. Learn all about locally hosting (on premises & private web servers) and managing software applications by yourself or your organization. Including Cloud, LLMs, WireGuard, Automa…