Skip to content
View bednie's full-sized avatar
3 followers · 9 following

Sponsoring

@miraheze

Achievements

Achievement: Public SponsorAchievement: Pull Sharkx2Achievement: QuickdrawAchievement: YOLO

Achievements

Achievement: Public SponsorAchievement: Pull Sharkx2Achievement: QuickdrawAchievement: YOLO

Block or report bednie

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse

Stars

Showing results

msu-denver / c3-lab

C3 Lab: Community-Centered Computing Lab at MSU Denver

CSS 2 Updated Jun 18, 2026

pvolok / mprocs

Run multiple commands in parallel

Rust 2,622 109 Updated Jun 15, 2026

rerun-io / rerun

Visualize, query, and stream to train on multimodal robotics data.

Rust 10,962 771 Updated Jun 18, 2026

hazelgrove / hazel

Hazel, a live functional programming environment with typed holes

Reason 1,101 63 Updated Jun 18, 2026

model-checking / kani

Kani Rust Verifier

Rust 3,134 147 Updated Jun 15, 2026

cognitive-engineering-lab / aquascope

Interactive visualizations of Rust at compile-time and run-time

Rust 3,074 73 Updated May 4, 2026

rustviz / rustviz

Interactively Visualizing Ownership and Borrowing for Rust

Rust 2,839 78 Updated May 10, 2026

plasma-umass / coz

Coz: Causal Profiling

C 4,509 170 Updated Apr 18, 2026

makepad / makepad

Makepad is a creative software development platform for Rust that compiles to wasm/webGL, osx/metal, windows/dx11 linux/opengl

Rust 6,452 336 Updated Jun 16, 2026

katef / kgt

BNF wrangling and railroad diagrams

C 630 34 Updated Dec 12, 2025