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…

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

Haskell-style functional programming language running on Erlang VM.

An enhanced scrap-your-typeclasses approach

Book about using Lean with How To Prove It

Lean package for "How To Prove It with Lean", a companion to the book "How To Prove It"

Defect Process (2d hack n' slash game) full source code

Koka language compiler and interpreter

A classifier to identify fake news