kmcallister / pngboxView external linksLinks
Demo: OS sandboxing for unsafe code in Rust
☆13Mar 10, 2015Updated 10 years ago
Alternatives and similar repositories for pngbox
Users that are interested in pngbox are comparing it to the libraries listed below
Sorting:
- A transducer library for Rust☆10May 22, 2016Updated 9 years ago
- SecBox - Sensitive data container☆14Jul 30, 2016Updated 9 years ago
- Allocator of fixed sized blocks from pre-allocated arena☆18Oct 29, 2017Updated 8 years ago
- Rust library managing duplicity backups☆18Aug 2, 2021Updated 4 years ago
- A tetris game written in Rust using the Piston library☆28Feb 25, 2021Updated 4 years ago
- OCaml back end for Idris☆22Jan 24, 2018Updated 8 years ago
- A micro-benchmarking library.☆22Apr 3, 2019Updated 6 years ago
- Ringbuffer with FD signalling - fast IPC without memory copies!☆90Feb 9, 2021Updated 5 years ago
- Proof of concept for fast regexes in rust☆39Aug 10, 2016Updated 9 years ago
- ☆12Aug 24, 2014Updated 11 years ago
- FFI-based byte buffers for Idris☆10Jun 21, 2019Updated 6 years ago
- A work stealing fork-join parallelism library for Rust☆57Jul 2, 2018Updated 7 years ago
- A safe-ish wrapper for allocating, reallocating and deallocating heap buffers.☆12Jul 4, 2015Updated 10 years ago
- An opinionated library for developing and testing rust applications that use logging.☆13Apr 16, 2023Updated 2 years ago
- Parsers for various configuration files written in Idris.☆19Nov 8, 2017Updated 8 years ago
- Exercises from the Idris lecture series presented at the ITU Copenhagen on March 11--15, updated to work with latest Idris releases.☆23Sep 10, 2015Updated 10 years ago
- A FUSE implementation in Rust for Git objects☆14Aug 25, 2016Updated 9 years ago
- I/O and binary data encoding for Rust☆40Aug 17, 2015Updated 10 years ago
- A small set of useful probabilistic data structures.☆69Jun 15, 2018Updated 7 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41May 1, 2018Updated 7 years ago
- And I'll look down and whisper "GNO."☆59Aug 11, 2016Updated 9 years ago
- A reader-writer lock that can be used with a Condvar.☆29Jun 2, 2016Updated 9 years ago
- Experimental C++11 backend for Idris☆15Nov 29, 2014Updated 11 years ago
- Communication primitives☆69Oct 15, 2017Updated 8 years ago
- ☆13Jul 19, 2017Updated 8 years ago
- Performant wrapper around the Telegram bot API.☆23Jan 26, 2020Updated 6 years ago
- Minimalist lightweight inline JavaScript for Rust applications targeting WebAssembly via the wasm32-unknown-unknown target.☆20Dec 21, 2017Updated 8 years ago
- Dispatcher for Rust, broadcast and subscribe many to many☆28Nov 9, 2015Updated 10 years ago
- event loop and promises in Rust☆111Jan 8, 2017Updated 9 years ago
- rwlock with writer priority and optimistic reads☆33Feb 1, 2015Updated 11 years ago
- Rust bindings for libpng - UNMAINTAINED - DO NOT USE☆27Oct 14, 2016Updated 9 years ago
- an implementation of a microKanren(-like language) in miniKanren☆27Aug 1, 2014Updated 11 years ago
- Rust bindings to libucl☆15Aug 2, 2017Updated 8 years ago
- A pet raytracer to see how fast rust can go☆15Jan 2, 2017Updated 9 years ago
- Probabilistic computation in Idris☆33Jul 2, 2019Updated 6 years ago
- System POSIX bindings for Idris.☆36Jan 5, 2019Updated 7 years ago
- Noise and World Generation library for Rust☆34Dec 2, 2022Updated 3 years ago
- A simple and lightweight Rust library for making iterator pipelines concurrent☆15May 18, 2019Updated 6 years ago
- HoTT proofs using experimental induction-induction (mostly about real numbers) (used to contain the HoTT.Classes proofs)☆17Dec 9, 2020Updated 5 years ago