Unlock your displays on your Mac! Flexible HiDPI scaling, XDR/HDR extra brightness, virtual screens, DDC control, extra dimming, PIP/streaming, EDID override and lots more!

Resource gathering + programming game

A functional programming language based on algebraic effect handlers

🧙🏻‍♀️ A dotfile ecosystem: cross-shell, cross-os, cross-arch. Make your commands and configurations portable, solve a problem once and for all users. Hundreds of builtin composable primitives for p…

AI Crash Course to help busy builders catch up to the public frontier of AI research in 2 weeks

Open-source E-ink monitor. Mirror of https://gitlab.com/zephray/glider

Helpers for generating descriptions of binaries' ABIs, types, allocation sites and the like

Dynamic creation and update of ELF files, or: an allocator for JIT compilers

Meta-level run-time services for Unix processes... a.k.a. dragging Unix into the 1980s

Enumerate which source lines should be covered by debug info

Toolchain subversion: utilities for taking back control of C/C++ compilation, assembling, linking

Nightly custom Emacs builds for macOS Nix environments

The Standard ML compiler that produces Lua/JavaScript

a nix flake for plutus projects

A collection of learning resources for curious software engineers

Bookmarklet to remove sticky elements and restore scrolling to web pages!

Personal collection of useful bookmarklets

Customizable reader for Emacs Lisp

The Racket repository

Org-Mode Babel Support for Racket

Haskell-style functional programming language running on Erlang VM.

An enhanced scrap-your-typeclasses approach

doom-emacs packaged for Nix [maintainers=@thiagokokada]

Book about using Lean with How To Prove It