Type theory for busy engineers
☆20May 4, 2024Updated 2 years ago
Alternatives and similar repositories for rustnl-2024
Users that are interested in rustnl-2024 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Experimenting with a faster bundling algorithm☆37Jan 13, 2023Updated 3 years ago
- Talk for RustConf 2021☆11Jul 28, 2021Updated 5 years ago
- Compile-time swift-style keypaths for Rust☆26Apr 21, 2026Updated 4 months ago
- kdtree implementation for rust.☆14Mar 24, 2020Updated 6 years ago
- Providing wrapper types for safely performing panic-free checked arithmetic on instants and durations.☆17Sep 1, 2026Updated 2 weeks ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A scable and extensible build system for the Web ecosystem.☆33Apr 23, 2022Updated 4 years ago
- ☆28Nov 2, 2022Updated 3 years ago
- ☆11Oct 14, 2022Updated 3 years ago
- Generate marshmallow schemas from code annotations and type hinting☆11Nov 30, 2020Updated 5 years ago
- Python tools for generating TypeScript interfaces from Python types☆11Nov 20, 2018Updated 7 years ago
- ☆19Nov 4, 2025Updated 10 months ago
- ☆16Jan 25, 2016Updated 10 years ago
- Proposal to add instrumentation and tracing instructions to WebAssembly☆16Sep 17, 2021Updated 5 years ago
- A Rust error crate with the goal of identifying precisely where and in which context an error occurs.☆21Mar 2, 2025Updated last year
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Simple lightbox component for vue☆10Apr 3, 2019Updated 7 years ago
- Rust crates with map and set with interval keys (ranges x..y).☆15May 9, 2026Updated 4 months ago
- Run esm and/or cjs code in a separate V8 isolate with code-injection capabilities☆17Sep 4, 2024Updated 2 years ago
- Rust Bindings to Android log Library☆18Mar 4, 2025Updated last year
- A tiny pomodoro application done with egui.☆10Feb 25, 2023Updated 3 years ago
- TUI (Text User Interface) - Get Instant feedback for your sh commands. Explore and play with your queries 🚀☆12Aug 30, 2025Updated last year
- Benchmarking different Rust generator libraries in a real world use case.☆23Jul 29, 2025Updated last year
- A Model Context Protocol (MCP) server that provides integration with rust-analyzer☆80Updated this week
- ☆18Jul 8, 2023Updated 3 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A demo for my talk The World of WASI☆19Mar 24, 2023Updated 3 years ago
- This repository contains the Parasol processor, which enables next-generation privacy preserving applications. Users can run arbitrary co…☆15Jul 11, 2026Updated 2 months ago
- View in JSON Hero from VS Code☆17Mar 1, 2022Updated 4 years ago
- 💾 Binary crates cache for @actions-rs/install Action☆15Jan 14, 2021Updated 5 years ago
- mhv is a minimalist hexadecimal viewer.☆11Jan 15, 2024Updated 2 years ago
- ☆25Jul 10, 2025Updated last year
- csv-like storage to sqlite☆23Aug 15, 2026Updated last month
- 🧑🤝🧑 The visitor pattern revisited. An inheritance-aware acyclic visitor template, any and any-function templates.☆16May 26, 2020Updated 6 years ago
- The last console logger☆12Aug 17, 2023Updated 3 years ago
- 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.
- ☆31Nov 26, 2025Updated 9 months ago
- OpenAPI compatibility checking library☆20May 12, 2026Updated 4 months ago
- async time combinators☆25Apr 26, 2026Updated 4 months ago
- A CLI to generate and serve your crates documentation with hot-reloading during development.☆20Aug 7, 2026Updated last month
- ☆14Jun 1, 2016Updated 10 years ago
- Mesh-Mesh and Triangle-Triangle Intersection tests based on the algorithm by Tomas Akenine-Möller☆19Jan 6, 2023Updated 3 years ago
- A Yocto layer with recipes for building Slint☆25Updated this week