suremarc

suremarc's Stars

• sharkdp/hyperfine

  A command-line benchmarking tool

  Language:Rust23.5k94257378

• rui314/mold

  Mold: A Modern Linker 🦠

  Language:C++14.6k111906478

• 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.8k631.9k1.3k

• earthly/earthly

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

  Language:Go11.5k611.4k405

• tigerbeetle/tigerbeetle

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

  Language:Zig11.1k85558533

• leanprover/lean4

  Lean 4 programming language and theorem prover

  Language:Lean4.9k672k440

• bheisler/criterion.rs

  Statistics-driven benchmarking library for Rust

  Language:Rust4.7k30514318

• superfly/litefs

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

  Language:Go4.2k4116399

• Speykious/cve-rs

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

  Language:Rust4.2k2531105

• aya-rs/aya

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

  Language:Rust3.3k46315297

• jqnatividad/qsv

  Blazing-fast Data-Wrangling toolkit

  Language:Rust2.5k1751772

• alessiodm/drl-zh

  Deep Reinforcement Learning: Zero to Hero!

  Language:Jupyter Notebook2k11374

• DFHack/dfhack

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

  Language:C++1.9k1052.6k481

• coreylowman/dfdx

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

  Language:Rust1.8k35456101

• google/zerocopy

  Language:Rust1.7k11478105

• leanprover-community/mathlib4

  The math library of Lean 4

  Language:Lean1.7k36428354

• arcataroger/awesome-engineering-games

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

  1.6k241332

• tuneinsight/lattigo

  A library for lattice-based multiparty homomorphic encryption in Go

  Language:Go1.2k30313184

• substrait-io/substrait

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

  Language:Python1.2k42174161

• zama-ai/tfhe-rs

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

  Language:Rust99117108151

• GREsau/okapi

  OpenAPI (AKA Swagger) document generation for Rust projects

  Language:Rust6418110115

• HigherOrderCO/hvm-64

  Language:Rust494171634

• jamesmunns/bbqueue

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

  Language:Rust435134354

• dselsam/certigrad

  Bug-free machine learning on stochastic computation graphs

  Language:Lean38834135

• parquet-go/parquet-go

  High-performance Go package to read and write Parquet files

  Language:Go32869951

• f-prime/arcanevm

  A Fully Homomorphic Encryption Brainfuck virtual machine

  Language:Python2138114

• sebastiencs/shared-arena

  A thread-safe & efficient memory pool

  Language:Rust164456

• iai-callgrind/iai-callgrind

  High-precision and consistent benchmarking framework/harness for Rust

  Language:Rust10436515

• DNedic/lfbb

  A Lock Free Bipartite Buffer Library written in standard C11

  Language:C++70609

• Ivordir/YALPS

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

  Language:TypeScript55332