matheus-consoli

matheus-consoli's Stars

• analysis-tools-dev/static-analysis

  ⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.

  Language:Rust13.3k3215761.4k

• pingcap/talent-plan

  open source training courses about distributed database and distributed systems

  Language:Rust10.2k2511821.3k

• seanmonstar/reqwest

  An easy and powerful Rust HTTP Client

  Language:Rust9.9k751.3k1.1k

• huggingface/tokenizers

  💥 Fast State-of-the-Art Tokenizers optimized for Research and Production

  Language:Rust9k1211k801

• cmu-db/bustub

  The BusTub Relational Database Management System (Educational)

  Language:C++4.1k472291.8k

• skyzh/mini-lsm

  A tutorial of building an LSM-Tree storage engine in a week.

  Language:Rust2.9k3228400

• mstange/samply

  Command-line sampling profiler for macOS and Linux

  Language:Rust2.3k188957

• emacs-ng/emacs-ng

  A new approach to Emacs - Including TypeScript, Threading, Async I/O, and WebRender.

  Language:Emacs Lisp1.7k3324272

• basho/bitcask

  because you need another a key/value storage engine

  Language:Erlang1.3k13979173

• SeaQL/FireDBG.for.Rust

  🔥 Time Travel Visual Debugger for Rust

  Language:Rust1.3k10527

• dtolnay/inventory

  Typed distributed plugin registration

  Language:Rust992113343

• analysis-tools-dev/dynamic-analysis

  ⚙️ A curated list of dynamic analysis tools and linters for all programming languages, binaries, and more.

  Language:Markdown94733107105

• magit/transient

  Transient commands

  Language:Emacs Lisp7132220366

• dtolnay/linkme

  Safe cross-platform linker shenanigans

  Language:Rust64894341

• cloudwego/sonic-rs

  A fast Rust JSON library based on SIMD.

  Language:Rust486104431

• routerify/routerify

  A lightweight, idiomatic, composable and modular router implementation with middleware support for the Rust HTTP library hyper.rs

  Language:Rust39086333

• cmu-db/optd

  CMU-DB's Cascades optimizer framework

  Language:Rust366304022

• daniel5151/gdbstub

  An ergonomic, featureful, and easy-to-integrate implementation of the GDB Remote Serial Protocol in Rust (with no-compromises #![no_std] support)

  Language:Rust30297948

• mainmatter/rust-telemetry-workshop

  Build a comprehensive toolkit to detect, troubleshoot and resolve issues with Rust applications.

  Language:Rust24411343

• mahdi-shojaee/loole

  A safe sync/async multi-producer, multi-consumer channel

  Language:Rust191447

• polarsignals/rust-jemalloc-pprof

  Convert jemalloc heap profiles to pprof to understand memory usage, fix memory leaks, and fix OOM Kills.

  Language:Rust1335912

• sweirich/lambda-n-ways

  Benchmarks for capture-avoiding substitution

  Language:HTML107526

• RondeSC/Miller_Shuffle_Algo

  New Shuffle algorithm with ultra low overhead and no annoying repetition.

  Language:C97420

• art-w/sherlocode

  Realtime grep for OCaml/Coq sources available on opam

  Language:OCaml782102

• rwx-research/abq

  ABQ is a universal test runner that runs test suites in parallel. It’s the best tool for splitting test suites into parallel jobs locally or on CI

  Language:Rust74460

• bazhenov/tango

  Rust microbenchmarking harness based on paired-testing methodology

  Language:Jupyter Notebook732141

• ayazhafiz/plts

  A collection of programming languages and type systems.

  Language:OCaml33484

• Peperworx/fluxion

  Fluxion is an actor framework designed with distributed systems in mind, namely sending messages not just between actors, but also between systems.

  Language:Rust27120

• notgull/smol-hyper

  `smol` integrations with `hyper`

  Language:Rust14110

• japaric/tlsf

  An implementation of the Two-Level Segregated Fit (TLSF) allocator with optimized memory footprint

  Language:Rust1120