paxi
sx
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
paxi
-
Paxos vs Raft: Have We Reached Consensus on Distributed Consensus?
Author seems to be using https://github.com/ailidani/paxi for actual implementation and proof.
I'm more of a python/rust guy. There have been some attempts to make model checkers in rust: https://github.com/stateright/stateright
The issue is that rust is a very large language and it's hard to get it right.
I have a python implementation of raft over here:
https://github.com/adsharma/raft/tree/master/raft/states
That's small enough to be self contained and perhaps run through a model checker some day and transpiled to many statically typed languages.
The issue with TLA+ proofs such as:
https://github.com/fpaxos/raft.tla
is that it's hard to tell if a particular C++ or Rust implementation conforms to the spec.
So how do we check and transpile?
* https://www.philipzucker.com/Modelling_TLA_in_z3py/
sx
-
arpi - Basic network scanner for Raspberry Pi written in Go
- https://github.com/v-byte-cpu/sx
- Sx is the command-line network scanner designed to follow the Unix philosophy
- v-byte-cpu/sx
- Sx – Fast, modern, easy-to-use network scanner
-
sx - modern network scanner that is 30 times faster than nmap
https://github.com/v-byte-cpu/sx Hi there! Most popular network scanners are written in C and unfortunately have too complicated source code to study and create patches. So I have created a simple and fast network scanner in Go, it already supports all major types of scans that are available in nmap and works 30x times faster! In addition it supports SOCKS5/elasticsearch/docker scans and it's very easy to expand.
- sx - Fast, modern, easy-to-use network scanner in Go
- Fast, modern, easy-to-use network scanner in go
What are some alternatives?
stateright - A model checker for implementing distributed systems.
threagile - Agile Threat Modeling Toolkit
raft
tcp-proxy - A TCP proxy in 30 lines of Rust.
py2many - Transpiler of Python to many other languages
gobetween - :cloud: Modern & minimalistic load balancer for the Сloud era
raft.tla - TLA+ specification for the Raft consensus algorithm
TrojanSourceFinder - 🔎 Help find Trojan Source vulnerability in code 👀 . Useful for code review in project with multiple collaborators (CI/CD)
raft.tla - TLA+ specification for the Raft consensus algorithm
pillager - Pillage filesystems for sensitive information with Go 🔍
dragonboat - A feature complete and high performance multi-group Raft library in Go.
nps - 一款轻量级、高性能、功能强大的内网穿透代理服务器。支持tcp、udp、socks5、http等几乎所有流量转发，可用来访问内网网站、本地支付接口调试、ssh访问、远程桌面，内网dns解析、内网socks5代理等等……，并带有功能强大的web管理端。a lightweight, high-performance, powerful intranet penetration proxy server, with a powerful web management terminal.