☆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
- Audio recognition library☆13Nov 10, 2019Updated 6 years ago
- Mobile conjugation practise app for Japanese☆12Jan 12, 2024Updated 2 years ago
- An OpenAI-powered triage bot for a slack support channel designed to tag oncalls, prioritize issues, suggest solutions, and streamline co…☆12Jun 11, 2025Updated 8 months ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- API that allows websites to capture and use reserved keys and keyboard shortcuts.☆11Jun 9, 2016Updated 9 years ago
- This project makes QMK as a library, and build on top of Zephyr RTOS.☆10May 5, 2025Updated 10 months ago
- https://xuruowei.com 是她的家人朋友们和她的爱人高策为纪念她留下的。徐若薇于 2026 年 2 月 28 日离世。我们希望通过这个时间线纪念她的一生——照片、故事、文字、音乐与她钟爱的一切。沿着她生命的轨迹漫步，重新触摸那些有温度的瞬间。☆27Mar 2, 2026Updated last week
- Telegram login and notifications for Flarum☆11Oct 10, 2019Updated 6 years ago
- Postgresql capture data change software in Rust to allow realtime websockets☆12Sep 24, 2024Updated last year
- ☆14Nov 23, 2016Updated 9 years ago
- Experimental implementation of a Cubical Type Theory modeled by presheaves over posets☆14Aug 19, 2024Updated last year
- A Game Boy port of Conway's Game of Life☆15Mar 10, 2025Updated 11 months ago
- Linux process monitor in RUST☆13May 5, 2018Updated 7 years ago
- Rust NIF for fast JWT signing☆10Feb 5, 2026Updated last month
- Stronger types for a few Typed Racket operators☆11Jan 25, 2024Updated 2 years ago
- An OpenGL loader tailored to gfx-rs's needs.☆14Feb 4, 2020Updated 6 years ago
- Quick Look plugin to display Java class files as bytecode☆12Jul 27, 2018Updated 7 years ago
- A Logical Relation for Martin-Löf Type Theory in Agda☆10Jul 31, 2025Updated 7 months ago
- [DEPRECATED] A clawer of fetching available vip accounts of thunder, iQiyi and youku.☆10May 27, 2017Updated 8 years ago
- ☆17Jan 31, 2025Updated last year
- ☆13Mar 2, 2015Updated 11 years ago
- Rust implementation of the Filecoin protocol☆12Aug 25, 2020Updated 5 years ago
- Manage project configuration and environment in side branches.☆10Jan 17, 2024Updated 2 years ago
- My WIP bin, various interesting open-source work in progress☆11Aug 2, 2021Updated 4 years ago
- A repository of my contributions and development with Netbeans☆12Jan 15, 2025Updated last year
- Love Live! School Idol Festival: Keyboard Controller☆11Sep 14, 2018Updated 7 years ago
- ☆10May 9, 2024Updated last year
- ☆12Nov 24, 2021Updated 4 years ago
- Various mechanized proof files for fun.☆13Aug 11, 2025Updated 6 months ago
- A forwarding mail server inspired by @alum.mit.edu☆20Mar 22, 2016Updated 9 years ago
- Terraform provider for Kubernetes resources☆12Mar 2, 2026Updated last week
- ☆16Mar 23, 2025Updated 11 months ago
- Start a conversation in your company about paying open source maintainers! In the meantime enjoy this super-simple logging framework^W cl…☆10Dec 18, 2021Updated 4 years ago
- ☆12Jun 13, 2023Updated 2 years ago
- Some heretical React Hooks☆11Jan 4, 2023Updated 3 years ago
- A no-std libm implementation in Rust☆13Jul 10, 2018Updated 7 years ago
- Syntax Parse Bee 2021☆11Nov 7, 2022Updated 3 years ago
- An agda2hs-compatible library for well-scoped syntax☆11Nov 6, 2025Updated 4 months ago