See arXiv:1306.6032
This implementation focusses on readability and being able to follow the paper while reading the code.
Use the synth function to synthesize a Type from an Expression. The process is traced through stdout, so that you can follow the rules invoked.
Basis of this implementation was the paper and implementations by Olle Fredriksson in Haskell and Albert ten Napel in TypeScript.
Implementation of the WebUSB specification in Rust.
Rust Wasm Game of Life This repo contains an example implementation of Conway's Game of Life in Rust and WebAssembly. How to use You should have wasm-
KERIOX Introduction Features Introduction KERIOX is an open source Rust implementation of the Key Event Receipt Infrastructure (KERI) , a system desig
gloryctl This project is an implementation of the vendor-specific HID protocol in use by Glorious mice used to configure parameters such as DPI profil
box This is an experimental repository to perform a proof of concept replacement of the Apache Spark executor for Arc with Apache DataFusion. This is
A Rust-based implementation of Edge-rs for the Raspberry Pi Pico Getting started For more details see the following article on getting started for get
Linked Data IPLD schemas and what to do with them. Beacon Directory of user content and metadata. Since this object should not change it can be used a
Fluent fluent-rs is a collection of Rust crates implementing Project Fluent. The crates perform the following functions: fluent Umbrella crate combini
untyped-arena untyped-arena provides an Arena allocator implementation that is safe and untyped with minimal complexity Usage let arena = Arena::new()
Client-side-validation Foundation Libraries This is an implementation defining standard of client-side-validation representing a set of its Foundation
Clawflake Clawflake is a Rust application which implements Twitter Snowflakes and communicates using gRPC. Snowflake ID numbers are 63 bits integers s
Description This is the source code of my game Panda Doodle, which can be played at https://pandadoodle.lucamoller.com/ (it's best playable on touch s
pcisph-wasm 2D Predictive-Corrective Smoothed Particle Hydrodynamics (SPH) implementation in Rust with WASM + WebGL Reimplementation of my previous Ru
fractional_index This crate implements fractional indexing, a term coined by Figma in their blog post Realtime Editing of Ordered Sequences. Specifica
XQ JQ reimplemented purely in Rust. Caution This program is under development. You probably want to use the original implementation of jq, or pure Go
PLONK This is a pure Rust implementation of the PLONK zk proving system Usage use ark_plonk::prelude::*; use ark_ec::bls12::Bls12; use rand_core::OsRn
cu.rs A Bancho implementation made in Rust for the cursed stack. THIS PROJECT IS REALLY UNFINISHED AND IN ITS EARLY STAGES A drag and drop replacement
wg Golang like WaitGroup implementation for sync/async Rust.
Minimalistic hexdump implementation in Rust
38 Dec 4, 2022
1 Nov 11, 2021
3 Nov 11, 2022
6 Oct 17, 2022
1 Nov 26, 2021
4 Apr 14, 2022
3 Mar 4, 2022
749 Dec 26, 2022
1 Jan 9, 2022
8 Dec 3, 2022
5 Oct 31, 2022
79 Dec 5, 2022
46 Dec 17, 2022
18 Dec 21, 2022
181 Jan 4, 2023
201 Dec 31, 2022
5 Feb 1, 2022
8 Dec 6, 2022
1 Oct 25, 2021