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.
realworlddevopscourse
Accompanying files for "Real world Devops project from start to finish" course
NixOS-Flake
My NixOS Flake + dotfiles
nixos-home
Nixified dotfiles
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.
haskell-multi-nix
A simple demo of Nixifying a multi-package Haskell project
lambda-calculus
Denotational Semantics of the Untyped Lambda Calculus
combinator-nbe
Normalization by evaluation of simply typed combinators.
nix-direnv
A fast, persistent use_nix/use_flake implementation for direnv [maintainer=@Mic92 / @bbenne10]
coq-haskell
A library for formalizing Haskell types and functions in Coq
Accessibility
A small course on the inductive accessibility predicate in Coq
purescript-bulma
PureScript bindings for Bulma
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.
pandoc-eqnos
A pandoc filter for numbering equations and equation references.
lua-filters
A collection of lua filters for pandoc
pandoc-mode
An Emacs minor mode for interacting with Pandoc.
nix-pandoc
An expression to build Pandoc documents with Nix
nur-packages
Personal packages available on NUR
coq-chick-blog
🐣 A blog engine written and proven in Coq
coq-nix-toolbox
Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]