suremarc

suremarc's Stars

• jamesmunns/bbqueue

  A SPSC, lockless, no_std, thread safe, queue, based on BipBuffers

  Language:Rust41751

• sebastiencs/shared-arena

  A thread-safe & efficient memory pool

  Language:Rust1616

• DNedic/lfbb

  A Lock Free Bipartite Buffer Library written in standard C11

  Language:C++699

• tigerbeetle/tigerbeetle

  The financial transactions database designed for mission critical safety and performance.

  Language:Zig9.8k491

• GREsau/okapi

  OpenAPI (AKA Swagger) document generation for Rust projects

  Language:Rust605110

• launchbadge/sqlx

  🧰 The Rust SQL Toolkit. An async, pure Rust SQL crate featuring compile-time checked queries without a DSL. Supports PostgreSQL, MySQL, and SQLite.

  Language:Rust13.1k1.2k

• superfly/litefs

  FUSE-based file system for replicating SQLite databases across a cluster of machines

  Language:Go4k95

• alessiodm/drl-zh

  Deep Reinforcement Learning: Zero to Hero!

  Language:Jupyter Notebook2k70

• leanprover-community/mathlib4

  The math library of Lean 4

  Language:Lean1.4k313

• Speykious/cve-rs

  Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀

  Language:Rust4k101

• DFHack/dfhack

  Memory hacking library for Dwarf Fortress and a set of tools that use it

  Language:C++1.9k471

• aya-rs/aya

  Aya is an eBPF library for the Rust programming language, built with a focus on developer experience and operability.

  Language:Rust3.1k276

• google/zerocopy

  Language:Rust1.3k94

• earthly/earthly

  Super simple build framework with fast, repeatable builds and an instantly familiar syntax – like Dockerfile and Makefile had a baby.

  Language:Go11.3k398

• leanprover/lean4

  Lean 4 programming language and theorem prover

  Language:Lean4.5k403

• jqnatividad/qsv

  CSVs sliced, diced & analyzed.

  Language:Rust2.4k70

• rui314/mold

  Mold: A Modern Linker 🦠

  Language:C++14.2k467

• arcataroger/awesome-engineering-games

  A curated list of engineering-related video games rated Very Positive or higher on Steam

  1.6k30

• substrait-io/substrait

  A cross platform way to express data transformation, relational algebra, standardized record expression and plans.

  Language:Python1.2k154

• sharkdp/hyperfine

  A command-line benchmarking tool

  Language:Rust21.7k349

• bheisler/criterion.rs

  Statistics-driven benchmarking library for Rust

  Language:Rust4.5k300

• iai-callgrind/iai-callgrind

  High-precision and consistent benchmarking framework/harness for Rust

  Language:Rust8513

• dselsam/certigrad

  Bug-free machine learning on stochastic computation graphs

  Language:Lean38735

• HigherOrderCO/hvm-64

  Language:Rust49734

• coreylowman/dfdx

  Deep learning in Rust, with shape checked tensors and neural networks

  Language:Rust1.7k99

• parquet-go/parquet-go

  High-performance Go package to read and write Parquet files

  Language:Go25643

• f-prime/arcanevm

  A Fully Homomorphic Encryption Brainfuck virtual machine

  Language:Python21514

• zama-ai/tfhe-rs

  TFHE-rs: A Pure Rust implementation of the TFHE Scheme for Boolean and Integer Arithmetics Over Encrypted Data.

  Language:Rust900143

• tuneinsight/lattigo

  A library for lattice-based multiparty homomorphic encryption in Go

  Language:Go1.2k176

• Ivordir/YALPS

  Yet Another Linear Programming Solver. (A rewrite of javascript-lp-solver.) Aims to be decently fast.

  Language:TypeScript422