misprit7 / tiaraOSLinks
My hobby OS to test and learn about OS/kernel development.
☆13Updated 3 years ago
Alternatives and similar repositories for tiaraOS
Users that are interested in tiaraOS are comparing it to the libraries listed below
Sorting:
- A Python implementation of Garbled Circuits MPC protocol☆62Updated last year
- Cline-Resume is a TeX resume template inspired by the Deedy Resume and work by Damian Watracz☆26Updated 3 years ago
- Simple Minecraft/Voxel engine implementation in Rust using OpenGL☆25Updated 2 years ago
- Flight computer firmware for Whistler Blackcomb rocket.☆23Updated 3 years ago
- Paper and Demo Implementation of Paradoxical Compression with VDF☆175Updated 3 years ago
- A simple TUI to assist in diffing bodies of text☆15Updated last year
- ☆41Updated 3 years ago
- A tiny nearest-neighbor embedding database written in C☆19Updated 2 years ago
- DRAT proof processor☆16Updated 2 years ago
- Solutions to Stand Up Maths 5x5 Unique 25 letter problem☆130Updated 2 years ago
- LibTMCG is a free C++ library for creating secure and verifiable online card games☆23Updated 4 years ago
- Assembler and example programs for the CHUNGUS 2 Minecraft CPU.☆333Updated 4 years ago
- Official Foundry landing page☆17Updated 2 years ago
- An implementation of the Ethereum virtual machine in pure Zig.☆33Updated last year
- An instructional parallelized chess engine written in Golang. Starts simple, ends complex.☆18Updated 2 years ago
- One bot to rule them all...☆16Updated 2 months ago
- Semi-Classical Quantum Random Number Generator library written in C for cryptographic, simulation and generative AI applications with exa…☆66Updated 7 months ago
- A verbose CLI to probe go-ethereum data structures, built in rust.☆14Updated 2 years ago
- Uses magic (zk) to distribute gifts (rewards) to kids (validators)☆13Updated 8 months ago
- Simulating a modified Satoshi consensus (penalty system for delayed block submission) by Horizen to enhance protection against 51% attack…☆16Updated 5 years ago
- ☆14Updated last year
- Athena is a modern, practical language for proof engineering & natural deduction.☆78Updated 5 months ago
- Where I create DAS Nodes that utilize a Secure Kademlia DHT Discv5 overlay☆16Updated 2 years ago
- wall time exex for reth☆12Updated last year
- Implementation of a drand client in Rust☆30Updated last year
- Hutter Prize Submission☆14Updated 4 years ago
- Convergence verification of the Collatz problem☆73Updated 2 months ago
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆15Updated last year
- ☆12Updated 3 years ago
- Proactive refresh for accountable threshold signatures☆36Updated 2 years ago