ThreeFx
Follow
-
viewstamped-replication-made-famous Public
Forked from tigerbeetle/viewstamped-replication-made-famousA $20,000 consensus challenge based on TigerBeetle's implementation of the pioneering Viewstamped Replication protocol.
Zig UpdatedJul 4, 2024 -
coc-isabelle Public
Because PIDE is not my editor.
-
-
-
hubris Public
Forked from oxidecomputer/hubrisA lightweight, memory-protected, message-passing kernel for deeply embedded systems.
Rust Mozilla Public License 2.0 UpdatedFeb 8, 2023 -
hledger Public
Forked from simonmichael/hledgerRobust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
Haskell GNU General Public License v3.0 UpdatedJan 19, 2023 -
-
bubbletea Public
Forked from charmbracelet/bubbleteaA powerful little TUI framework 🏗
Go MIT License UpdatedOct 18, 2022 -
zig Public
Forked from ziglang/zigGeneral-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
Zig MIT License UpdatedAug 16, 2022 -
qmk_firmware Public
Forked from qmk/qmk_firmwarekeyboard controller firmware for Atmel AVR and ARM USB families
C GNU General Public License v2.0 UpdatedJul 13, 2022 -
Stockfish Public
Forked from official-stockfish/StockfishUCI chess engine
C++ GNU General Public License v3.0 UpdatedJun 25, 2022 -
caddy Public
Forked from caddyserver/caddyFast, multi-platform web server with automatic HTTPS
Go Apache License 2.0 UpdatedJun 8, 2022 -
certmagic Public
Forked from caddyserver/certmagicAutomatic HTTPS for any Go program: fully-managed TLS certificate issuance and renewal
Go Apache License 2.0 UpdatedJun 8, 2022 -
-
-
isabelle.vim Public
NeoVim extension used in conjunction with coc-isabelle
-
nvim-code-action-menu Public
Forked from weilbith/nvim-code-action-menuPop-up menu for code actions to show meta-information and diff preview
Lua MIT License UpdatedMay 20, 2022 -
cyp Public
Forked from dtraytel/cypChecker for "morally correct" induction proofs about haskell programs
Haskell MIT License UpdatedMar 16, 2022 -
-
homebrew-cask Public
Forked from Homebrew/homebrew-cask🍻 A CLI workflow for the administration of macOS applications distributed as binaries
Ruby BSD 2-Clause "Simplified" License UpdatedJan 4, 2022 -
river Public
Forked from riverwm/riverA dynamic tiling Wayland compositor
Zig GNU General Public License v3.0 UpdatedOct 13, 2021 -
lutils Public
Plaintext accounting utils for ledger, hledger and friends
-
tigerbeetle Public
Forked from tigerbeetle/tigerbeetleA distributed financial accounting database designed for mission critical safety and performance to power the future of financial services.
Zig Apache License 2.0 UpdatedSep 17, 2021 -
-
bundlewrap Public
Forked from bundlewrap/bundlewrapConfig management with Python
Python GNU General Public License v3.0 UpdatedJul 15, 2021 -
camkes-tool Public
Forked from seL4/camkes-toolThe main CAmkES tool
Python Other UpdatedApr 6, 2021 -
chandy-lamport-formalization Public
A formalization of the Chandy-Lamport algorithm in Isabelle/HOL
-
isabelle-release Public
Forked from m-fleury/isabelle-emacsClone of isabelle, with LSP extensions in seperate branches
Isabelle Other UpdatedMar 29, 2021 -
LanguageClient-neovim Public
Forked from autozimu/LanguageClient-neovimLanguage Server Protocol (LSP) support for vim and neovim.
Rust MIT License UpdatedMar 23, 2021 -