Stars
A repository for backend part of justmark0.me (personal site)
Learn to write Rust procedural macros [Rust Latam conference, Montevideo Uruguay, March 2019]
this is test rust create that I need for my thesis work
An experimental proof assistant based on a type theory for synthetic ∞-categories.
ROS-based SLAM and trajectory planning for AgileX Scout Mini Robot
A Rust wrapper for `openstack/liberasurecode`
A Rust crate that provides thread pool for managing executions of erasure coding
[Looking for new owners/maintainers, see #88] Rust implementation of Reed-Solomon erasure coding
Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)
[WIP] portable win32 emulation layer; a rewrite of https://github.com/DCNick3/uwin-old/
Server-client Rust-based chat application, client side.
Yet Another Compiler Adjustment of Lisp - interpreter for toy functional language written within Compiler Construction (S22) course in IU.