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 4 years ago
- Custom error type of nom to improve accuracy of error position☆12Mar 23, 2023Updated 3 years ago
- Providing wrapper types for safely performing panic-free checked arithmetic on instants and durations.☆17Jul 11, 2026Updated last week
- kdtree implementation for rust.☆14Mar 24, 2020Updated 6 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆11Oct 14, 2022Updated 3 years ago
- ☆17Mar 18, 2023Updated 3 years ago
- Generate marshmallow schemas from code annotations and type hinting☆11Nov 30, 2020Updated 5 years ago
- Cozo for Golang☆16Mar 21, 2024Updated 2 years ago
- Proposal to add instrumentation and tracing instructions to WebAssembly☆16Sep 17, 2021Updated 4 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
- Fast, polling-free approach to kill and wait for all processes to exit. Rust + Tokio, pidfd + epoll + timer☆23Jul 2, 2023Updated 3 years ago
- Simple lightbox component for vue☆10Apr 3, 2019Updated 7 years ago
- Compute order statistics☆15Sep 16, 2023Updated 2 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A template-repository for creating Documentation using MkDocs, Material for MkDocs and PyMdown Extensions☆12Updated this week
- TUI (Text User Interface) - Get Instant feedback for your sh commands. Explore and play with your queries 🚀☆12Aug 30, 2025Updated 10 months ago
- A Model Context Protocol (MCP) server that provides integration with rust-analyzer☆73Sep 1, 2025Updated 10 months ago
- Benchmarking different Rust generator libraries in a real world use case.☆23Jul 29, 2025Updated 11 months ago
- ☆20Jul 8, 2023Updated 3 years ago
- 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…☆13Jul 11, 2026Updated last week
- JSON Compact Schema (JSON-CS)☆15Jun 10, 2026Updated last month
- https://crates.io/crates/ostree☆21May 10, 2022Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- mhv is a minimalist hexadecimal viewer.☆11Jan 15, 2024Updated 2 years ago
- ☆25Jul 10, 2025Updated last year
- csv-like storage to sqlite☆23Feb 9, 2025Updated last year
- We have Crater At Home☆39Oct 26, 2024Updated last year
- Through all this years of making WDCs, I found "enabling" others to accomplish their goals is one of the best things I can give to my pee…☆11Jul 21, 2020Updated 5 years ago
- ☆52Aug 21, 2023Updated 2 years ago
- Ratatuifying Rust's package manager☆39May 19, 2026Updated 2 months ago
- ☆31Nov 26, 2025Updated 7 months ago
- async time combinators☆25Apr 26, 2026Updated 2 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆17Jun 24, 2023Updated 3 years ago
- ☆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☆23Updated this week
- A simple, low-level, syntax highlighting library with unicode support☆35Nov 30, 2024Updated last year
- Repository for Dapr API Special Interest Group☆17Sep 7, 2023Updated 2 years ago
- SEO module for QOR3☆16Jun 29, 2026Updated 3 weeks ago