-
configs Public
configuration files for setting up interactive Linux boxes
-
-
-
this-week-in-rust Public
Forked from rust-lang/this-week-in-rust[fork] Data for this-week-in-rust.org
Python UpdatedApr 16, 2025 -
rust Public
Forked from rust-lang/rusta safe, concurrent, practical language
Rust Other UpdatedApr 14, 2025 -
-
-
raft-success-talk Public
Slides for talk titled "How did Raft succeed?"
HTML Other UpdatedSep 19, 2024 -
-
-
iqlusioninc-crates Public
Forked from iqlusioninc/crates[fork] A collection of open source Rust crates from iqlusion
Rust Apache License 2.0 UpdatedAug 15, 2023 -
splr Public
Forked from shnarazk/splrA modern CDCL SAT solver in Rust
Rust Other UpdatedOct 9, 2022 -
cap-std Public
Forked from bytecodealliance/cap-stdCapability-oriented version of the Rust standard library
Rust Other UpdatedJul 19, 2022 -
microCOVID Public
Forked from microCOVID/microCOVIDEstimating the COVID risk of ordinary activities
TypeScript MIT License UpdatedJan 6, 2022 -
CheatSheetSeries Public
Forked from OWASP/CheatSheetSeriesThe OWASP Cheat Sheet Series was created to provide a concise collection of high value information on specific application security topics.
-
runway-model-raft Public
Raft model for Runway
-
-
contributor-book Public
Forked from mcarifio/contributor-handbookNushell contributor book
CSS MIT License UpdatedAug 27, 2020 -
restic Public
Forked from restic/resticFast, secure, efficient backup program
Go BSD 2-Clause "Simplified" License UpdatedAug 12, 2020 -
notion-doc Public
Forked from raboof/notion-docDocumentation for the 'notion' project
TeX Other UpdatedAug 7, 2020 -
publish-extensions Public
Forked from EclipseFdn/publish-extensionsScripts for publishing VS Code extensions to open-vsx.org
JavaScript Eclipse Public License 2.0 UpdatedJul 31, 2020 -
-
-
beam Public
Forked from eBay/akutanA distributed knowledge graph store
Go Apache License 2.0 UpdatedApr 4, 2019 -
raft-pseudocode Public
attempt at summarizing Raft in one page of pseudo-code
-
raft-talk Public
Slides on Raft that I use for my usual talks.
-
-
hashicorp-raft Public
Forked from hashicorp/raftFork of Hashicorp's Golang implementation of the Raft consensus protocol
-
kwic Public
Implementations of KWIC index decompositions from "On the criteria to be used in decomposing systems into modules"
-
dissertation Public
Sources for my PhD dissertation on the Raft consensus algorithm
{{ message }}