Beast code in Giters

wadi's starred repositories

tidb

TiDB is an open-source, cloud-native, distributed, MySQL-Compatible database for elastic scale and real-time analytics. Try AI-powered Chat2Query free at : https://www.pingcap.com/tidb-serverless/

Language:GoApache-2.036539 1261 18431

trpc

🧙‍♀️ Move Fast and Break Nothing. End-to-end typesafe APIs made easy.

Language:TypeScriptMIT33554 92 1056

pingora

A library for building fast, reliable and evolvable network services.

Language:RustApache-2.020317 167 167

mlc-llm

Universal LLM Deployment Engine with ML Compilation

Language:PythonApache-2.017741 167 1174

web-llm

High-performance In-browser LLM Inference Engine

Language:TypeScriptApache-2.011749 111 254

z3

The Z3 Theorem Prover

Language:C++NOASSERTION9965 180 5426

awesome-compilers

:sunglasses: Curated list of awesome resources on Compilers, Interpreters and Runtimes

NOASSERTION8681 294 29

misbrands

The world's most hated IT stickers

CC0-1.08614 54 27

patterns

A catalogue of Rust design patterns, anti-patterns and idioms

Language:HandlebarsMPL-2.07850 197 130

ponyc

Pony is an open-source, actor-model, capabilities-secure, high performance programming language

Language:CBSD-2-Clause5645 140 1931

cdk8s

Define Kubernetes native apps and abstractions using object-oriented programming

Language:JavaScriptApache-2.04214 48 355

miri

An interpreter for Rust's mid-level intermediate representation

Language:RustApache-2.04171 56 908

cpplinks

A categorized list of C++ resources.

4101 253 11

roc

A fast, friendly, functional language.

Language:RustUPL-1.03879 119 2462

verona

Research programming language for concurrent ownership

Language:C++MIT3563 106 165

lalrpop

LR(1) parser generator for Rust

Language:RustApache-2.02943 35 413

kani

Kani Rust Verifier

Language:RustApache-2.02043 23 1578

loom

Concurrency permutation testing tool for Rust.

Language:RustMIT2000 31 116

ante

A safe, easy systems language

Language:RustMIT1874 32 135

mun

Source code for the Mun language and runtime.

Language:RustNOASSERTION1802 25 122

bitvec

A crate for managing memory bit by bit

Language:RustMIT1168 11 185

arrow2

Transmute-free Rust library to work with the Arrow format

Language:RustApache-2.01071 20 394

verus

Verified Rust for low-level systems code

Language:RustMIT1061 22 408

deku

Declarative binary reading and writing: bit-level, symmetric, serialization/deserialization

Language:RustApache-2.01048 8 207

rust-langdev

Language development libraries for Rust

Unlicense866 22 5

langs-in-rust

A list of programming languages implemented in Rust, for inspiration.

Language:Python828 23 58

gc-arena

Incremental garbage collection from safe Rust

Language:RustCC0-1.0438 15 13

dacquiri

A strong, compile-time enforced authorization framework for rust applications.

Language:RustMIT339 5 10

foca

mirror of https://caio.co/de/foca/

Language:RustMPL-2.0136 4 24

TeaScript-Cpp-Library

TeaScript C++ Library - embedded scripting language for C++ Applications

Language:C++MPL-2.041 50