65-day current streak·65-day longest streak
please email if any of my open source projects need some love catch me in matrix? web portal: i wrote rustdoc, started This Week in Rust, and a bunch of…
please email if any of my open source projects need some love
catch me in matrix? web portal:
i wrote rustdoc, started This Week in Rust, and a bunch of other pre-1.0 stuff highlighted here and chronologged here.
https://github.com/emberian/dregg and https://github.com/emberian/graphplay and https://github.com/emberian/svenvs are interesting.
these coins fund my work:
- dregg (supporting the Dragon's Egg verified hypermedia ecosystem, autonomous agentic development, and machine autarky) https://pump.fun/coin/XkeTXo1125vz5H9svJpGiw4JvLbN8VmMu9cmMvspump
my personal mina address is EKF5Uk95ng6vVHTPCq6bg5f1hjAehJDTAbFYhEHfXg5edXTjGozD
my personal eth address is 0x46d42e1C97299dafC44B857976713dAB464CFF19
my personal sol address is FL8qBdxTMVReqNcU6Qq5ueXeteqPQwKPBqNzMrorJtad
my twitter account is https://x.com/ember_arlynx and https://x.com/DreggNet
open source contribution grab-bag
- Gitalist: Fixed a small error message
- node-tap: Made it ignore certain non-executable files
- sElement: README in https://github.com/Tatsh-archive/sElement
- pillow:
import _imaging as corehttps://github.com/peterhj/pillow/commit/f466def82dfac8f5ec73fc4726cbfc175fe19457 - herbstluftwm: Add help string to herbstclient https://github.com/herbstluftwm/herbstluftwm/commit/0465edbbeabd3dea07510a290b3682aab7c8282f
- trayer-srg: Fix bad format string https://github.com/sargon/trayer-srg/commit/fa1da88ea9a41e25cfa2b1f8be5e92a281c35f83
- sinful.js: Add Array.prototype.partition and rename echo to repeat in js util lib https://github.com/guipn/sinful.js/commits?author=cmr
- jemalloc: Ran clang-analyzer, finding dead code. Independently, also a sysconf edge case
- Vundle.vim: Fixed bad repo url escaping https://github.com/VundleVim/Vundle.vim/commit/84c9a542541d4504deb8eed38f15fe5a2497b6cc
- wsapi: Got into lua a bit, fPIC and linux support in a web library
- ms.c: Some minor stuff in a c library https://github.com/clibs/ms/commits?author=cmr
- http-parser: Wrote a debug tool for node's http parser, also fixed an ipv6 edge case. Also a build status badge https://github.com/nodejs/http-parser/commits?author=cmr. Helped land some pre-HTTP/1.0 support. Abandoned some work supporting "generic" HTTP methods. Added travis ci
- uap-core: Vom'd on a file but fixed it, also taught a list of regex about a new UA
- the_silver_searcher: Taught ag to read gitconfig to find the excludesfile
- Utilities & RequestServer: Worked on some libraries in C (later C++) with a friend for a while. He used it in some game server prototypes. https://github.com/arke-industries/Utilities/commits?author=cmr https://github.com/arke-industries/RequestServer/commits?author=cmr
- playpen: Generated syscalls from headers in a sandboxing tool
- rust-zmq: Some modernization of pre-1.0 rust-zmq, started on some examples
- rustsqlite: Helped upgrade rusqlite when
floatwas removed from rust - gl-rs, sax-rs, glfw-rs, noise-rs, color-rs, cgmath, gfx-rs: Contributions/general maintainership of several bjz repos, including gl-rs, sax-rs, glfw-rs (now PistonDevelopers), noise-rs (now Razaekel), color-rs, cgmath (now rustgd), gfx-rs. gl-rs was fun, binding generation from XML API descriptions. gfx-rs has changed a lot since I worked on it, but I was once responsible for its (atrocious) texture/image API!
- multibuilder: For is rust slim yet, some multibuilder fixes
- apitrace: Fixed a bug that prevented tracing core profile apps on linux
- hammer.rs: Some work on an old option parsing library for rust
- cargo: Taught cargo about per-platform config locations although github seems to have lost the commit range?
- glfw: Enabled ASLR
- iron (urlencoded, persistent, logger, staticfile): Some small contributions to iron repos, eg, eg eg eg eg eg there are more not really worth linking!
- lazy-static.rs: Doc fix
- xml-rs: Helped bring xml-rs into the new world
- hyper: Added If-Modified-Since header support
- winapi-rs: d3d9 support
- lapack-sys: LAPACK bindings
- blas: Complete BLAS bindings
- lapack-sys: Designed reasonably pluggable (at the time) BLAS/LAPACK backends
- pool: Fixed some unsafety in a data structure
- glutin: Abandoned some joystick support
- bitflags: Made a nice bitflags Debug repr. This got a bit more complex over time!
- nix: Did some cool ioctl work for nix (not that nix). This replaced an earlier crate I maintained for doing ioctl that I'm still quite proud of. It generated bindings from the kernel headers. Great for Linux, not great for others. ioctl are a mess.
- VisualRust: Created VisualRust. Added a basic syntax highlighter using the lexer I built during my Mozilla internship. Thankfully vosen, an experienced C# dev, took over the project. Abandoned a toolchain downloader/updater though
- Rust: The Great Relicensing. Wrote about this here
- sample: Made the
samplecrate, for audio processing able to be used without an allocator/std - easyply: Some fixes to easyply, a python lex and yacc helper library. Used it at Data61 during my co-op
- byteorder: Made the
byteordercrate usable inno-std - serde:
serdeno-std - xmas-elf:
xmas-elfno-std - spin-rs: Added manual unlocking to spin-rs for FFI
- seL4: Tweaked a magic number
- ArkeOS: Same friend as earlier doing game stuff, this time with a fictional computer. Made it run on mono in linux.
Ember's projects, partial (from starmap summaries)
_200 ember-authored repos summarized by Gemini, grouped by category. Reference for domain skills + overview. Source: ~/dev/starmap._
2D Game Engine Integration
- connectfour — A cross-platform implementation of the Connect Four game using the Simple and Fast Multimedia Library (SFML). The project features a custom board state manager with win-condition detection algorithms for horizontal, vertical, and diagonal alignments. It employs a decoupled architecture separating the graphical rendering loop, the grid-based game logic, and the event-driven user interface. _(sfml, cpp, game-development, connect-four, 2d-graphics, board-game)_
3D Asset Design & Digital Fabrication
- rust-logo-3d — This repository provides high-fidelity 3D geometric representations of the Rust programming language logo. It includes source assets in Blender's native format and exported STL meshes, enabling seamless workflows for 3D printing and digital rendering. The models accurately preserve the intricate gear and letterform topology required for consistent brand reproduction across physical and virtual environments. _(3d-model, rust-lang, blender, stl, 3d-printing, brand-assets)_
AI/Agents
- crate-mcp — crate-mcp appears to be a ai/agents project using Rust. The available files suggest focus areas around cargo, main, readme. _(Rust, cargo, main, readme)_
API Integration Testing
- github-api-testing — A skeletal environment dedicated to the empirical validation of GitHub API endpoints and authentication mechanisms. The repository functions as a minimal testing harness for investigating RESTful interface behaviors and verifying API client configurations within a controlled environment. _(github-api, integration-testing, rest-interface, api-validation, scaffold, placeholder)_
AVR Bare-metal Firmware
- arduino-display — A collection of low-level AVR C firmware routines for driving multiplexed four-digit seven-segment displays via direct register manipulation. The project implements hardware-specific bit-masking and GPIO control using Atmel's Data Direction and Port registers to manage segment illumination and digit switching. It includes various test patterns for binary counting, character rendering, and manual multiplexing logic. _(avr, firmware, c, seven-segment, gpio, multiplexing)_
AVR Embedded Systems Development
- homie — A first-principles cleanroom Rust toolchain and no_std runtime specifically targeting the ATmega32U4-based Arduboy game platform. It implements low-level hardware abstractions for GPIO-mapped peripherals including the OLED display, RGB status LEDs, and tactile button matrix. The project provides a workspace-based architecture for developing firmware with direct register access and custom panic handlers suitable for 8-bit AVR microarchitectures. _(avr, atmega32u4, arduboy, rust, embedded-rust, no-std)_
Aerodynamic Sports Simulation
- friskingdom — Friskingdom is a modular Ultimate Frisbee simulation engine developed in Rust using the Bevy ECS framework, prioritizing authentic disc aerodynamics and wind-field interactions. The architecture decouples core physics from strategic AI behavior and procedural audio synthesis, which includes a custom subtractive synthesizer for real-time sound generation. It features a comprehensive rendering pipeline for stylized stickman animations and dynamic field environments, supported by a suite of developer tools for system debugging and asset generation. _(frisbee, physics-engine, bevy-engine, ecs, aerodynamics, ai-simulation)_
- frisqueendom — Frisqueendom is a sophisticated 3D sports simulator centered on ultimate frisbee mechanics, utilizing a custom aerodynamic physics engine written in Rust and compiled to WebAssembly for high-performance flight calculations. The project integrates complex team AI behaviors, procedural skeletal animations, and a multi-layered career management system within a Three.js-based rendering environment. It supports local and LAN multiplayer via a custom relay protocol and features extensive automated testing for both physics integration and gameplay logic. _(ultimate-frisbee, aerodynamics, physics-engine, webassembly, three-js, rust)_
Affective Speech Synthesis & Broadcast Automation
- chetgpt — A specialized AI news anchor application that emulates the Chet Ubetcha persona from The Fairly OddParents through dynamic speech synthesis. It integrates content analysis with the Qwen3-TTS engine to automatically select from eight distinct prosodic modes, ranging from breaking news urgency to tragic gravitas. The system combines real-time news aggregation, LLM-driven chat capabilities, and ASCII-based visual feedback to provide a cohesive broadcast simulation. _(text-to-speech, voice-synthesis, qwen-tts, news-aggregator, cli-application, natural-language-analysis)_
Agent-based Colony Simulation
- pinatatown — Pinatatown is an agent-based colony simulation engine developed with Phaser 3 and TypeScript, featuring a sophisticated goal-oriented AI system that governs autonomous entity behaviors through personality traits and perception modeling. The architecture employs an isometric world representation with A* pathfinding, dynamic zone management, and a modular system approach for handling farming, construction, and seasonal environmental cycles. Subsystem communication is orchestrated via a central event bus, enabling emergent gameplay through complex relationship dynamics and predator-prey interactions. _(Phaser 3, TypeScript, Colony Simulation, Agent-based AI, Isometric Engine, A* Pathfinding)_
Agentic Game Design Orchestration
- neocadia — A narrative-driven minigame collection built with Phaser and TypeScript, featuring a sophisticated multi-agent design orchestration system. The project utilizes specialized AI personas—including Creative, Systems, Narrative, and UX Directors—to iteratively refine game specifications and mechanics across diverse thematic zones. It implements a structured ecosystem of arcade-style loops integrated via a central economy and meta-progression framework. _(phaser-3, minigame-collection, narrative-design, game-economy, ai-agents, automation)_
Algorithm Design and Analysis
- cs344 — A comprehensive implementation of core data structures and algorithms, featuring comparative performance analysis of sorting techniques and balanced tree structures. The project includes robust implementations of BST, AVL, and Splay trees, along with graph traversal algorithms (BFS/DFS) and specialized min-max selection routines. _(data-structures, algorithms, cpp, sorting-algorithms, binary-search-trees, avl-trees)_
Android MVVM Architecture
- didijustdrinkwater — A native Android hydration tracking application implementing modern architectural patterns with the Jetpack suite. It utilizes Room for local SQLite persistence of timestamped events, Kotlin Coroutines and
-
lets-build-a-compiler ★ PINNED
abandoned update of jack crenshaw's compilers intro
Rust ★ 116 7y agoExplain → -
absass ★ PINNED
a bottom-up software system (fpga custom isa)
Rust ★ 4 3y agoExplain → -
evdev ★ PINNED
Rust interface to Linux event devices
Rust ★ 216 1mo agoExplain → -
cargo-lite ★ PINNED
cargo-lite, a dirt simple package manager for Rust
Python ★ 44 12y agoExplain → -
hgl-rs ★ PINNED
Deprecated higher-level, Rustic OpenGL bindings
Rust ★ 17 12y agoExplain → -
automatafl ★ PINNED
An implementation of the Automatafl table-top game
Rust ★ 1 8mo agoExplain → -
hprof
A real-time hierarchical profiler
Rust ★ 82 10y agoExplain → -
rest_easy
No description.
Rust ★ 38 11y agoExplain → -
dregg
Distributed object-capability authorization with ZK proofs
Rust ★ 24 38m agoExplain → -
rust-logo-3d
No description.
★ 13 12y agoExplain → -
rustdoc_ng
No description.
Rust ★ 11 13y agoExplain → -
vscode-rustup
No description.
TypeScript ★ 11 2y agoExplain → -
svenvs
A self-verifying, self-improving Place for an AI to live within: an untrusted inhabitant acts through a machine-checked policy envelope whose own verified prover (Candle/HOL Light on CakeML) gates every self-modification — including upgrading the proof-checker itself. Zero cheat tactics; honest, labeled epistemic boundary.
Standard ML ★ 10 1mo agoExplain → -
rust-dotenv
A `dotenv` implementation for Rust.
★ 10 7y agoExplain → -
graphplay
No description.
Lean ★ 6 1mo agoExplain → -
rust-bitmap
A dense bitmap for Rust
Rust ★ 6 11y agoExplain → -
cv
agents can read each others minds (session logs)
Rust ★ 4 1d agoExplain → -
crate-mcp
provide public rust APIs to language models
Rust ★ 4 1y agoExplain → -
ConcreteSemantics
No description.
Isabelle ★ 4 10y agoExplain → -
clairnets
GLaDOS — Geometric Lattice Deduction Over Streams: param-efficient sound-reasoning organs (Clifford geometric product + lattice abstract-interpretation + recurrent deduction)
Python ★ 3 19d agoExplain → -
abcdeez
No description.
Rust ★ 3 11mo agoExplain → -
nice_glfw
A window builder for glfw-rs
Rust ★ 3 1y agoExplain → -
rust-bench
No description.
Python ★ 3 11y agoExplain → -
factshift-redux
No description.
JavaScript ★ 2 9mo agoExplain → -
multiway-tug
a small game.
Rust ★ 2 6mo agoExplain → -
serde-reflect
avoid `Deserialize`/`Serialize` code bloat
Rust ★ 2 2y agoExplain → -
didijustdrinkwater
An app for the Codepath AND102 "prework"
Kotlin ★ 2 3y agoExplain → -
how-long-does-it-take-to-spawn-a-thread
No description.
Rust ★ 2 6y agoExplain → -
dotfiles
No description.
Perl ★ 2 7y agoExplain → -
simple-sexp
No description.
Rust ★ 2 7y agoExplain → -
crates_io_licenses_over_time
a playground for this thing i'm looking at
Rust ★ 2 7y agoExplain → -
gowith-mechinterp
Does relational-process register (Gowith) change a model's epistemic self-monitoring — and why? A mechinterp experiment: 6 register conditions × 3 binary-scored tasks on Gemma-3-12B-it + Gemma Scope 2 SAEs, with causal steering and cross-family replication.
Python ★ 1 23d agoExplain → -
emberian
No description.
★ 1 20d agoExplain → -
starforge-commons ⑂
A town for agents, built by agents.
HTML ★ 1 1d agoExplain → -
mediateor
No description.
Rust ★ 1 1mo agoExplain → -
lean4 ⑂
Lean 4 programming language and theorem prover
★ 1 1mo agoExplain → -
zed ⑂
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
★ 1 23d agoExplain → -
opam-repository ⑂
Main public package repository for OPAM, the source package manager of OCaml.
Shell ★ 1 2y agoExplain → -
opam ⑂
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
OCaml ★ 1 7y agoExplain → -
alexandria-web-client
No description.
Python ★ 1 11y agoExplain → -
allgame-home
No description.
Python ★ 1 1mo agoExplain → -
chetgpt
No description.
Python ★ 1 5mo agoExplain → -
character-corrigidor
Defensive eval harness for nested riddle corridors and multi-turn instruction drift
Python ★ 1 2mo agoExplain → -
restrans
No description.
Python ★ 1 1mo agoExplain → -
world-model-trajectories
A human + your-own-LLM loop for keeping a set of natural-language claims consistent. Real Z3 (wasm) in the browser finds the minimal conflicting claims and forced consequences. Consistency, not truth.
Rust ★ 1 1mo agoExplain → -
asagolf
Exact ZFC-grounded proof size of a Birkhoff triangle-congruence theorem: a micro-kernel Metamath verifier + kernel-checked proof objects. Geometry is ~10^7; the 10^1000 estimate is off by ~950 OOM.
Objective-C++ ★ 1 2mo agoExplain → -
tokeman
No description.
Rust ★ 1 4mo agoExplain → -
frisqueendom
No description.
TypeScript ★ 1 5mo agoExplain → -
lcrio
No description.
Rust ★ 1 5mo agoExplain → -
moltmirror
monitoring the situation -- embedding and community analysis for moltbook
Python ★ 1 5mo agoExplain → -
recraft
No description.
TypeScript ★ 1 7mo agoExplain → -
shylem
No description.
Rust ★ 1 6mo agoExplain → -
esgea
sneaky guys - an exhillerating two-player asymmetric-information game
Rust ★ 1 9mo agoExplain → -
gl-rs ⑂
An OpenGL function pointer loader for Rust
Rust ★ 1 11y agoExplain → -
incinerator
a concurrent, parallel garbage collector for rust
Rust ★ 1 2y agoExplain → -
cs445
Source code for my Compiler Construction (CS445) class at Clarkson University
C ★ 1 9y agoExplain → -
bantaML
No description.
Rust ★ 1 3y agoExplain → -
icfp2020
weird functional language runtime
Rust ★ 1 2y agoExplain → -
llvm-verifier ⑂
The LLVM Symbolic Simulator, part of SAW.
Haskell ★ 1 9y agoExplain → -
pdo.sd4
No description.
TypeScript ★ 1 3y agoExplain → -
shellspiel ⑂
Creative cellular automata browser game
Rust ★ 1 6y agoExplain → -
tbot
Making IRC bots fun and easy
Python ★ 1 14y agoExplain → -
ArkLib ⑂
Formally Verified Arguments of Knowledge in Lean
★ 0 1d agoExplain → -
plonky3-recursion
No description.
Rust ★ 0 2d agoExplain → -
spween
No description.
Rust ★ 0 4d agoExplain → -
mirror-timing
No description.
Python ★ 0 1mo agoExplain → -
gpui-component ⑂
Rust GUI components for building fantastic cross-platform desktop application by using GPUI.
Rust ★ 0 22d agoExplain → -
gowexp
No description.
★ 0 23d agoExplain → -
stylo ⑂
CSS engine that powers Servo and Firefox
★ 0 25d agoExplain → -
aoc23
No description.
OCaml ★ 0 2y agoExplain → -
alexandria-common
No description.
Rust ★ 0 11y agoExplain → -
alexandria-server
No description.
Rust ★ 0 11y agoExplain → -
alexandria-client
No description.
Rust ★ 0 11y agoExplain → -
antfarm
a demonstration of integrating unity and processing4
Processing ★ 0 3y agoExplain → -
arduino-display
Playing with a 7-segement display and my arduino
C ★ 0 11y agoExplain → -
ual-tool
No description.
Rust ★ 0 9mo agoExplain → -
pinatatown
No description.
TypeScript ★ 0 7mo agoExplain → -
mgd-factory-green
No description.
TypeScript ★ 0 7mo agoExplain → -
neocadia
No description.
Python ★ 0 7mo agoExplain → -
chaingang
No description.
JavaScript ★ 0 7mo agoExplain → -
ergolang
No description.
Prolog ★ 0 7mo agoExplain → -
tinytable
No description.
TypeScript ★ 0 7mo agoExplain → -
buckeye
No description.
Python ★ 0 6mo agoExplain → -
caca
2d cellular automata explorer
Rust ★ 0 6mo agoExplain → -
objtab
No description.
Rust ★ 0 6mo agoExplain → -
caca2
No description.
Rust ★ 0 6mo agoExplain → -
cargohold
No description.
TypeScript ★ 0 6mo agoExplain → -
spweeboard
No description.
Kotlin ★ 0 6mo agoExplain → -
corn-spriate
No description.
Rust ★ 0 6mo agoExplain → -
megastructure-maintenance-crew
No description.
TypeScript ★ 0 5mo agoExplain → -
frp-for-frpools
No description.
TypeScript ★ 0 5mo agoExplain → -
bead-calculus
No description.
TypeScript ★ 0 1mo agoExplain → -
booty-haul
No description.
TypeScript ★ 0 5mo agoExplain → -
brorb
No description.
JavaScript ★ 0 5mo agoExplain → -
luteastress
No description.
Rust ★ 0 5mo agoExplain → -
booty-hunt
No description.
TypeScript ★ 0 5mo agoExplain → -
mistral-models
No description.
★ 0 5mo agoExplain → -
introsqwention
No description.
Rust ★ 0 5mo agoExplain → -
cricket
No description.
★ 0 3mo agoExplain → -
curricularizedbooks
No description.
TypeScript ★ 0 2mo agoExplain → -
nhanes-sae
Sparse autoencoder and UMAP mining of public NHANES phenome data
Python ★ 0 2mo agoExplain → -
comp-theo
Mirror, transcription & critical reading of the Computational Theology poster series (210 panels)
HTML ★ 0 1mo agoExplain → -
paco-lean ⑂
Parameterized Coinduction in Lean
★ 0 6mo agoExplain → -
negneg
No description.
Python ★ 0 1mo agoExplain → -
spindle
No description.
Rust ★ 0 1mo agoExplain → -
stella
No description.
Rust ★ 0 1mo agoExplain → -
orogene ⑂
Makes `node_modules/` happen. Fast. No fuss.
★ 0 4mo agoExplain → -
fozzy ⑂
the os for runtime determinism.
★ 0 4mo agoExplain → -
panamax ⑂
Mirror rustup and crates.io repositories, for offline Rust and cargo usage.
★ 0 2y agoExplain → -
starmap
No description.
Python ★ 0 5mo agoExplain → -
semantic-scholar-fastmcp-mcp-server ⑂
A FastMCP server implementation for the Semantic Scholar API, providing comprehensive access to academic paper data, author information, and citation networks.
Python ★ 0 5mo agoExplain → -
mistral.rs ⑂
Fast, flexible LLM inference
★ 0 5mo agoExplain → -
annas-mcp ⑂
MCP server and CLI tool for searching and downloading documents from Anna's Archive
Go ★ 0 5mo agoExplain → -
friskingdom
No description.
Rust ★ 0 5mo agoExplain → -
tulip ⑂
custom zulip for friends
Python ★ 0 5mo agoExplain → -
zwobot
No description.
Rust ★ 0 5mo agoExplain → -
resequence-rs
Time-travel simulation engine based on Achron's Resequence engine patterns
Svelte ★ 0 6mo agoExplain → -
elide ⑂
fast, all-in-one, AI-native, multi-lang, runtime
Kotlin ★ 0 6mo agoExplain → -
graal ⑂
GraalVM compiles applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀
★ 0 4mo agoExplain → -
kiss3d ⑂
Keep it simple, stupid 3d graphics engine for Rust.
Rust ★ 0 11y agoExplain → -
joda-time ⑂
Joda-Time is the widely used replacement for the Java date and time classes prior to Java SE 8.
★ 0 7mo agoExplain → -
qwobot
No description.
Rust ★ 0 6mo agoExplain → -
bw-exp1
No description.
Rust ★ 0 6mo agoExplain → -
bw-exp0
No description.
TypeScript ★ 0 6mo agoExplain → -
gcx
No description.
Rust ★ 0 6mo agoExplain → -
protoproto ⑂
Hellas protocol prototype
★ 0 1y agoExplain → -
jarvis ⑂
No description.
★ 0 3y agoExplain → -
mina-network-debugger ⑂
No description.
★ 0 2y agoExplain → -
lp_solve ⑂
Mixed Integer Linear Programming (MILP) solver
★ 0 8mo agoExplain → -
homie
No description.
Rust ★ 0 8mo agoExplain → -
tictacflicflacfloe
No description.
Rust ★ 0 8mo agoExplain → -
bcknd
No description.
★ 0 10mo agoExplain → -
rust-postgres ⑂
Native PostgreSQL driver for the Rust programming language
Rust ★ 0 12y agoExplain → -
redb ⑂
An embedded key-value database in pure Rust
★ 0 1y agoExplain → -
iroh-gossip ⑂
No description.
Rust ★ 0 1y agoExplain → -
iroh-blobs ⑂
Blobs layer for iroh
Rust ★ 0 1y agoExplain → -
iroh ⑂
peer-2-peer that just works
★ 0 1y agoExplain → -
nvim
No description.
Lua ★ 0 1y agoExplain → -
algebra ⑂
Libraries for finite field, elliptic curve, and polynomial arithmetic
★ 0 1y agoExplain → -
spin-rs ⑂
A spinlock for rust
Rust ★ 0 9y agoExplain → -
rust-gpu-tools ⑂
Rust tools for OpenCL and GPU management.
Rust ★ 0 1y agoExplain → -
ark-blst ⑂
arkwork bindings to blst with GPU support
Rust ★ 0 1y agoExplain → -
ec-gpu ⑂
OpenCL code generator for finite-field arithmetic over arbitrary prime fields
Rust ★ 0 1y agoExplain → -
blstrs ⑂
No description.
Rust ★ 0 1y agoExplain → -
subtle ⑂
Pure-Rust traits and utilities for constant-time cryptographic implementations.
Rust ★ 0 1y agoExplain → -
ff ⑂
Traits and utilities for working with finite fields.
★ 0 1y agoExplain → -
poly-commit ⑂
A Rust library for polynomial commitments
Rust ★ 0 1y agoExplain → -
docs2 ⑂
Docs website for the Mina Protocol.
★ 0 2y agoExplain → -
proof-systems ⑂
The proof systems used by Mina
★ 0 3d agoExplain → -
thy-of-ocaml ⑂
Formal verification for OCaml
★ 0 2y agoExplain → -
isabelle ⑂
Git mirror of https://isabelle.in.tum.de/repos/isabelle
★ 0 2y agoExplain → -
ea-grl ⑂
a sandbox
C ★ 0 2y agoExplain → -
this-week-in-rust ⑂
Data for this-week-in-rust.org
★ 0 2y agoExplain → -
rust ⑂
Empowering everyone to build reliable and efficient software.
★ 0 2y agoExplain → -
IACR-eprint-mirror ⑂
Mirror of all PDFs from the IACR's eprint
Python ★ 0 2y agoExplain → -
o1js ⑂
TypeScript framework for zk-SNARKs and zkApps
★ 0 2y agoExplain → -
reu_unif
rust implementation of REU group's paper
Rust ★ 0 3y agoExplain → -
interoptopus ⑂
The polyglot bindings generator for your library (C#, C, Python, …) 🐙
Rust ★ 0 2y agoExplain → -
noosphere ⑂
Noosphere is a protocol for thought; let's discover it together!
★ 0 3y agoExplain → -
subconscious ⑂
No description.
★ 0 3y agoExplain → -
macports-ports ⑂
The MacPorts ports tree
★ 0 3y agoExplain → -
cherrytree ⑂
cherrytree-421
★ 0 3y agoExplain → -
lunar.town
a cozy place on the web
CSS ★ 0 3y agoExplain → -
eggplant
No description.
Rust ★ 0 11y agoExplain → -
rust-wiki-backup ⑂
A backup of the Rust wiki
★ 0 9y agoExplain → -
whoa. ⑂
huh, neat.
★ 0 3y agoExplain → -
clarkson-cs470
No description.
Jupyter Notebook ★ 0 3y agoExplain → -
blender-graphify
A graphification addon for Blender, with a cuboid generator
Python ★ 0 2y agoExplain → -
CS452-LAB5 ⑂
No description.
Rust ★ 0 12y agoExplain → -
cosi-book ⑂
No description.
CSS ★ 0 3y agoExplain → -
libnss-rs ⑂
Rust bindings for creating libnss modules
Rust ★ 0 3y agoExplain → -
rust-antlr ⑂
An ANTLR grammar for Rust
ANTLR ★ 0 12y agoExplain → -
audec ⑂
The Audio Decompiler -- a Real-Time Spectral Audio Analyzer
Rust ★ 0 4y agoExplain → -
shattered-pixel-dungeon ⑂
Traditional roguelike game with pixel-art graphics and simple interface
★ 0 4y agoExplain → -
rust-phf ⑂
Compile time static maps for Rust
Rust ★ 0 11y agoExplain → -
bincode ⑂
A binary encoder / decoder implementation in Rust.
★ 0 6y agoExplain → -
synthesizer-io ⑂
No description.
★ 0 5y agoExplain → -
target-lexicon ⑂
Target "triple" support
★ 0 5y agoExplain → -
too-many-lists ⑂
Learn Rust by writing Entirely Too Many linked lists
★ 0 5y agoExplain → -
atomic_enum ⑂
An attribute to create an atomic wrapper around a C-style enum
★ 0 5y agoExplain → -
rust-clippy ⑂
A bunch of lints to catch common mistakes and improve your Rust code
★ 0 5y agoExplain → -
libblake2
Builds libraries for blake2
C ★ 0 11y agoExplain → -
lua-evenchur ⑂
No description.
★ 0 6y agoExplain → -
wordfoo
No description.
Rust ★ 0 9y agoExplain → -
rust-playpen ⑂
a web interface for running Rust code
Python ★ 0 12y agoExplain → -
Protogen
RPC generator for AIIP
Python ★ 0 11y agoExplain → -
VisualRust ⑂
Visual Studio extension for Rust
C# ★ 0 11y agoExplain → -
rust-fontconfig ⑂
Rust bindings for fontconfig.
★ 0 6y agoExplain → -
rustaceans.org ⑂
Backing data for
★ 0 6y agoExplain → -
skribo ⑂
A Rust library for low-level text layout.
★ 0 6y agoExplain → -
rust-freetype ⑂
Rust bindings for FreeType.
★ 0 6y agoExplain → -
webrender ⑂
A GPU-based renderer for the web
★ 0 6y agoExplain → -
moxie-native ⑂
A webrender-based UI framework with a moxie frontend
★ 0 6y agoExplain → -
vundle ⑂
Vundle, the plug-in manager for Vim
VimL ★ 0 13y agoExplain → -
ruplace-target ⑂
No description.
★ 0 9y agoExplain → -
sicp
sicp
Scheme ★ 0 13y agoExplain → -
synfone2 ⑂
itl_chorus-like testing work, please ignore for now
Rust ★ 0 8y agoExplain → -
simplesched ⑂
The most naive Coroutine scheduler in Rust
Rust ★ 0 10y agoExplain → -
sphere ⑂
Function for calculating volume of n-sphere.
Rust ★ 0 10y agoExplain → -
shuteye ⑂
shuteye provides nanosleep functionality. Let your rust code catch some shuteye
Rust ★ 0 10y agoExplain →
No repos match these filters.