clairew

project-based-learning

Curated list of project-based tutorials

gitignore

A collection of useful .gitignore templates

spacemacs

A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

doomemacs

An Emacs framework for the stubborn martian hacker

lazy.nvim

💤 A modern plugin manager for Neovim

HVM

A massively parallel, optimal functional runtime in Rust

distrobox

Use any linux distribution inside your terminal. Enable both backward and forward compatibility with software and freedom to use whatever distribution you’re more comfortable with. Mirror available at: https://gitlab.com/89luca89/distrobox

nvim-tree.lua

A file explorer tree for neovim written in lua

ctags

A maintained ctags implementation

linux-network-performance-parameters

Learn where some of the network sysctl variables fit into the Linux/Kernel network flow. Translations: 🇷🇺

coq_nvim

Fast as FUCK nvim completion. SQLite, concurrent scheduler, hundreds of hours of optimization.

participle

A parser library for Go

write-you-a-haskell

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

xdp-tutorial

XDP tutorial

blip

A tool for seeing your Internet latency. Try it at http://gfblip.appspot.com/

math-comp

Mathematical Components

PG

This repo is the new home of Proof General

coq-tricks

Tricks you wish the Coq manual told you

go-nbd

Pure Go NBD server and client library.

free-older-books-and-software

I used to have PDFs for my books on my web site - I moved them to this public repo.

lean.nvim

neovim support for the Lean theorem prover

pie-hs

An implementation of Pie in Haskell

lean4game

Server to host lean games.

perennial

Verifying concurrent crash-safe systems

TheHoTTGame

Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT

goose

Goose converts a small subset of Go to Coq

logical_verification_2023

Hitchhiker's Guide to Logical Verification (2023 Edition)

stlc

This aims to be the most pretentious implementation of stlc in existence

lean4-mode

Emacs major mode for Lean 4

LeanChemicalTheories