matheus-consoli's Stars
theseus-os/Theseus
Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between compiler and hardware by maximally leveraging the power of language safety and affine types. Theseus aims to shift OS responsibilities like resource management into the compiler.
elijah-potter/harper
The Grammar Checker for Developers
indexmap-rs/indexmap
A hash table with consistent order and fast iteration; access items by key or sequence index
slatedb/slatedb
A cloud native embedded storage engine built on object storage.
phiresky/sqlite-zstd
Transparent dictionary-based row-level compression for SQLite
eclipse-iceoryx/iceoryx2
Eclipse iceoryx2™ - true zero-copy inter-process-communication in pure Rust
feldera/feldera
The Feldera Incremental Computation Engine
cmyr/cargo-instruments
A cargo plugin to generate Xcode Instruments trace files
gimli-rs/object
A unified interface for reading and writing object file formats
ayrat555/fang
Background processing for Rust
ibraheemdev/papaya
A fast and ergonomic concurrent hash-table for read-heavy workloads.
tokio-rs/tokio-metrics
Utilities for collecting metrics from a Tokio application
surrealdb/surrealkv
A low-level, versioned, embedded, ACID-compliant, key-value database for Rust
graninas/The-Voids-Of-Haskell
fast/fastrace
A tracing library 10~100x faster than others
ocaml-multicore/saturn
Lock-free data structures for multicore OCaml
rdavison/graphite-layout
Graphite keyboard layout
XiangpengHao/congee
Concurrent ART (adaptive radix tree)
rmanoka/async-scoped
A scope for async_std and tokio to spawn non-static futures
danielhenrymantilla/macro_rules_attribute-rs
Use declarative macros as proc_macro attributes or derives
dfinity/stable-structures
A collection of data structures for fearless canister upgrades.
sweet-security/candystore
A very fast Key-Value store in pure rust
0xdeafbeef/jeprofl
Allocations profiler built using ebpf
matklad/abont
Finally, a shell for all seasons!
LPGhatguy/nonmax
Rust crate that provides number types similar to std's NonZero* types, but that cannot hold a type's maximum value instead.
zmitchell/proctrace
A high-level profiler for process-level events such as fork, exec, exit, setpgid, and setsid
rossanoventurini/qwt
A Rust implementation of the Quad Wavelet Tree
miestrode/ekege
A different approach to an E-graph library
kuruczgy/x1e-nixos-config
NixOS configs for the Lenovo Yoga Slim 7x
bobrik/stats_alloc_helper