Ben Fiedler's repositories
coc-isabelle
Because PIDE is not my editor.
isabelle.vim
NeoVim extension used in conjunction with coc-isabelle
chandy-lamport-formalization
A formalization of the Chandy-Lamport algorithm in Isabelle/HOL
isabelle-lsp
Because PIDE is not my editor
bubbletea
A powerful little TUI framework 🏗
bundlewrap
Config management with Python
caddy
Fast, multi-platform web server with automatic HTTPS
camkes-tool
The main CAmkES tool
certmagic
Automatic HTTPS for any Go program: fully-managed TLS certificate issuance and renewal
cyp
Checker for "morally correct" induction proofs about haskell programs
eww
ElKowars wacky widgets
hledger
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
homebrew-cask
🍻 A CLI workflow for the administration of macOS applications distributed as binaries
hubris
A lightweight, memory-protected, message-passing kernel for deeply embedded systems.
isabelle-release
Clone of isabelle, with LSP extensions in seperate branches
LanguageClient-neovim
Language Server Protocol (LSP) support for vim and neovim.
nvim-code-action-menu
Pop-up menu for code actions to show meta-information and diff preview
qmk_firmware
keyboard controller firmware for Atmel AVR and ARM USB families
Stockfish
UCI chess engine
tigerbeetle
A distributed financial accounting database designed for mission critical safety and performance to power the future of financial services.
toy-examples
Some toy theorem proving stuff
viewstamped-replication-made-famous
A $20,000 consensus challenge based on TigerBeetle's implementation of the pioneering Viewstamped Replication protocol.
zig
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.