Giters
lee (fowlerlee)

fowlerlee

Geek Repo

9

followers

14

following

44

stars

Company:Musall

Location:Sweden

Github PK Tool:Github PK Tool

lee's starred repositories

payment-channel-tla

Specification of a protocol for payment channels in TLA+

Language:TLAStargazers:14Issues:0Issues:0

ic

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

Language:RustLicense:NOASSERTIONStargazers:1499Issues:0Issues:0

raft-tla

Language:TLALicense:NOASSERTIONStargazers:20Issues:0Issues:0

talent-plan

open source training courses about distributed database and distributed systems

Language:RustStargazers:9983Issues:0Issues:0

neon

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

Language:RustLicense:Apache-2.0Stargazers:13407Issues:0Issues:0

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:RustLicense:AGPL-3.0Stargazers:10304Issues:0Issues:0

comprehensive-rust

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

Language:RustLicense:Apache-2.0Stargazers:26771Issues:0Issues:0

fm-ml

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

Language:TeXStargazers:64Issues:0Issues:0

proglog

grpc log service example project

Language:GoStargazers:182Issues:0Issues:0

grok-1

Grok open release

Language:PythonLicense:Apache-2.0Stargazers:49181Issues:0Issues:0

dao-adventure

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

Language:MotokoLicense:NOASSERTIONStargazers:37Issues:0Issues:0

bootcamp-2022

Language:MotokoStargazers:59Issues:0Issues:0

Squad

dSquad NFT

Language:SvelteStargazers:7Issues:0Issues:0

examples

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

Language:JavaScriptLicense:Apache-2.0Stargazers:510Issues:0Issues:0

dmailfi_gateway

An SMTP to Web3 Gateway

Language:RustStargazers:1Issues:0Issues:0

image-analyze-workers

The zoo of image processing webworkers for javascript or typescript.

Language:TypeScriptStargazers:269Issues:0Issues:0

BevyReact

Language:RustStargazers:19Issues:0Issues:0

dmailfi_protocol

Web3 Mail Protocol for ICP Blockchain

Language:RustStargazers:3Issues:0Issues:0

tla-tutorial

Language:TLAStargazers:3Issues:0Issues:0

azure-cosmos-tla

Azure Cosmos TLA+ specifications

Language:TLALicense:MITStargazers:265Issues:0Issues:0

tlaplus

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

Language:JavaLicense:MITStargazers:2261Issues:0Issues:0

Examples

A collection of TLA⁺ specifications of varying complexities

Language:TLALicense:NOASSERTIONStargazers:1250Issues:0Issues:0

bevy

A refreshingly simple data-driven game engine built in Rust

Language:RustLicense:Apache-2.0Stargazers:34141Issues:0Issues:0

rust-atomics-and-locks

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

Language:RustLicense:NOASSERTIONStargazers:1244Issues:0Issues:0

ic-stable-memory

Lets you store canister data directly in stable memory

Language:RustLicense:MITStargazers:39Issues:0Issues:0

icp-notifications

Language:RustStargazers:5Issues:0Issues:0

awesome-blockchain-rust

Collect libraries and packages about blockchain/cryptography in Rust

Stargazers:2270Issues:0Issues:0

access_control

Demonstration of access control patterns on the Internet Computer

Language:RustLicense:MITStargazers:15Issues:0Issues:0

filthy-rich-clients

Samples for the book Filthy Rich Clients

Language:JavaLicense:BSD-3-ClauseStargazers:153Issues:0Issues:0

ICRC

Repository to ICRC proposals

License:Apache-2.0Stargazers:28Issues:0Issues:0