A web engine prototype with a modular architecture and support for formal verification
☆30Oct 4, 2026Updated 2 weeks ago
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:
- An adaptive-radix-tree metastore☆31Updated this week
- A no_std graphical user interface framework in Rust for embedded devices prioritizing resource efficiency and ergonomics.☆43Oct 5, 2026Updated last week
- A calm, workspace-oriented browser built on the Servo engine.☆38Aug 23, 2026Updated last month
- Hermes is a desktop browser that combines the memory safety of Rust, the parallel architecture of the Servo Web Engine, and a lightweight…☆34Aug 5, 2026Updated 2 months ago
- MetaCall Multi-Language AST Cross-Language Dependency Graph Static Analyzer.☆20Oct 4, 2026Updated 2 weeks ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Tool for analyzing and comparing Web Platform Test (WPT) result files locally.☆11Oct 23, 2024Updated last year
- reactive, retained rust ui framework☆37Oct 10, 2026Updated last week
- CURIEs, or Compact URIs, for JSON-LD, RDF and other things.☆16May 25, 2025Updated last year
- Cross-platform native GUI runtime for SolidJS, powered by Taffy + Vello☆45Updated this week
- An Experimental Web Browser Engine written in Rust☆18Apr 9, 2019Updated 7 years ago
- 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
- 📜 A fast universal markup converter written in Rust☆57Updated this week
- Library for embedding native GPU textures (GL FBO, Vulkan image, Metal IOSurface) into wgpu textures.☆21Updated this week
- Rust Implementation for WebNN☆30Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- An easily embedded iced web view widget with support for litehtml, blitz, servo and cef☆19Sep 5, 2026Updated last month
- A crate for building native GUI applications in rust.☆48Updated this week
- High-performance Reticulum (RNS), built to run on any device.☆72Updated this week
- Programming tools and techniques for C programmers☆16Jun 1, 2017Updated 9 years ago
- PurRDF — one RDF 1.2 engine, one behavior, in Rust, Python, WebAssembly and C. Deterministic BM25 full-text search, exact GeoSPARQL 1.1 a…☆50Updated this week
- Course notes for data structures in C☆18Jun 12, 2017Updated 9 years ago
- A pure, declarative language for business rules.☆62Updated this week
- Slabcraft for crabs☆21Updated this week
- 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 4 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆11Jul 2, 2024Updated 2 years ago
- ☆14Aug 27, 2024Updated 2 years ago
- Tiny browser engine written from scratch in Rust.☆44Aug 11, 2026Updated 2 months ago
- Peer-to-peer NATS message routing and S3 object sync solution☆26Sep 22, 2026Updated 3 weeks ago
- In-process, multi master, distributed database☆21Jun 18, 2026Updated 4 months ago
- Store the history of a browser's visited paths☆12Jan 2, 2025Updated last year
- native spotify client because all my homies hate electron☆96Sep 22, 2026Updated 3 weeks ago
- A gemini server implementation☆19Sep 9, 2025Updated last year
- A simple static site generator for creating a blog on the Gemini protocol☆18May 4, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Bunsen is an add-on suite of model components for Burn.☆21Updated this week
- Port of high perfomance Rust-powered 'Taffy' UI layout library into C++☆13Aug 30, 2023Updated 3 years ago
- Rust port of httprouter.☆16Dec 12, 2018Updated 7 years ago
- A simple forum software☆16May 27, 2018Updated 8 years ago
- Minimalist crate for deterministic binary encodings in Rust☆11Nov 19, 2024Updated last year
- A common data structures for Inter-Blockchain Communication (IBC) messages that can be reused by different implementations or tools☆15Apr 9, 2025Updated last year
- Taking the wasm out of wasm-bindgen☆27Sep 25, 2026Updated 3 weeks ago