nacho / servo-gtkView external linksLinks
GTK integration for Servo
☆153Feb 2, 2026Updated last week
Alternatives and similar repositories for servo-gtk
Users that are interested in servo-gtk are comparing it to the libraries listed below
Sorting:
- A performant static site generator built to scale.☆13Nov 3, 2024Updated last year
- mDNS resolving crate for Rust☆14Jan 12, 2024Updated 2 years ago
- Rust library for HTML santisation. https://docs.rs/sanitize_html/☆16Oct 20, 2025Updated 3 months ago
- [wip] Proof format and checker for first-order and higher-order theorem provers☆12Mar 29, 2023Updated 2 years ago
- Detect possible security problems with Unicode usage according to Unicode Technical Standard #39 rules.☆15Dec 27, 2025Updated last month
- A bare-bones tool for converting JSON5 to plain JSON.☆13Aug 20, 2022Updated 3 years ago
- Visualise recursive functions and tree structures.☆30Jun 6, 2021Updated 4 years ago
- Crustacean: an unofficial iOS client for lobste.rs☆12Mar 24, 2025Updated 10 months ago
- Bachelor's thesis 2019☆12Jun 3, 2023Updated 2 years ago
- Rust library for reading ext2/ext3/ext4 filesystems☆16Updated this week
- 69-key split mechanical keyboard (PCB, case, firmware) | now on https://codeberg.org/valpackett/ergonice☆13Oct 1, 2022Updated 3 years ago
- the Dependent Unboxed higher-oRder Intermediate Notation☆14Feb 8, 2022Updated 4 years ago
- IRC pseudoserver for exposing network state data elegantly☆18Feb 1, 2024Updated 2 years ago
- A simple disk benchmark tool.☆12Feb 5, 2026Updated last week
- a human-readable data format☆17Jun 28, 2025Updated 7 months ago
- A Soothing pastel theme for the high-spirited! modified for GoToSocial☆14Nov 23, 2024Updated last year
- Label dependent dependent session types☆16May 2, 2024Updated last year
- Pawns functional/imperative programming language compiler etc☆11Apr 16, 2025Updated 9 months ago
- Fast lookup of the Unicode General Category property for `char` in Rust.☆20Sep 16, 2025Updated 4 months ago
- Automate your life☆49Jan 29, 2025Updated last year
- A simple-to-use FAT filesystem library for Rust (mainly targeted at embedded systems)☆46Updated this week
- A library for extracting and validating links.☆22Aug 17, 2024Updated last year
- ☆14Jan 15, 2026Updated 3 weeks ago
- TARGET and HOST triples☆16Dec 20, 2025Updated last month
- Render, select coordinates, export to video and more.☆13Apr 28, 2024Updated last year
- A simple induction and BMC engine.☆24May 16, 2022Updated 3 years ago
- A Rust in-memory embedded database with persistence and multiple adapters (JSON, CSV, etc). Acts like a minimalistic ORM with zero setup.…☆69Apr 21, 2025Updated 9 months ago
- A Hardware Description Language that doesn't make you want to pull your hair out | read-only mirror of https://gitlab.com/spade-lang/spad…☆43Feb 5, 2026Updated last week
- "operating system" based on the calculus of constructions☆18Jun 22, 2022Updated 3 years ago
- A commandline tool for performing text-wrapping☆17Sep 21, 2024Updated last year
- Small, simple, expression-oriented programming language.☆31Jan 17, 2026Updated 3 weeks ago
- A user manual and technical reference for the Neotron family☆39Oct 19, 2024Updated last year
- Browse SQLite files☆47Updated this week
- This Repo is the official Flake of Solaar for NixOS☆30Jan 8, 2026Updated last month
- A thread-safe hash table in Haskell☆15Feb 28, 2020Updated 5 years ago
- A safe, fast, lightweight embeddable scripting language written in Rust.☆22May 23, 2023Updated 2 years ago
- A simple functional programming language.☆22Jun 3, 2021Updated 4 years ago
- MathEdit for OpenStep☆38Oct 6, 2025Updated 4 months ago
- Ambient Authority☆21Jun 30, 2023Updated 2 years ago