dsprenkels Goto Github PK

age

A simple, modern and secure encryption tool (and Go library) with small explicit keys, no config options, and UNIX-style composability.

apparmor-profiles

Apparmor profiles collection

asn2ynab

Convert ASN bank CSV exports to YNAB

astro

Build faster websites with Astro's next-gen island architecture 🏝✨

avrd

AVR device definitions

backpack

bb-scripts

bash scripts for the ELO of RU

bebb-as

Personal tooling for our "Ben Eater BreadBoard" CPU

bebb-schematics

Schematics for my "Ben Eater BreadBoard"-CPU

berthad

Simple, fast, no-nonsense blob storage

cardsagainstcryptography

A party game for nerdy cryptographers. Shamelessly based on Cards Against Humanity.

chan

Multi-producer, multi-consumer concurrent channel for Rust.

clife-mch2022

Enhanced Game of Life for the MCH2022 badge

codimd

CodiMD - Realtime collaborative markdown notes on all platforms.

codimd-docs

Documentation of CodiMD

codimd-image-share

A primitive Android app for sharing images via your personal CodiMD service

compiler-builtins

Porting `compiler-rt` intrinsics to Rust

cosix

A fully capability-based operating system

curve13318

curve13318-all

curve13318-cortex_m4

curve13318-haswell

curve13318-ivybridge

curve25519-dalek

A pure-Rust implementation of group operations on Ristretto and Curve25519

dazeus-plugin-karma

Karma plugin for DaZeus 2.0

dilithium-aborts-distributions

discord-bot

Simple discord bot to manage your server

docker-clean-language

Docker image for the Clean programming language

dotfiles

ansible configuration for personalising my remote shells

dunsel

What else are functional languages for?