ShoyuVanilla

ShoyuVanilla's Stars

• godotengine/godot

  Godot Engine – Multi-platform 2D and 3D game engine

  Language:C++90.7k1.5k53.1k21.1k

• tauri-apps/tauri

  Build smaller, faster, and more secure desktop and mobile applications with a web frontend.

  Language:Rust84.2k5054.7k2.5k

• redis/redis

  Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes, Streams, HyperLogLogs, Bitmaps.

  Language:C66.9k2.5k6.6k23.8k

• DioxusLabs/dioxus

  Fullstack app framework for web, desktop, mobile, and more.

  Language:Rust21.3k1081.3k820

• tree-sitter/tree-sitter

  An incremental parsing system for programming tools

  Language:Rust18.5k1931.4k1.4k

• NixOS/nixpkgs

  Nix Packages collection & NixOS

  Language:Nix18k27741.9k14k

• xtermjs/xterm.js

  A terminal for the web

  Language:TypeScript17.6k1962.5k1.6k

• bytecodealliance/wasmtime

  A fast and secure runtime for WebAssembly

  Language:Rust15.3k1762.6k1.3k

• rayon-rs/rayon

  Rayon: A data parallelism library for Rust

  Language:Rust11k104572501

• nvim-treesitter/nvim-treesitter

  Nvim Treesitter configurations and abstraction layer

  Language:Scheme10.7k452.1k897

• moonlight-stream/moonlight-qt

  GameStream client for PCs (Windows, Mac, Linux, and Steam Link)

  Language:C++10.6k951.3k622

• microsoft/garnet

  Garnet is a remote cache-store from Microsoft Research that offers strong performance (throughput and latency), scalability, storage, recovery, cluster sharding, key migration, and replication features. Garnet can work with existing Redis clients.

  Language:C#10.3k71192515

• rr-debugger/rr

  Record and Replay Framework

  Language:C++9.2k1592k587

• rustls/rustls

  A modern TLS library in Rust

  Language:Rust6.1k85794643

• coq/coq

  Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

  Language:OCaml4.8k10310.1k647

• smol-rs/smol

  A small and fast async runtime for Rust

  Language:Rust3.7k70129156

• lalrpop/lalrpop

  LR(1) parser generator for Rust

  Language:Rust3.1k34430292

• rust-itertools/itertools

  Extra iterator adaptors, iterator methods, free functions, and macros.

  Language:Rust2.7k21380309

• salsa-rs/salsa

  A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.

  Language:Rust2.1k33215151

• owickstrom/the-monospace-web

  A minimalist design exploration

  Language:HTML1.8k186114

• microsoft/openvmm

  Home of OpenVMM and OpenHCL.

  Language:Rust1.5k213569

• aws/s2n-quic

  An implementation of the IETF QUIC protocol

  Language:Rust1.2k24499120

• paupino/rust-decimal

  Decimal number implementation written in pure Rust suitable for financial and fixed-precision calculations.

  Language:Rust1k14263183

• spiraldb/vortex

  An extensible, state-of-the-art columnar file format

  Language:Rust9401321423

• Rust-GPU/rust-gpu

  🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧

  Language:Rust789141120

• tokio-rs/toasty

  An async ORM for Rust (incubating)

  Language:Rust77919

• rayon-rs/either

  The enum Either with variants Left and Right is a general purpose sum type with two cases.

  Language:Rust48784061

• pr2502/ra-multiplex

  share one rust-analyzer server instance between multiple LSP clients to save resources

  Language:Rust38753028

• rust-lang/compiler-builtins

  Porting `compiler-rt` intrinsics to Rust

  Language:Rust37232194211

• kaist-cp/circ

  CIRC: Concurrent Immediate Reference Counting

  Language:Rust44472