laysakura

laysakura's Stars

• donnemartin/system-design-primer

  Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.

  Language:Python283k6.6k31447.3k

• jedisct1/libsodium

  A modern, portable, easy to use crypto library.

  Language:C12.4k3878261.8k

• autowarefoundation/autoware

  Autoware - the world's leading open-source software project for autonomous driving

  Language:Dockerfile9.3k4272073.1k

• risingwavelabs/risingwave

  Best-in-class stream processing, analytics, and management. Perform continuous analytics, or build event-driven applications, real-time ETL pipelines, and feature stores in minutes. Unified streaming and batch. PostgreSQL compatible.

  Language:Rust7.2k816.6k595

• rust-lang/miri

  An interpreter for Rust's mid-level intermediate representation

  Language:Rust4.7k591k353

• dafny-lang/dafny

  Dafny is a verification-aware programming language

  Language:C#2.9k802.8k265

• stepancheg/rust-protobuf

  Rust implementation of Google protocol buffers

  Language:Rust2.8k26431382

• rustviz/rustviz

  Interactively Visualizing Ownership and Borrowing for Rust

  Language:HTML2.7k273672

• linux-can/can-utils

  Linux-CAN / SocketCAN user space applications

  Language:C2.5k129263717

• rust-lang/this-week-in-rust

  Data for this-week-in-rust.org

  Language:HTML2.2k702421.2k

• commaai/opendbc

  a Python API for your car

  Language:Python2k1122141.2k

• ghostunnel/ghostunnel

  A simple SSL/TLS proxy with mutual authentication for securing non-TLS services.

  Language:Go2k50130267

• EmbarkStudios/cargo-deny

  ❌ Cargo plugin for linting your dependencies 🦀

  Language:Rust1.8k1731289

• bytebeamio/rumqtt

  The MQTT ecosystem in rust

  Language:Rust1.7k22313255

• fede1024/rust-rdkafka

  A fully asynchronous, futures-based Kafka client library for Rust based on librdkafka

  Language:Rust1.7k32326287

• hstreamdb/hstream

  HStreamDB is an open-source, cloud-native streaming database for IoT and beyond. Modernize your data stack for real-time applications.

  Language:Haskell7162511555

• ramosbugs/openidconnect-rs

  OpenID Connect Library for Rust

  Language:Rust4408107105

• enarx/ciborium

  CBOR utilities

  Language:Rust26896364

• alecmocatta/cap

  An allocator that can track and limit memory usage.

  Language:Rust205318

• laysakura/serde-encrypt

  🔐 Encrypts all the Serialize.

  Language:Rust1794555

• deadlinks/cargo-deadlinks

  Cargo subcommand for checking your documentation for broken links

  Language:Rust15046816

• frewsxcv/cargo-all-features

  A Cargo subcommand to build and test all feature flag combinations.

  Language:Rust14973221

• ToyotaInfoTech/RAMN

  RAMN (Resistant Automotive Miniature Network), a miniature CAN/CAN-FD testbed of 4 Electronic Control Units.

  Language:C1129415

• SpringQL/SpringQL

  SpringQL: Open-source stream processor for IoT devices and in-vehicle computers

  Language:Rust4601248

• spebern/async-ssh2

  Language:Rust4361410

• tomoyuki-nakabayashi/echonet-lite-rs

  Language:Rust213216

• SpringQL/SpringQL-client-c

  C API to SpringQL (for embedded mode)

  Language:Rust50130

• laysakura/serde-encrypt-sgx

  Rust SGX SDK compatible version of serde-encrypt

  Language:Rust320

• SpringQL/SpringQL.github.io

  SpringQL users' document

  Language:JavaScript2041

• SpringQL/web-console

  Web Console for SpringQL

  Language:Python1090