Paa Kojo Samanpa's starred repositories

offset-allocator

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

Language:RustLicense:MITStargazers:377Issues:0Issues:0

learn-tt

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

Stargazers:2094Issues:0Issues:0

cargo-careful

Execute Rust code carefully, with extra checking along the way

Language:RustLicense:Apache-2.0Stargazers:373Issues:0Issues:0

ast-grep

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

Language:RustLicense:MITStargazers:6830Issues:0Issues:0

saltwater

A C compiler written in Rust, with a focus on good error messages.

Language:RustLicense:BSD-3-ClauseStargazers:3Issues:0Issues:0

snake-fury

a challenge for Haskell beginners

Language:HaskellLicense:BSD-3-ClauseStargazers:435Issues:0Issues:0

pingora

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

Language:RustLicense:Apache-2.0Stargazers:20612Issues:0Issues:0

rust-crates-index

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

Language:RustLicense:Apache-2.0Stargazers:72Issues:0Issues:0

hermit

Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, nondeterministic behavior, into deterministic, repeatable behavior. This can be used for various applications, including replay-debugging, reproducible artifacts, chaos mode concurrency testing and bug analysis.

Language:RustLicense:NOASSERTIONStargazers:1161Issues:0Issues:0

deflect

Reflection via DWARF.

Language:RustLicense:Apache-2.0Stargazers:294Issues:0Issues:0

rust-trees-that-grow

Brief implementation of Trees that Grow in Rust

Language:RustStargazers:34Issues:0Issues:0

semgrep

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

Language:OCamlLicense:LGPL-2.1Stargazers:10166Issues:0Issues:0

dachshund

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 provides algorithms for common tasks for graph mining and analysis, ranging from shortest paths to graph spectral analysis.

Language:RustLicense:MITStargazers:86Issues:0Issues:0

cargo-semver-checks

Scan your Rust crate for semver violations.

Language:RustLicense:Apache-2.0Stargazers:1074Issues:0Issues:0

LibAFL

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

Language:RustLicense:NOASSERTIONStargazers:1943Issues:0Issues:0

ferrumfix

Financial Information eXchange protocol implemented in Rust

Language:RustLicense:Apache-2.0Stargazers:338Issues:0Issues:0

linux-perf-data

A parser for the perf.data format

Language:RustLicense:Apache-2.0Stargazers:18Issues:0Issues:0

layout

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

Language:RustLicense:MITStargazers:631Issues:0Issues:0

abi-cafe

Pair your compilers up at The ABI Cafe!

Language:RustStargazers:213Issues:0Issues:0

kani

Kani Rust Verifier

Language:RustLicense:Apache-2.0Stargazers:2067Issues:0Issues:0

rstest

Fixture-based test framework for Rust

Language:RustLicense:Apache-2.0Stargazers:1083Issues:0Issues:0

tz-rs

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

Language:RustLicense:Apache-2.0Stargazers:168Issues:0Issues:0

nextest

A next-generation test runner for Rust.

Language:RustLicense:Apache-2.0Stargazers:2064Issues:0Issues:0

HVM

A massively parallel, optimal functional runtime in Rust

Language:CudaLicense:Apache-2.0Stargazers:10347Issues:0Issues:0

rustenstein

Wolfenstein 3D port written in Rust

Language:RustLicense:MITStargazers:229Issues:0Issues:0

morphir

A universal language for business and technology

Language:ElmLicense:Apache-2.0Stargazers:138Issues:0Issues:0

mmtk-core

Memory Management ToolKit

Language:RustLicense:NOASSERTIONStargazers:353Issues:0Issues:0
Language:RustLicense:NOASSERTIONStargazers:88Issues:0Issues:0

dylint

Run Rust lints from dynamic libraries

Language:RustLicense:Apache-2.0Stargazers:364Issues:0Issues:0

saltwater

A C compiler written in Rust, with a focus on good error messages.

Language:RustLicense:BSD-3-ClauseStargazers:285Issues:0Issues:0