A malleable and verifiable Web engine
☆42Nov 6, 2026Updated this week
Alternatives and similar repositories for formal-web
Users that are interested in formal-web are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13Mar 6, 2026Updated 8 months ago
- Taking the wasm out of wasm-bindgen☆27Oct 30, 2026Updated last week
- Tool for analyzing and comparing Web Platform Test (WPT) result files locally.☆11Oct 23, 2024Updated 2 years ago
- mail client☆18Apr 23, 2026Updated 6 months ago
- CURIEs, or Compact URIs, for JSON-LD, RDF and other things.☆16May 25, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A crate for building native GUI applications in rust.☆48Oct 26, 2026Updated last week
- In this repository higher level controls are offered, like a tree view, tables, editors which can be used with xilem in rust☆13Sep 18, 2026Updated last month
- EigenTrust implementation in Rust☆14Apr 30, 2024Updated 2 years ago
- An Experimental Web Browser Engine written in Rust☆18Apr 9, 2019Updated 7 years ago
- A stupid easy distributed actor system in rust☆15Updated this week
- Voxel Planet Engine Written in Rust/wgpu☆12Jan 12, 2026Updated 9 months ago
- Rust cli tool for running multiple commands in parallel☆21Oct 21, 2024Updated 2 years ago
- Mako: Speculative Distributed Transactions with Geo-Replication☆15Oct 25, 2026Updated last week
- ☆17Updated this week
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Library for using Taffy layout with the Iced GUI framework. It currently provides a single Grid component for 2D grid layout.☆17Apr 11, 2023Updated 3 years ago
- Library for embedding native GPU textures (GL FBO, Vulkan image, Metal IOSurface) into wgpu textures.☆21Updated this week
- Rust Implementation for WebNN☆34Updated this week
- Computational complexity theory in Lean built on top of CSLib.☆22Updated this week
- A Racket port of https://github.com/trystan/AsciiPanel☆11Sep 12, 2015Updated 11 years ago
- An easily embedded iced web view widget with support for litehtml, blitz, servo and cef☆22Sep 5, 2026Updated 2 months ago
- An icon library for dioxus with rich documentation☆11Oct 16, 2026Updated 3 weeks ago
- Zig LLDB Type Formatters - Native C++ plugin for debugging Zig programs☆17Dec 18, 2025Updated 10 months ago
- A lightweight, single-binary JS renderer for JavaScript SPAs and SSR sites, where startup latency (milliseconds vs. 1-2 seconds) and memo…☆18May 25, 2026Updated 5 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A simple, low-level, syntax highlighting library with unicode support☆36Nov 30, 2024Updated last year
- Dioxus Neovim Plugin☆13Nov 26, 2025Updated 11 months ago
- ☆18Updated this week
- Comprehensive trading calendar for global markets☆14Feb 9, 2026Updated 8 months ago
- Kinematics Problem: Double Pendulum, given the angles as functions of time, made with 3Blue1Brown's animation engine☆12Oct 25, 2025Updated last year
- Source code of the fx2-cmix-transformer submission for the Hutter Prize☆19Sep 2, 2026Updated 2 months ago
- GPU slabcraft for crabs☆21Oct 30, 2026Updated last week
- ProB 2.0☆11Jul 19, 2019Updated 7 years ago
- Proof of Concept of a Conditional Authorizer for Kubernetes using Cedar. Work in progress☆21Aug 29, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- MetaCall Multi-Language AST Cross-Language Dependency Graph Static Analyzer.☆19Oct 27, 2026Updated last week
- ☆14Aug 27, 2024Updated 2 years ago
- In-process, multi master, distributed database☆21Jun 18, 2026Updated 4 months ago
- Peer-to-peer NATS message routing and S3 object sync solution☆27Sep 22, 2026Updated last month
- A gui tool written in Dioxus to make it easy to release a workspace of crates to crates.io☆14Feb 22, 2023Updated 3 years ago
- A JS/TS Engine☆106Updated this week
- Store the history of a browser's visited paths☆12Jan 2, 2025Updated last year