Pinned Repositories
3fx-blog
Blog for 3fx.ch
ansible-mutt
Ansible role configuring mutt and offlineimap for sending mail including automatic mail syncronization.
ansible-sway
Ansible role to install and configure sway
chandy-lamport-formalization
A formalization of the Chandy-Lamport algorithm in Isabelle/HOL
coc-isabelle
Because PIDE is not my editor.
d3servercheck
OS-specific scripts to check if the D3 game server you are connected to is buggy.
ETH
A work in progress of my studies.
isabelle.vim
NeoVim extension used in conjunction with coc-isabelle
lutils
Plaintext accounting utils for ledger, hledger and friends
ross
ThreeFx's Repositories
ThreeFx/isabelle.vim
NeoVim extension used in conjunction with coc-isabelle
ThreeFx/coc-isabelle
Because PIDE is not my editor.
ThreeFx/chandy-lamport-formalization
A formalization of the Chandy-Lamport algorithm in Isabelle/HOL
ThreeFx/ross
ThreeFx/isabelle-lsp
Because PIDE is not my editor
ThreeFx/lutils
Plaintext accounting utils for ledger, hledger and friends
ThreeFx/bubbletea
A powerful little TUI framework 🏗
ThreeFx/bundlewrap
Config management with Python
ThreeFx/caddy
Fast, multi-platform web server with automatic HTTPS
ThreeFx/caddydnsgandi
ThreeFx/camkes-tool
The main CAmkES tool
ThreeFx/certmagic
Automatic HTTPS for any Go program: fully-managed TLS certificate issuance and renewal
ThreeFx/Chess-Challenge
ThreeFx/cyp
Checker for "morally correct" induction proofs about haskell programs
ThreeFx/eww
ElKowars wacky widgets
ThreeFx/hledger
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
ThreeFx/homebrew-cask
🍻 A CLI workflow for the administration of macOS applications distributed as binaries
ThreeFx/hubris
A lightweight, memory-protected, message-passing kernel for deeply embedded systems.
ThreeFx/isabelle-release
Clone of isabelle, with LSP extensions in seperate branches
ThreeFx/l4v
seL4 specification and proofs
ThreeFx/LanguageClient-neovim
Language Server Protocol (LSP) support for vim and neovim.
ThreeFx/libdnsgandi
ThreeFx/nvim-code-action-menu
Pop-up menu for code actions to show meta-information and diff preview
ThreeFx/qmk_firmware
keyboard controller firmware for Atmel AVR and ARM USB families
ThreeFx/river
A dynamic tiling Wayland compositor
ThreeFx/Stockfish
UCI chess engine
ThreeFx/tigerbeetle
A distributed financial accounting database designed for mission critical safety and performance to power the future of financial services.
ThreeFx/toy-examples
Some toy theorem proving stuff
ThreeFx/viewstamped-replication-made-famous
A $20,000 consensus challenge based on TigerBeetle's implementation of the pioneering Viewstamped Replication protocol.
ThreeFx/zig
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.