dunnl

Lawrence Dunn's starred repositories

dtformats

Collection of data formats

Language:PythonApache-2.015200

hydrabus

HydraBus open source multi-tool for anyone interested in learning/developping/debugging/hacking/Penetration Testing for basic or advanced embedded hardware

Language:TypeScript27600

rackstack

A modular 3d-printable mini rack system.

Language:OpenSCADMIT35100

coqpyt

Python client for coq-lsp

Language:PythonMIT1800

magmide

A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

Language:Coq80400

dblib

Coq library for working with de Bruijn indices [maintainer=@KevOrr]

Language:CoqGPL-3.02800

flake-utils

Pure Nix flake utility functions [maintainer=@zimbatm]

Language:NixMIT105700

nix-du

Visualise which gc-roots to delete to free some space in your nix store

Language:RustLGPL-3.030700

nixos-anywhere

install nixos everywhere via ssh [maintainer=@numtide]

Language:ShellMIT116800

multibib

Generate multiple, topic-specific bibliographies.

Language:LuaMIT1400

nixcloud-webservices

This nixpkgs extension, called nixcloud-webservices, focuses on ease of deployment of web-related technologies.

Language:NixNOASSERTION17200

croc

Easily and securely send things from one computer to another :crocodile: :package:

Language:GoMIT2672800

robotnix

Build Android (AOSP) using Nix [maintainer=@danielfullmer,@Atemu]

Language:Nix58700

Catlab.jl

A framework for applied category theory in the Julia language

Language:JuliaMIT59800

mobile-nixos-cfg

A personal MobileNixos adventure

Language:Shell2000

yubikey-full-disk-encryption

Use YubiKey to unlock a LUKS partition

Language:ShellApache-2.079200

nixos-yubikey-luks

Set up a LUKS-encrypted filesystem for Yubikey in NixOS

Language:ShellMIT5900

org-rifle

Rifle through your Org-mode buffers and acquire your target

Language:Emacs LispGPL-3.049700

chyp

An interactive theorem prover for string diagrams

Language:PythonApache-2.010100

magic-wormhole

get things from one computer to another, safely

Language:PythonMIT1838400

nix-configs

My personal Nix infrastructure.

Language:CSSMIT2000

nixos-generators

Collection of image builders [maintainer=@Lassulus]

Language:NixMIT161900

nixos-config

Lan Tian's NixOS Configuration

Language:Nix4600

impermanence

Modules to help you handle persistent state on systems with ephemeral root storage [maintainer=@talyz]

Language:NixMIT97900

opam-repository

Main public package repository for opam, the source package manager of OCaml.

CC0-1.050900

MOVEit-Transfer

A repository for tracking events related to the MOVEit Transfer Cl0p Campaign

6600

Business-Email-Compromise-Guide

The Business Email Compromise Guide sets out to describe 10 steps for performing a Business Email Compromise (BEC) investigation in an Office 365 environment. Each step is intended to guide the process of identifying, collecting and analysing activity associated with BEC intrusions.

21500

rpisurv

Raspberry Pi surveillance

Language:PythonGPL-2.059300

attic

Multi-tenant Nix Binary Cache

Language:RustNOASSERTION84100