Skip to content
View samanpa's full-sized avatar
💭
KTBfFH
💭
KTBfFH

Block or report samanpa

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
156 results for source starred repositories
Clear filter

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

Rust 101 12 Updated Sep 17, 2024

A port of Sebastian Aaltonen's `OffsetAllocator` to Rust

Rust 383 6 Updated Jul 9, 2024

A collection of resources for learning type theory and type theory adjacent fields.

2,117 117 Updated Aug 30, 2024

Execute Rust code carefully, with extra checking along the way

Rust 376 14 Updated Aug 10, 2024

⚡A CLI tool for code structural search, lint and rewriting. Written in Rust

Rust 7,201 164 Updated Sep 20, 2024

a challenge for Haskell beginners

Haskell 437 35 Updated Jul 24, 2023

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

Rust 21,226 1,170 Updated Sep 20, 2024

Rust library for retrieving and interacting with the crates.io index

Rust 72 38 Updated Aug 23, 2024

Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, nondeterministic behavior, into deterministic, repeatable beh…

Rust 1,174 31 Updated Aug 30, 2024

Reflection via DWARF.

Rust 295 5 Updated Feb 26, 2023

Brief implementation of Trees that Grow in Rust

Rust 35 Updated Nov 1, 2022

Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

OCaml 10,399 602 Updated Sep 20, 2024

Dachshund is a graph mining library written in Rust. It provides high performance data structures for multiple kinds of graphs, from simple undirected graphs to typed hypergraphs. Dachshund also pr…

Rust 86 13 Updated Nov 16, 2023

Scan your Rust crate for semver violations.

Rust 1,133 72 Updated Sep 19, 2024

Advanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_std, ...

Rust 1,970 304 Updated Sep 20, 2024

Financial Information eXchange protocol implemented in Rust

Rust 349 57 Updated Jul 10, 2024

A parser for the perf.data format

Rust 18 2 Updated Jun 28, 2024

Layout is a rust library and a tool that renders Graphviz dot files.

Rust 644 35 Updated Jun 15, 2024

Pair your compilers up at The ABI Cafe!

Rust 217 15 Updated Jul 18, 2024

Kani Rust Verifier

Rust 2,128 84 Updated Sep 20, 2024

Fixture-based test framework for Rust

Rust 1,143 41 Updated Sep 16, 2024

A pure Rust reimplementation of libc functions localtime, gmtime and mktime.

Rust 167 5 Updated Sep 14, 2024

A next-generation test runner for Rust.

Rust 2,132 92 Updated Sep 20, 2024

A massively parallel, optimal functional runtime in Rust

Cuda 10,436 396 Updated Sep 4, 2024

Wolfenstein 3D port written in Rust

Rust 230 9 Updated Apr 7, 2022

A universal language for business and technology

Elm 139 54 Updated Sep 19, 2024

Memory Management ToolKit

Rust 373 67 Updated Sep 20, 2024
Rust 90 16 Updated Oct 9, 2023

Run Rust lints from dynamic libraries

Rust 370 21 Updated Sep 20, 2024

🐇 Fuzzing Rust code with American Fuzzy Lop

Rust 1,623 105 Updated Sep 16, 2024
Next