Skip to content
View jrmo14's full-sized avatar
⚙️
⚙️
15 followers · 19 following

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report jrmo14

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

Lists (1)

Sort Name ascending (A-Z)
Sort by
Name ascending (A-Z) Name descending (Z-A) Newest Oldest Last updated
Beta Lists are currently in beta. Share feedback and report bugs.

Stars

Type: All
Language: Rust
Sort by: Most stars
6 stars written in Rust
Clear filter

iced-rs / iced

A cross-platform GUI library for Rust, inspired by Elm

Rust 23,976 1,102 Updated Aug 27, 2024

GaloisInc / crucible

Crucible is a library for symbolic simulation of imperative programs

Rust 626 42 Updated Aug 26, 2024

sarsko / CreuSAT

CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

Rust 602 10 Updated Apr 10, 2024

bonsairobo / building-blocks

A voxel library for real-time applications.

Rust 368 33 Updated Jun 23, 2022

torsteingrindvik / bevy-vfx-bag

Rust 129 7 Updated Aug 1, 2023

icicle-emu / icicle-emu

Core emulator components for Icicle

Rust 117 15 Updated Jul 30, 2024