☆27May 1, 2015Updated 10 years ago
Alternatives and similar repositories for llvmint
Users that are interested in llvmint are comparing it to the libraries listed below
Sorting:
- rust verification condition generator☆96Aug 31, 2016Updated 9 years ago
- Concurrent hash map for Rust☆17Sep 18, 2016Updated 9 years ago
- Tools for analyzing how the Rust ecosystem is using the language☆12Jan 21, 2015Updated 11 years ago
- Rust bindings for libpcuid CPU detection and feature extraction library.☆53Mar 28, 2017Updated 8 years ago
- ☆13Mar 7, 2022Updated 3 years ago
- Constant Time Operations for Crypto Libraries☆10Jun 22, 2017Updated 8 years ago
- Rust library for fast types.☆15Feb 1, 2018Updated 8 years ago
- An infinity-categorical coherence typechecker☆18Nov 4, 2024Updated last year
- Portable high-level bitwise manipulation algorithms☆53Oct 1, 2021Updated 4 years ago
- A low-latency, high-throughput inter-task communication library☆193Sep 25, 2015Updated 10 years ago
- RISC-V V Extension Encoder☆11Jul 28, 2022Updated 3 years ago
- A Rust implementation of the PCG PRNG.☆24May 29, 2017Updated 8 years ago
- Scheme in Rust☆15Dec 10, 2021Updated 4 years ago
- Rust XDR interoperability library and codegen☆16Jul 8, 2022Updated 3 years ago
- ☆18Dec 15, 2016Updated 9 years ago
- Rust futures on spdk☆33Oct 6, 2019Updated 6 years ago
- A personal library, formalizing cohesive homotopy type theory in Agda.☆13Apr 30, 2019Updated 6 years ago
- Easy to use EGL Interface for Rust☆19Mar 4, 2024Updated 2 years ago
- rust html source code browser generator, rust source code navigator, possible component for IDE ? Example output - see rust compiler sou…☆48Jun 3, 2017Updated 8 years ago
- Typeset version of EGA and SGA by Grothendieck.☆12Jan 28, 2014Updated 12 years ago
- Get information about the x86 and x86_64 processor☆36Oct 16, 2021Updated 4 years ago
- Macro to generate num::FromPrimitive instances for enum that works in Rust 1.0☆65Sep 27, 2022Updated 3 years ago
- I'm putting Palmgren's Constructive Sheaf Semantics into Agda. Defines sheaves via Grothendieck pretopologies.☆17Jan 5, 2015Updated 11 years ago
- Programming language combining features from ES7, CoffeeScript, TypeScript, Rust, Swift, C# and more☆17Jul 20, 2024Updated last year
- Multi reporter metrics library (carbon, graphite, postgresql, prometheus)☆101Oct 27, 2018Updated 7 years ago
- Rust-like syntax for OpenGL Shading Language☆177Jan 22, 2017Updated 9 years ago
- A small utility to compare Rust micro-benchmarks.☆364Aug 29, 2024Updated last year
- [DEPRECATED] see:☆81Dec 22, 2016Updated 9 years ago
- A miniKanren implementation in Rust☆37Mar 8, 2016Updated 9 years ago
- adaptive algorithms for rayon☆39Apr 19, 2020Updated 5 years ago
- Allocator of fixed sized blocks from pre-allocated arena☆18Oct 29, 2017Updated 8 years ago
- The mio-based framework for rust for doing I/O in simple and composable way (ABANDONED)☆360Nov 24, 2016Updated 9 years ago
- Simple and fast async channels☆18Jun 22, 2024Updated last year
- Experiments with preordered set models of (directed) type theories☆15Jul 10, 2019Updated 6 years ago
- A flexible and redundant long-term storage system for Linux, using DM and XFS☆63Jun 28, 2022Updated 3 years ago
- ☆29Apr 18, 2018Updated 7 years ago
- secret project☆17Mar 14, 2018Updated 7 years ago
- Rust raw interface to libwebp☆22Feb 22, 2025Updated last year
- FreeBSD kernel module in Rust☆67Jun 9, 2017Updated 8 years ago