☆29Dec 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13Jun 7, 2022Updated 4 years ago
- Collection of awesome coding agents and supplementary tools☆14Updated this week
- ☆11Feb 27, 2020Updated 6 years ago
- System Information Gatherer And Reporter☆12May 10, 2019Updated 7 years ago
- Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignore…☆10May 5, 2026Updated 6 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A Game Boy port of Conway's Game of Life☆15Jun 25, 2026Updated 4 months ago
- Erlang Digraph library that uses mnesia as a backend☆13Dec 12, 2011Updated 14 years ago
- Comparing Rust crate function speeds☆16Jan 11, 2019Updated 7 years ago
- Rust project template with CI-built releases☆12Mar 14, 2020Updated 6 years ago
- A full React Reference Platform for OIP, a base to build your own OIP Platform! Built in Accounts, Content Viewers for many filetypes, Mi…☆11Aug 14, 2018Updated 8 years ago
- An ETL tool for converting untyped CSV to parquet. Also triggers data lake updates.☆15Oct 29, 2021Updated 5 years ago
- algebraic typechecking and elaboration of type systems☆13Jan 25, 2025Updated last year
- Very fast, very simple hash algorithm designed for use in Rust integer hash maps & sets☆18Dec 9, 2018Updated 7 years ago
- Green Card, a foreign function interface pre-processor for Haskell.☆11Apr 14, 2015Updated 11 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- An experiment in publishing a Haskell library as a Python Wheel.☆11Apr 30, 2025Updated last year
- Examples of divide-and-conquer recursion in Coq, based on our POPL 2023 paper "A Type-Based Approach to Divide-and-Conquer Recursion in C…☆10Dec 16, 2024Updated last year
- 可能是目前唯一的微信公众平台Erlang SDK☆16Jul 13, 2018Updated 8 years ago
- ☆10Sep 22, 2017Updated 9 years ago
- Byzantine-fault-tolerant time synchronization☆42Mar 10, 2021Updated 5 years ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 3 years ago
- Create local first, peer to peer application (P2P) using a GraphQL inspired API☆22Sep 11, 2024Updated 2 years ago
- RustTalk 节目策划☆19Jul 23, 2026Updated 3 months ago
- Some heretical React Hooks☆11Jan 4, 2023Updated 3 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.
- Encoders and decoders of the Protocol-Buffers messages for the constituents defined in the raftlog crate☆13Mar 8, 2022Updated 4 years ago
- Go bindings for the javascriptcore library (used in Webkit).☆11Mar 27, 2020Updated 6 years ago
- ☆14Oct 20, 2026Updated 2 weeks ago
- Platform-specific GUI controls for Racket.☆13Feb 2, 2023Updated 3 years ago
- The 'sensors' is script that displays temperatures and several other power related information on FreeBSD.☆11Sep 14, 2026Updated last month
- implementation of scheme by Abdulaziz Ghuloum☆13Oct 11, 2011Updated 15 years ago
- Agda to C compiler☆11Sep 23, 2025Updated last year
- Some code in the Rhombus/Shrubbery prototype☆12Dec 9, 2024Updated last year
- A safe mmap implementation☆11Jul 19, 2023Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A Guix dashboard for GToolkit☆14Apr 14, 2023Updated 3 years ago
- Playing with incremental parsing and later compiler passes☆12Dec 12, 2018Updated 7 years ago
- Analysis of Racket code base☆13Aug 27, 2020Updated 6 years ago
- An introductory tutorial for the Coq proof assistant.☆10Feb 5, 2019Updated 7 years ago
- Internalizing intensional type theory☆12Jun 20, 2015Updated 11 years ago
- An experimental typed version of the Rosette language☆13Aug 6, 2018Updated 8 years ago
- Various mechanized proof files for fun.☆17Oct 2, 2026Updated last month