g8shen

g8shen's Stars

• leanprover/lean4

  Lean 4 programming language and theorem prover

  Language:Lean4.6k641.9k408

• baoliay2008/lccn_predictor

  LeetCode Contest Rating Prediction

  Language:Python66944224

• jzarnett/ece252

  ECE 252: Systems Programming and Concurrency

  Language:TeX217151109

• Rippling/suspend-time

  A cross-platform monotonic clock that is suspend-unaware, written in Rust!

  Language:Rust80100

• akkik04/Trace

  POC for a real-time log monitoring solution, orchestrated as a distributed system

  Language:HCL241

• g8shen/VectorLite

  Lightweight Vector Database

  Language:Go20100

• andycrutchlow/nimrod-ipc

  Simple to use IPC for Java using ZeroMQ (0mq). Supports RMI and PUBSUB.

  Language:Java84

• asdera/Marvel-Snap-Arena-Draft

  Draft your Marvel Snap deck for friendly battles.

  Language:JavaScript4100

• sebastiantia/SebaStorage

  a NoSQL document database management system with Golang

  Language:Go30

• andycrutchlow/nimrod-ipc-rsock

  Nimrod IPC based on SpringBoot RSocket Reactive Streams

  Language:Java1

• andycrutchlow/nimrod-ipc2

  Language:Java1

• joshleveck/crust-compiler

  A simple C compiler in Rust

  Language:Rust1