fowlerlee

fowlerlee's Stars

• xai-org/grok-1

  Grok open release

  Language:Python49.5k5622098.3k

• bevyengine/bevy

  A refreshingly simple data-driven game engine built in Rust

  Language:Rust36k2965.7k3.5k

• google/comprehensive-rust

  This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.

  Language:Rust27.8k1382921.7k

• neondatabase/neon

  Neon: Serverless Postgres. We separated storage and compute to offer autoscaling, code-like database branching, and scale to zero.

  Language:Rust14.9k922.5k434

• openobserve/openobserve

  🚀 10x easier, 🚀 140x lower storage cost, 🚀 high performance, 🚀 petabyte scale - Elasticsearch/Splunk/Datadog alternative for 🚀 (logs, metrics, traces, RUM, Error tracking, Session replay).

  Language:Rust12.7k811.8k457

• pingcap/talent-plan

  open source training courses about distributed database and distributed systems

  Language:Rust10.2k2511821.3k

• rust-in-blockchain/awesome-blockchain-rust

  Collect libraries and packages about blockchain/cryptography in Rust

  2.4k574246

• tlaplus/tlaplus

  TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

  Language:Java2.3k56805194

• dfinity/ic

  Internet Computer blockchain source: the client/replica software run by nodes

  Language:Rust1.6k670317

• m-ou-se/rust-atomics-and-locks

  Code examples, data structures, and links from my book, Rust Atomics and Locks.

  Language:Rust1.3k2555121

• tlaplus/Examples

  A collection of TLA⁺ specifications of varying complexities

  Language:TLA1.3k4440199

• dfinity/examples

  Example applications, microservices, and code samples for the Internet Computer

  Language:JavaScript5385171377

• w-okada/image-analyze-workers

  The zoo of image processing webworkers for javascript or typescript.

  Language:TypeScript279193756

• Azure/azure-cosmos-tla

  Azure Cosmos TLA+ specifications

  Language:TLA27150041

• travisjeffery/proglog

  grpc log service example project

  Language:Go18751876

• romainguy/filthy-rich-clients

  Samples for the book Filthy Rich Clients

  Language:Java15515145

• jdnklau/fm-ml

  Collection of resources for research concerning Machine Learning and Formal Methods.

  Language:TeX751011

• motoko-bootcamp/bootcamp-2022

  Language:Motoko6310031

• motoko-bootcamp/dao-adventure

  Build a DAO on the Internet Computer in 7 days and learn Motoko.

  Language:Motoko462459

• seniorjoinu/ic-stable-memory

  Lets you store canister data directly in stable memory

  Language:Rust4241511

• dfinity/ICRC

  Repository to ICRC proposals

  295705

• passeride/BevyReact

  Language:Rust21300

• dranov/raft-tla

  Language:TLA19313

• domwoe/access_control

  Demonstration of access control patterns on the Internet Computer

  Language:Rust16101

• kit-dsn/payment-channel-tla

  Specification of a protocol for payment channels in TLA+

  Language:TLA14203

• ICPSquad/Squad

  dSquad NFT

  Language:Svelte7100

• open-chat-labs/icp-notifications

  Language:Rust5104

• DmailFi/dmailfi_protocol

  Web3 Mail Protocol for ICP Blockchain

  Language:Rust31

• oggy-dfin/tla-tutorial

  Language:TLA3

• DmailFi/dmailfi_gateway

  An SMTP to Web3 Gateway

  Language:Rust11