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

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

Manage CloudFormation Stacks through specifications

Koka language compiler and interpreter

A classifier to identify fake news

My home directory and package management stuff, inelegant as it may be

A non-exhaustive list of nonfiction books that I find interesting and may or may not have helped me as a software engineer/human being.

None of us is as annoying as all of us.

👩‍🏫 👨‍🏫 Learn Haskell basics in 4 pull requests

Nyxt - the hacker's browser.

papers of Per Martin Löf