bonzini / rust-and-cView external linksLinks
☆27Dec 3, 2018Updated 7 years ago
Alternatives and similar repositories for rust-and-c
Users that are interested in rust-and-c are comparing it to the libraries listed below
Sorting:
- ☆13Jun 7, 2022Updated 3 years ago
- System Information Gatherer And Reporter☆12May 10, 2019Updated 6 years ago
- A hierarchical timer wheel in Rust☆17Feb 1, 2018Updated 8 years ago
- Open Source Vanilla WoW Core & DB of Elysium Project☆27May 14, 2018Updated 7 years ago
- Write and execute SQL queries with ease☆74Feb 8, 2021Updated 5 years ago
- Lithium PHP + MongoDB E-commerce showcase application☆38Aug 25, 2011Updated 14 years ago
- Multiuser Plugin for Unity Game Engine made for Networking For Games Class☆11Mar 11, 2019Updated 6 years ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- ☆11Feb 17, 2025Updated 11 months ago
- API that allows websites to capture and use reserved keys and keyboard shortcuts.☆11Jun 9, 2016Updated 9 years ago
- This comprehensive learning resource provides two complete tutorials for mastering Model Context Protocol (MCP) development with Rust. Fr…☆17Dec 1, 2025Updated 2 months ago
- Byzantine-fault-tolerant time synchronization☆42Mar 10, 2021Updated 4 years ago
- Rust implementation of the Filecoin protocol☆12Aug 25, 2020Updated 5 years ago
- Experimental implementation of a Cubical Type Theory modeled by presheaves over posets☆13Aug 19, 2024Updated last year
- Linux process monitor in RUST☆13May 5, 2018Updated 7 years ago
- A Logical Relation for Martin-Löf Type Theory in Agda☆10Jul 31, 2025Updated 6 months ago
- Manipulate search part (querystring) of URLs☆14Jan 5, 2023Updated 3 years ago
- Manage project configuration and environment in side branches.☆10Jan 17, 2024Updated 2 years ago
- (deprecated) A Lithium plugin to ensure code quality.☆13Jun 18, 2012Updated 13 years ago
- Stronger types for a few Typed Racket operators☆11Jan 25, 2024Updated 2 years ago
- Files related to my paper "Continuity of Godel's system T functionals via effectful forcing". MFPS'2013. Electronic Notes in Theoretical …☆11Sep 21, 2021Updated 4 years ago
- Postgresql capture data change software in Rust to allow realtime websockets☆12Sep 24, 2024Updated last year
- Quick Look plugin to display Java class files as bytecode☆12Jul 27, 2018Updated 7 years ago
- A Go implementation of TypeChat☆10May 23, 2024Updated last year
- OPcache Tool for Laravel Nova☆20Apr 20, 2020Updated 5 years ago
- Aula 2☆11Sep 16, 2022Updated 3 years ago
- Rust NIF for fast JWT signing☆10Feb 5, 2026Updated last week
- ☆14Nov 23, 2016Updated 9 years ago
- An OpenGL loader tailored to gfx-rs's needs.☆14Feb 4, 2020Updated 6 years ago
- A simple example on how to using Lithium as a microframework☆15Nov 10, 2010Updated 15 years ago
- An introductory tutorial for the Coq proof assistant.☆10Feb 5, 2019Updated 7 years ago
- A VR headset library for Rust programs targeting the Oculus Rift.☆10Nov 18, 2015Updated 10 years ago
- A fluent API for generating Java byte code☆14Apr 4, 2013Updated 12 years ago
- Various mechanized proof files for fun.☆13Aug 11, 2025Updated 6 months ago
- Some code in the Rhombus/Shrubbery prototype☆12Dec 9, 2024Updated last year
- Configurable bitwidth snowflake id generator, encoder, decoder for Rust☆13Oct 1, 2016Updated 9 years ago
- An algorithm that draws an image of the mandelbrot set☆12Aug 17, 2025Updated 5 months ago
- Integration plugins for various KDE frameworks for the Wayland windowing system☆14Jan 27, 2026Updated 2 weeks ago
- A smart Fiber API Boilerplate☆12Oct 28, 2021Updated 4 years ago