bookshelfdave

dotfiles

my dotfiles

edufs

An (OLD & unfinished) educational filesystem for FreeBSD to help me learn BSD kernel internals. Probably the most fun I've ever had writing software. No tests and it doesn't work! Cover your eyes!

alans-parsing-project

a placeholder for a great project that I'll write someday I'm sure

antlr4

antlr4-archtype

Not for you!

asdf-velero

asdf plugin for heptio velero

cogs

combine

A parser combinator library for Rust

coreutils

Cross-platform Rust rewrite of the GNU coreutils

digitalclock

disco

Functional teaching language for use in a discrete mathematics course

dune

A composable build system for OCaml.

eve-rust-client

fd

A simple, fast and user-friendly alternative to 'find'

freebsd-devenv

gulp

Gulp service for Huli

haskellweekly

Publishes curated news about the Haskell programming language.

homu

A bot that integrates with GitHub and your favorite continuous integration service

learn-tt

A collection of resources for learning type theory and type theory adjacent fields.

lwt

OCaml promises and concurrent I/O.

moa

nice-parser

Nice parsers in OCaml without the boilerplate

ocaml

Read-only mirror of INRIA SVN

optics-exercises

rust-clippy

A bunch of lints to catch common mistakes and improve your Rust code

smiter

it smites thee

sops

Secrets management stinks, use some sops!

sso-dashboard-configuration

Mozilla list of RPs and Groups for SSO-Dashboard

vit

VIT is a lightweight, fast, curses-based front end to Taskwarrior

www.metadave.net