Stars
A Super Fast Multithreaded malloc() for 64-bit Machines
Geth-in-SGX provides an example of running go-ethereum in SGX
Nym provides strong network-level privacy against sophisticated end-to-end attackers, and anonymous transactions using blinded, re-randomizable, decentralized credentials.
HOPR is an open incentivized mixnet which enables privacy-preserving point-to-point data exchange. HOPR is similar to Tor but actually private, decentralized and economically sustainable.
unofficial git repo -- report bugs/issues/pull requests on https://gitlab.torproject.org/ --
CometBFT: A distributed, Byzantine fault-tolerant, deterministic state machine replication engine. A fork and successor to Tendermint Core.
Distributed Reinforcement Learning accelerated by Lightning Fabric
Collection of useful bits for digital nomads & expats in Lanzarote.
Homestar is the individual node that makes up the Everywhere Computer network (similar to how IPFS Kubo, Iroh, Nabu, or other implementation nodes make up the IPFS network). It's written in Rust an…
This repository contains software licenses that restrict software from being used in AI training datasets or AI technologies.
Cross-platform, fast, feature-rich, GPU based terminal
Brave browser for Android, iOS, Linux, macOS, Windows.
A macos port of the hare language (https://harelang.org). See README.darwin.
A syntax-highlighting pager for git, diff, grep, and blame output
anoma / namada-trusted-setup
Forked from AleoNet/aleo-setupNamada Trusted Setup Ceremony for the Multi-Asset Shielded Pool (MASP) enabling asset-agnostic private transfers
Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy
OpenTitan: Open source silicon root of trust
A language for intent-centric and declarative decentralised applications
Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)
Exocompilation for productive programming of hardware accelerators
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.