OxiLean – Pure Rust Interactive Theorem Prover (Zero C Deps, WASM)
Pure-Rust Lean 4 alternative shipping WASM; 99.24% MathLib4 compatibility proven.
Pure Go mosh. Client and server. Wire-compatible with the standard C mosh implementation.
Pure Go mosh with WASM build running in browser terminals at unixshells.com.
Backend developers, terminal enthusiasts, web terminal builders
mosh · tmux · wetty
The full mosh protocol is implemented including but not limited to AES-128-OCB3, SSP transport with sequencing and retransmission, datagram fragmentation, protobuf state sync, local echo prediction, etc.
It compiles to WASM, which is how we run mosh in the browser at UnixShells.com (WebTransport (HTTP/3) carries the datagrams instead of UDP). This is how things feel instant, despite being wherever you are.
Pure-Rust Lean 4 alternative shipping WASM; 99.24% MathLib4 compatibility proven.
1.36M LOC pure Rust reimplementation—v0.1.0, APIs stabilized, perf unproven.
Pure Rust GDAL replacement ends C++ linking hell and enables WASM geospatial.
Pure Go MLS with no CGO—interop-verified against mlspp and OpenMLS.
Linked hex and schema view makes FlatBuffers binary encoding finally human-readable.
Wire-protocol-complete Git library in Go, but years from production and competing with LibGit2's ecosystem.