emberian

evdev

Rust interface to Linux event devices

vscode-rustup

nice_glfw

A window builder for glfw-rs

serde-reflect

avoid `Deserialize`/`Serialize` code bloat

esgea

sneaky guys - an exhillerating two-player asymmetric-information game

icfp2020

weird functional language runtime

pdo.sd4

absass

a bottom-up software system

aoc23

blender-graphify

A graphification addon for Blender, with a cuboid generator

cherrytree

cherrytree-421

docs2

Docs website for the Mina Protocol.

ea-grl

a sandbox

emberian

IACR-eprint-mirror

Mirror of all PDFs from the IACR's eprint

incinerator

a concurrent, parallel garbage collector for rust

interoptopus

The polyglot bindings generator for your library (C#, C, Python, …) 🐙

isabelle

Git mirror of https://isabelle.in.tum.de/repos/isabelle

lunar.town

a cozy place on the web

macports-ports

The MacPorts ports tree

mina-network-debugger

noosphere

Noosphere is a protocol for thought; let's discover it together!

o1js

TypeScript framework for zk-SNARKs and zkApps

opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

proof-systems

The proof systems used by Mina

reu_unif

rust implementation of REU group's paper

rust

Empowering everyone to build reliable and efficient software.

subconscious

this-week-in-rust

Data for this-week-in-rust.org

thy-of-ocaml

Formal verification for OCaml