Oblivious state machine
☆17Jan 12, 2024Updated 2 years ago
Alternatives and similar repositories for oblivious-state-machine
Users that are interested in oblivious-state-machine are comparing it to the libraries listed below
Sorting:
- A disassembler framework☆19Sep 16, 2022Updated 3 years ago
- Rust UML parser library☆20Jun 24, 2021Updated 4 years ago
- ☆20Mar 1, 2023Updated 3 years ago
- [Experiment] Real Time for The Masses on Linux☆27Jul 11, 2019Updated 6 years ago
- Miscellaneous Rust tutorials including: Rust Plugins☆27Jul 23, 2019Updated 6 years ago
- Swipe is a code generation tool that automates the creation of repetitively used code☆12Nov 10, 2022Updated 3 years ago
- Rust actor library with a bit of inspiration from Akka/Pykka☆46Jan 14, 2021Updated 5 years ago
- build static rust position-independant-executables without any runtime requirements (no libc or ldso)☆42May 1, 2018Updated 7 years ago
- Named arguments for Rust☆38Jun 6, 2017Updated 8 years ago
- The Luhn algorithm is a simple checksum formula used to validate a variety of identification numbers, such as credit card numbers, IMEI n…☆10Dec 4, 2017Updated 8 years ago
- PowerShell Module for interacting with Redis caches☆14Jul 7, 2020Updated 5 years ago
- Distributed lock backed by Dynamodb☆11Dec 7, 2023Updated 2 years ago
- Automatically updating projects.json files from raku ecosystems☆11Mar 3, 2023Updated 3 years ago
- High-performance Rust port of Python's popular Rich library☆21Feb 22, 2026Updated last week
- A haskell wrapper for neo4j's Cypher REST API.☆20Jul 31, 2012Updated 13 years ago
- An simplest PE parser, which list all import and export entries☆12Oct 11, 2018Updated 7 years ago
- Concurrent algorithms in Haskell using software transactional memory (STM monad)☆14Jan 5, 2023Updated 3 years ago
- A complete Pokemon generation 1 battle simulator including all Pokemon and moves.☆12Feb 17, 2024Updated 2 years ago
- A simple minimax chess engine written in prolog☆11May 8, 2023Updated 2 years ago
- Rust implementation of prolog based on miniprolog: http://andrej.com/plzoo/html/miniprolog.html☆82Aug 28, 2020Updated 5 years ago
- bitfields implementation for rust☆72Jan 18, 2026Updated last month
- Sample code for ICS security blog posts☆19Dec 2, 2012Updated 13 years ago
- ☆11Feb 18, 2025Updated last year
- Lists, Texts, ByteStrings and Vectors with type-encoded length☆10Jul 11, 2021Updated 4 years ago
- ☆11Sep 11, 2018Updated 7 years ago
- Hybrid vectors e.g. mixed boxed/unboxed vectors that are suitable for use with vector-algorithms☆14Aug 29, 2025Updated 6 months ago
- Quickly create boilerplate projects and templates.☆13Jul 5, 2021Updated 4 years ago
- Declarative, Compositional Url Handling for WAI☆10Sep 28, 2023Updated 2 years ago
- ☆12May 17, 2021Updated 4 years ago
- minttp is an experiment to see if I could create a simple and minimal HTTP library without any dependencies.☆11Jan 5, 2018Updated 8 years ago
- Official EMU145 repository. Emulator of soviet 145ik13.☆13Oct 1, 2021Updated 4 years ago
- Can I Standardize?☆13Mar 15, 2018Updated 7 years ago
- A library to retrieve JEP106 manufacturer strings in Rust.☆12May 7, 2025Updated 9 months ago
- MTProto [de]serialization for Rust☆12May 20, 2019Updated 6 years ago
- A small configuration library written in Haskell☆18Oct 12, 2019Updated 6 years ago
- Rose (n-way) trees with both upwards- (i.e. cached) and downwards-traveling (i.e. accumulating) monoidal annotations.☆16May 13, 2025Updated 9 months ago
- Concurrency features for the Haskell machines package☆16Mar 11, 2022Updated 3 years ago
- Манифест открытых игровых движков☆11Aug 1, 2021Updated 4 years ago
- abstraction for auto scrubbing and const time Eq, memory chunk☆17Feb 15, 2020Updated 6 years ago