grarco

grarco's Stars

• ziglang/zig

  General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

  Language:Zig34.8k36811.5k2.5k

• carbon-language/carbon-lang

  Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

  Language:C++32.3k3846041.5k

• kovidgoyal/kitty

  Cross-platform, fast, feature-rich, GPU based terminal

  Language:Python24.5k1805.7k980

• dandavison/delta

  A syntax-highlighting pager for git, diff, grep, and blame output

  Language:Rust23.2k85803382

• brave/brave-browser

  Brave browser for Android, iOS, Linux, macOS, Windows.

  Language:JavaScript17.8k39139.4k2.3k

• spacejam/sled

  the champagne of beta embedded databases

  Language:Rust8.1k132582383

• seL4/seL4

  The seL4 microkernel

  Language:C4.7k206423672

• bisq-network/bisq

  A decentralized bitcoin exchange network

  Language:Java4.7k2723.2k1.3k

• torproject/tor

  unofficial git repo -- report bugs/issues/pull requests on https://gitlab.torproject.org/ --

  4.5k2630938

• roc-lang/roc

  A fast, friendly, functional language.

  Language:Rust4.4k1132.6k311

• lowRISC/opentitan

  OpenTitan: Open source silicon root of trust

  Language:SystemVerilog2.6k1076.8k771

• anoma/namada

  Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy

  Language:Rust2.4k1091.2k952

• nymtech/nym

  Nym provides strong network-level privacy against sophisticated end-to-end attackers, and anonymous transactions using blinded, re-randomizable, decentralized credentials.

  Language:Rust1.3k491.9k234

• cometbft/cometbft

  CometBFT: A distributed, Byzantine fault-tolerant, deterministic state machine replication engine. A fork and successor to Tendermint Core.

  Language:Go64220920463

• anoma/juvix

  A language for intent-centric and declarative decentralised applications

  Language:Haskell4532483653

• ipfs-rust/ipfs-embed

  A small embeddable ipfs implementation

  Language:Rust357175648

• Eclectic-Sheep/sheeprl

  Distributed Reinforcement Learning accelerated by Lightning Fabric

  Language:Python313411433

• exo-lang/exo

  Exocompilation for productive programming of hardware accelerators

  Language:Python2991027928

• jswrenn/deflect

  Reflection via DWARF.

  Language:Rust2931245

• kuszmaul/SuperMalloc

  A Super Fast Multithreaded malloc() for 64-bit Machines

  Language:TeX287194941

• nymtech/sphinx

  A Sphinx implementation in Rust

  Language:Rust272132223

• non-ai-licenses/non-ai-licenses

  This repository contains software licenses that restrict software from being used in AI training datasets or AI technologies.

  25511814

• ipvm-wg/homestar

  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 and is designed for performance and composability.

  Language:Rust2141315824

• hoprnet/hoprnet

  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.

  Language:Rust213152.2k90

• flashbots/suave-geth

  Language:Go191192552

• anoma/namada-trusted-setup

  Namada Trusted Setup Ceremony for the Multi-Asset Shielded Pool (MASP) enabling asset-agnostic private transfers

  Language:Rust11573164

• flashbots/geth-sgx-gramine

  Geth-in-SGX provides an example of running go-ethereum in SGX

  Language:C7122108

• hshq/harelang

  A macos port of the hare language (https://harelang.org). See README.darwin.

  Language:Makefile69364

• yamnikov-oleg/nasmfmt

  Formatter for NASM source files

  Language:Go604612

• zupo/awesome-lanzarote

  Collection of useful bits for digital nomads & expats in Lanzarote.

  44404