lawrencetheabhorrence

GShade

GShade is a highly modified ReShade fork & utility package with numerous improvements and settings autodetection for over 300 games.

carbon-lang

Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

monad-validate

A Haskell monad transformer library for data validation

smack

SMACK Software Verifier and Verification Toolchain

formalising-mathematics

Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024

MarkovJunior

Probabilistic language based on pattern matching and constraint propagation, 153 examples

KyuWeb

A proposal for a simple document-oriented web.

pyifs

An Iterated Function System in Python

monkeytype

The most customizable typing website with a minimalistic design and a ton of features. Test yourself in various modes, track your progress and improve your speed.

asplos22-ae

FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository

dharmx

Bleeding-edge dots.

botos

A web-based election system for schools.

ISO-3166-Countries-with-Regional-Codes

ISO 3166-1 country lists merged with their UN Geoscheme regional codes in ready-to-use JSON, XML, CSV data sets

hoogle

Haskell API search engine

gotta-go-fast

A command line utility for practicing typing and measuring your WPM and accuracy.

nuha

emanote

Emanate a structured view of your plain-text notes

textual

The lean application framework for Python. Build sophisticated user interfaces with a simple Python API. Run your apps in the terminal and a web browser.

exa

A modern replacement for ‘ls’.

modern-unix

A collection of modern/faster/saner alternatives to common unix commands.

neovim

Vim-fork focused on extensibility and usability

nvim-tree.lua

A file explorer tree for neovim written in lua

Nuitka

Nuitka is a Python compiler written in Python. It's fully compatible with Python 2.6, 2.7, 3.4-3.12. You feed it your Python app, it does a lot of clever things, and spits out an executable or extension module.

cli

Command-line tool to customize Spotify client. Supports Windows, MacOS, and Linux.

coala

coala provides a unified command-line interface for linting and fixing all your code, regardless of the programming languages you use.

vim-pencil

Rethinking Vim as a tool for writing

xmonad

The core of xmonad, a small but functional ICCCM-compliant tiling window manager

conan

Conan - The open-source C and C++ package manager

spotify-downloader

Download your Spotify playlists and songs along with album art and metadata (from YouTube if a match is found).

idiomatic-vimrc

Guidelines for sculpting your very own ~/.vimrc.