Skip to content
View Robbepop's full-sized avatar
🐣
🐣
  • Berlin

Sponsoring

@WaffleLapkin

Organizations

@sat-clique @wasmi-labs

Block or report Robbepop

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

Starred repositories

Showing results

Source code of Ferrocene, safety-critical Rust toolchain

Rust 1,308 37 Updated Nov 6, 2024

Gives criticality score for an open source project

Go 1,324 119 Updated Nov 4, 2024

OSS-Fuzz - continuous fuzzing for open source software.

Shell 10,514 2,230 Updated Nov 6, 2024

Type-erased core::mem::Discriminant<T>

Rust 33 2 Updated Oct 27, 2024

This library aims to provide implementations of elements commonly used in the development on software in the area of satisfiability solving. The focus of the library is to provide as much ease of u…

Rust 12 7 Updated Nov 6, 2024

A GPU-accelerated cross-platform terminal emulator and multiplexer written by @wez and implemented in Rust

Rust 17,693 790 Updated Nov 4, 2024

A fast, non-cryptographic, minimally DoS-resistant hashing algorithm for Rust.

Rust 169 4 Updated Oct 30, 2024

How-to: Sanitize your Rust code!

Rust 427 13 Updated Feb 1, 2018

A Hardware Abstraction Layer (HAL) for embedded systems

Rust 2,004 200 Updated Oct 15, 2024

👾 Run WebAssembly (WASM-4) games on small devices (like PyBadge)

Rust 11 Updated Feb 22, 2024
Rust 1,581 104 Updated Nov 5, 2024

Incremental garbage collection from safe Rust

Rust 531 42 Updated Sep 9, 2024

an educational compiler intermediate representation

Rust 569 237 Updated Oct 26, 2024
Rust 546 133 Updated Nov 5, 2024

A complete harfbuzz's shaping algorithm port to Rust

Rust 556 37 Updated Oct 25, 2024

A concurrent, append-only vector.

Rust 135 11 Updated Oct 8, 2024

Spin-based synchronization primitives

Rust 482 91 Updated Jul 31, 2024

A cross-platform-ish memory profiler for Rust!

Rust 19 3 Updated Jun 26, 2024
Rust 24 Updated Jul 6, 2024

🗻 LSM-based embeddable key-value storage engine written in safe Rust

Rust 584 24 Updated Nov 3, 2024

A GitHub Action that implements smart caching for rust/cargo projects

TypeScript 1,314 108 Updated Oct 17, 2024

An introduction to ARM64 assembly on Apple Silicon Macs

Assembly 4,376 289 Updated Jul 11, 2024

Effortlessly create, group, and nest arbitrary errors, and defer error handling ergonomically.

Rust 37 Updated Oct 15, 2024

Fork of std::sync::Arc with lots of utilities useful for FFI

Rust 215 43 Updated Oct 14, 2024

Kani Rust Verifier

Rust 2,230 91 Updated Nov 6, 2024

Rust SDK for Soroban contracts.

Rust 125 67 Updated Nov 6, 2024

Cargo extension for running Criterion.rs benchmarks

Rust 186 23 Updated Jul 11, 2024

Stitch is an experimental Wasm interpreter written in Rust that is designed to be very fast and lightweight.

WebAssembly 116 6 Updated May 13, 2024

A benchmark for standalone WebAssembly

C 27 4 Updated Aug 6, 2024

A hash table with consistent order and fast iteration; access items by key or sequence index

Rust 1,723 150 Updated Oct 1, 2024
Next