Pinned Repositories
absass
a bottom-up software system
cargo-lite
cargo-lite, a dirt simple package manager for Rust
evdev
Rust interface to Linux event devices
hgl-rs
Deprecated higher-level, Rustic OpenGL bindings
hprof
A real-time hierarchical profiler
lets-build-a-compiler
abandoned update of jack crenshaw's compilers intro
rest_easy
rust-dotenv
A `dotenv` implementation for Rust.
rust-logo-3d
vscode-rustup
emberian's Repositories
emberian/evdev
Rust interface to Linux event devices
emberian/vscode-rustup
emberian/crate-mcp
provide public rust APIs to language models
emberian/nice_glfw
A window builder for glfw-rs
emberian/abcdeez
emberian/automatafl
An implementation of the Automatafl table-top game
emberian/emberian
emberian/algebra
Libraries for finite field, elliptic curve, and polynomial arithmetic
emberian/ark-blst
arkwork bindings to blst with GPU support
emberian/bcknd
emberian/blstrs
emberian/ea-grl
a sandbox
emberian/ec-gpu
OpenCL code generator for finite-field arithmetic over arbitrary prime fields
emberian/ff
Traits and utilities for working with finite fields.
emberian/iroh
peer-2-peer that just works
emberian/iroh-blobs
Blobs layer for iroh
emberian/iroh-gossip
emberian/isabelle
Git mirror of https://isabelle.in.tum.de/repos/isabelle
emberian/mina-network-debugger
emberian/mrmeistopheles
emberian/nvim
emberian/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
emberian/poly-commit
A Rust library for polynomial commitments
emberian/proof-systems
The proof systems used by Mina
emberian/redb
An embedded key-value database in pure Rust
emberian/rust-gpu-tools
Rust tools for OpenCL and GPU management.
emberian/subtle
Pure-Rust traits and utilities for constant-time cryptographic implementations.
emberian/this-week-in-rust
Data for this-week-in-rust.org
emberian/thy-of-ocaml
Formal verification for OCaml
emberian/ual-tool