Lawrence Dunn's starred repositories
Self-Hosting-Guide
Self-Hosting Guide. Learn all about locally hosting (on premises & private web servers) and managing software applications by yourself or your organization. Including Cloud, LLMs, WireGuard, Automation, Home Assistant, and Networking.
web-components-examples
A series of web components examples, related to the MDN web components documentation at https://developer.mozilla.org/en-US/docs/Web/Web_Components.
nix-direnv
A fast, persistent use_nix/use_flake implementation for direnv [maintainer=@Mic92 / @bbenne10]
GlobalProtect-openconnect
A GlobalProtect VPN client for Linux, written in Rust, based on OpenConnect and Tauri, supports SSO with MFA, Yubikey, and client certificate authentication, etc.
lua-filters
A collection of lua filters for pandoc
realworlddevopscourse
Accompanying files for "Real world Devops project from start to finish" course
pandoc-eqnos
A pandoc filter for numbering equations and equation references.
coq-chick-blog
🐣 A blog engine written and proven in Coq
pandoc-mode
An Emacs minor mode for interacting with Pandoc.
coq-haskell
A library for formalizing Haskell types and functions in Coq
NixOS-Flake
My NixOS Flake + dotfiles
coq-nix-toolbox
Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]
nixos-home
Nixified dotfiles
combinator-nbe
Normalization by evaluation of simply typed combinators.
purescript-bulma
PureScript bindings for Bulma
lambda-calculus
Denotational Semantics of the Untyped Lambda Calculus
nix-pandoc
An expression to build Pandoc documents with Nix
haskell-multi-nix
A simple demo of Nixifying a multi-package Haskell project
Accessibility
A small course on the inductive accessibility predicate in Coq
nur-packages
Personal packages available on NUR