Example project to demonstrate my practise on linux system library in Rust containing
☆17Jun 3, 2023Updated 3 years ago
Alternatives and similar repositories for librabc
Users that are interested in librabc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- RLIBM-ALL: A correctly rounded math library and a polynomial generator that produces correct results for multiple floating point represen…☆18Oct 6, 2023Updated 3 years ago
- Converts cargo check (and clippy) JSON output to the GitHub Action error format☆15Jun 17, 2024Updated 2 years ago
- Data processing pipelines☆14Updated this week
- LLVM IR Binding for Rust☆14Nov 16, 2020Updated 5 years ago
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A consumer + rpc interface for asynchronous task execution☆18Updated this week
- Tool for semantic querying of Rust code.☆13Jan 19, 2020Updated 6 years ago
- SPBench: A Framework for Benchmarking Stream Processing Applications☆11Dec 16, 2025Updated 10 months ago
- Source code for Speedlight, a system for Synchronized Network Snapshots☆10Aug 21, 2020Updated 6 years ago
- p4 controller in Rust☆12Feb 22, 2021Updated 5 years ago
- ☆14Apr 5, 2023Updated 3 years ago
- Custom error type of nom to improve accuracy of error position☆11Mar 23, 2023Updated 3 years ago
- ☆15Aug 29, 2021Updated 5 years ago
- The Realizable Responsive Unobtrusive Unit is an online runtime monitor framework.☆15Oct 7, 2026Updated 3 weeks 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.
- This repo explains the mechanism of creating and using lambdas in C++11 onwards. It also explains how and when to use these lambdas☆11Dec 26, 2017Updated 8 years ago
- Examples violating memory safety in safe Rust.☆13Oct 5, 2024Updated 2 years ago
- PyDFix is a tool that helps detect and fix dependency errors that cause the unreproducibility of Python builds. PyDFix takes as input the…☆13Feb 7, 2023Updated 3 years ago
- SATySFi commands and DSL for displaying derivation trees with maintainable code☆11Jan 2, 2021Updated 5 years ago
- Partition refinement☆16Oct 4, 2026Updated 3 weeks ago
- ☆13Jun 26, 2023Updated 3 years ago
- Coq development accompanying the paper "Efficient Extensional Binary Tries"☆23Apr 17, 2024Updated 2 years ago
- Machine Learning with R Cookbook Second Edition by Packt☆12Jan 24, 2023Updated 3 years ago
- A puzzle game for the Game Boy☆20Sep 23, 2026Updated last month
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A parallel programming model for online applications with complex synchronization requirements.☆17Jun 8, 2022Updated 4 years ago
- Standard Library Concepts Emulation☆14Feb 8, 2021Updated 5 years ago
- Vimに関する何かをやる会。 https://github.com/osakavim/OsakaVim/wiki☆13Oct 26, 2017Updated 9 years ago
- ☆15Apr 12, 2022Updated 4 years ago
- Slides and sample code from presentations at our meetup.☆11Aug 13, 2024Updated 2 years ago
- Full Stack Web Development with Raspberry Pi 3, published by Packt☆12Jan 30, 2023Updated 3 years ago
- Process sandboxing library written in Rust☆10Jul 10, 2020Updated 6 years ago
- Practical Site Reliability Engineering, published by Packt☆12Jan 30, 2023Updated 3 years ago
- Aqui você encontra todo o material de apoio do curso disponível gratuitamente no YouTube — códigos-fonte organizados por módulo, listas d…☆46Nov 25, 2025Updated 11 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- An educational SAT solver written in Rust☆13Sep 23, 2023Updated 3 years ago
- Cargo Sherlock 🕵️ is an automated reasoning tool for quantify trust in Rust software.☆17Sep 4, 2026Updated last month
- Learn Mistral, published by Packt☆14Dec 15, 2025Updated 10 months ago
- ☆17Updated this week
- Staged programming for Rust. Write type-safe proc macros and high-level APIs that generate efficient code.☆24Oct 14, 2026Updated 2 weeks ago
- openMacros is a Rust library that provides macros for common tasks in Rust programming.☆12Jun 4, 2026Updated 4 months ago
- An experimental Kotlin compiler in Rust.☆16May 13, 2020Updated 6 years ago