Top Repositories
Repositories
184egraphs + datalog!
This repository contains the implementation of Midnight's ledger, as well as documents specifying its behaviour. It defines the transaction structure and state of Midnight, as well as providing Rust and WASM TypeScript APIs to interact with it.
Bringing rational privacy to blockchain
A simple HTML DSL for Rust.
No description provided.
A (very experimental) WebAssembly backend for Cranelift.
Gossip-based service discovery (and more) for large distributed systems.
Modular, structure-aware, and feedback-driven fuzzing engine for Rust functions
A command-line interface to Tabbycat
No description provided.
Debating tournament tabulation software for British Parliamentary and a variety of two-team parliamentary formats
a puzzle engine for rust
Walrus is a WebAssembly transformation library 🌊🐘
No description provided.
Facilitating high-level interactions between Wasm modules and JavaScript
A modular toolkit for building fast, reliable Web applications and libraries with Rust and Wasm
An HTTP library for the Lunatic VM.
Imports data into Tabbycat.
Web framework in Rust
Ergonomic bindings to SQLite for Rust
A code coverage viewer for Rust code that was fuzzed by fuzzcheck-rs
Kagi Small Web
A compiler for OCR "exam reference language".
Simple demo that demonstrates how to use typst as a library in Rust
coursework
No description provided.
The most intuitive desktop API client
A Rust implementation of the Jinja2 templating engine. NOT READY FOR USE
A neural network crate for rust.
Fuzzcheck mutators for common types.