vnermolaev / oblivious-state-machineView external linksLinks
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 2 years ago
- Miscellaneous Rust tutorials including: Rust Plugins☆25Jul 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
- Named arguments for Rust☆38Jun 6, 2017Updated 8 years ago
- Google chrome extension to convert alerts into gentle notifications☆15Jan 20, 2026Updated 3 weeks ago
- A simple minimax chess engine written in prolog☆11May 8, 2023Updated 2 years ago
- PowerShell Module for interacting with Redis caches☆14Jul 7, 2020Updated 5 years ago
- High-performance Rust port of Python's popular Rich library☆19Updated this week
- 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
- A haskell wrapper for neo4j's Cypher REST API.☆20Jul 31, 2012Updated 13 years ago
- A complete Pokemon generation 1 battle simulator including all Pokemon and moves.☆12Feb 17, 2024Updated last year
- Concurrent algorithms in Haskell using software transactional memory (STM monad)☆14Jan 5, 2023Updated 3 years ago
- Ratpack support for rxjava2☆11Dec 3, 2018Updated 7 years ago
- How to render a SwiftUI view on a Scene Kit plane☆12Dec 29, 2020Updated 5 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☆71Jan 18, 2026Updated 3 weeks ago
- ☆11Feb 18, 2025Updated 11 months ago
- purple garden is a lean scripting language designed for performance, with aggressive optimisations, JIT compilation, fine-grained memory …☆34Updated this week
- Tomato-rubato is an easy to use library for live audio programming in Haskell.☆30Aug 14, 2022Updated 3 years ago
- Lists, Texts, ByteStrings and Vectors with type-encoded length☆10Jul 11, 2021Updated 4 years ago
- Quickly create boilerplate projects and templates.☆13Jul 5, 2021Updated 4 years ago
- Notify Honeybadger about Haskell exceptions.☆12Jan 14, 2026Updated 3 weeks ago
- A Chinese friendly zola theme. Inspired by lightspeed.☆12Feb 10, 2025Updated last year
- Rose (n-way) trees with both upwards- (i.e. cached) and downwards-traveling (i.e. accumulating) monoidal annotations.☆16May 13, 2025Updated 9 months ago
- Манифест открытых игровых движков☆11Aug 1, 2021Updated 4 years ago
- nlp processing ( pos-tag, parsing , ner , coref resolution) using NLTK Stanford nlp☆10Jul 28, 2017Updated 8 years ago
- In-Memory Java Compiler☆12Oct 13, 2020Updated 5 years ago
- Beacon is a small event and logging framework for pharo☆15Aug 14, 2025Updated 5 months ago
- FeRTOS is a simple "operating system" that currently supports ARM Cortex-M CPUs☆13Jul 9, 2022Updated 3 years ago
- Code repository for blog article series https://nixcademy.com/2023/10/31/cpp-with-nix-in-2023-part-1-shell/☆11Jan 11, 2024Updated 2 years ago
- Official EMU145 repository. Emulator of soviet 145ik13.☆13Oct 1, 2021Updated 4 years ago
- Helper crate to write auto splitters for LiveSplit One's auto splitting runtime.☆12Jan 31, 2026Updated last week
- GStreamer plugin for Cedar hardware encoding☆16Jul 26, 2014Updated 11 years ago
- Advanced Mastra AI coding agent with secure sandbox execution, comprehensive file management, and multi-language support for Python, Java…☆31Jan 23, 2026Updated 3 weeks ago
- Package wifiqr implements support for generating WiFi QR codes. MIT Licensed.☆13Oct 1, 2024Updated last year
- Servant based API and server for token based authorisation☆14Sep 21, 2019Updated 6 years ago