Skip to content
View germanD's full-sized avatar
🐓
🐓
22 followers · 53 following
  • Trilitech
  • London
  • 23:46 (UTC -12:00)

Achievements

Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Organizations

@imdea-software

Block or report germanD

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 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

Stars

7 stars written in Rust
Clear filter

rust-lang / rust

Empowering everyone to build reliable and efficient software.

Rust 110,032 14,430 Updated Feb 4, 2026

verifast / verifast

Research prototype tool for modular formal verification of C, Rust and Java programs

Rust 464 67 Updated Jan 29, 2026

zkcrypto / bls12_381

Implementation of the BLS12-381 pairing-friendly elliptic curve group

Rust 361 209 Updated Apr 17, 2025

tezedge / tezedge

Tezos node/shell in Rust. Unfortunately dev has ceased. If you are interested in resurrecting, please contact @drchrispinnock

Rust 147 54 Updated Jun 25, 2024

baking-bad / tezos-on-tezos

Michelson VM and Tezos OS rewritten in Rust

Rust 26 2 Updated Sep 26, 2023

Zondax / ledger-tezos

Rust 8 3 Updated Jul 19, 2023

raphael-proust / fractos

Fractal rendering

Rust 4 Updated May 12, 2023