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
rustdoc_ng
emberian's Repositories
emberian/evdev
Rust interface to Linux event devices
emberian/vscode-rustup
emberian/nice_glfw
A window builder for glfw-rs
emberian/serde-reflect
avoid `Deserialize`/`Serialize` code bloat
emberian/esgea
sneaky guys - an exhillerating two-player asymmetric-information game
emberian/icfp2020
weird functional language runtime
emberian/pdo.sd4
emberian/absass
a bottom-up software system
emberian/aoc23
emberian/blender-graphify
A graphification addon for Blender, with a cuboid generator
emberian/cherrytree
cherrytree-421
emberian/docs2
Docs website for the Mina Protocol.
emberian/ea-grl
a sandbox
emberian/emberian
emberian/IACR-eprint-mirror
Mirror of all PDFs from the IACR's eprint
emberian/incinerator
a concurrent, parallel garbage collector for rust
emberian/interoptopus
The polyglot bindings generator for your library (C#, C, Python, …) 🐙
emberian/isabelle
Git mirror of https://isabelle.in.tum.de/repos/isabelle
emberian/lunar.town
a cozy place on the web
emberian/macports-ports
The MacPorts ports tree
emberian/mina-network-debugger
emberian/noosphere
Noosphere is a protocol for thought; let's discover it together!
emberian/o1js
TypeScript framework for zk-SNARKs and zkApps
emberian/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
emberian/proof-systems
The proof systems used by Mina
emberian/reu_unif
rust implementation of REU group's paper
emberian/rust
Empowering everyone to build reliable and efficient software.
emberian/subconscious
emberian/this-week-in-rust
Data for this-week-in-rust.org
emberian/thy-of-ocaml
Formal verification for OCaml