belfortlabs / hello-fpgaView external linksLinks
Belfort FPGA acceleration for TFHE-rs; for demo use on AWS
☆23Dec 8, 2025Updated 2 months ago
Alternatives and similar repositories for hello-fpga
Users that are interested in hello-fpga are comparing it to the libraries listed below
Sorting:
- HiAE - A High-Throughput Authenticated Encryption Algorithm for Cross-Platform Efficiency.☆18Jan 8, 2026Updated last month
- A tiny, portable implementation of the IPCrypt specification in C.☆32Feb 3, 2026Updated last week
- Tiny, rough-and-ready quantum circuit simulator for exploring quantum networking and computing.☆34May 1, 2024Updated last year
- mini shell for esp32☆113Jan 28, 2026Updated 2 weeks ago
- Collection of Automated Reasoners☆35Dec 9, 2025Updated 2 months ago
- Multi-protocol exchange broker for IoT within the 5G-and-Beyond networks, and primary emphasis on scalability.☆12Jan 29, 2024Updated 2 years ago
- Tree-like pretty formatter for Zig☆39Mar 6, 2025Updated 11 months ago
- CrazyDiskInfo is an interactive TUI S.M.A.R.T viewer for Unix systems.☆10Aug 9, 2022Updated 3 years ago
- Proof-of-concept implementation for the paper "Homomorphic Encryption for Large Integers from Nested Residue Number Systems", presented a…☆27Jun 4, 2025Updated 8 months ago
- speeds up your Rust program's execution by "priming" memory pages from your binary☆13Aug 22, 2024Updated last year
- ☆11Nov 10, 2025Updated 3 months ago
- Minecraft Redstone Compiler☆13Feb 9, 2025Updated last year
- Sweetcher: For those who know the hell of enterprise proxies☆16Sep 6, 2024Updated last year
- Open Cryptanalysis Platform☆13Feb 7, 2026Updated last week
- A posixy shell implemented in Rust with minimal external dependencies.☆17Oct 24, 2025Updated 3 months ago
- WebRTCを使ってブラウザ間通信を行うオンセツール ユドナリウムの変更版ユドナリウムリリィです☆18Jan 22, 2026Updated 3 weeks ago
- A copy of the latest version of MVSIS☆12Apr 18, 2021Updated 4 years ago
- HELM: Navigating Homomorphic Encryption through Gates and Lookup Tables☆11Apr 7, 2025Updated 10 months ago
- Lecture notes, slides and code☆12Oct 29, 2024Updated last year
- ☆13Updated this week
- Rusty juv☆13Nov 7, 2024Updated last year
- Python WASI build.☆10Jan 3, 2024Updated 2 years ago
- tamper resistant audit log☆17Aug 30, 2018Updated 7 years ago
- Cross-platform Rust wrappers for the PCI ID Repository☆11Oct 3, 2025Updated 4 months ago
- Unix/Linux Programming in C course materials☆15Jan 5, 2026Updated last month
- Functions and proofs about game trees in Rocq, implemented as rose trees.☆12Dec 2, 2025Updated 2 months ago
- ☆25Updated this week
- work in progress, playing around with btor2 in rust☆12Feb 6, 2026Updated last week
- ☆11Jun 1, 2022Updated 3 years ago
- TCP Trafficgenerator and Proxy☆10Jan 8, 2026Updated last month
- I-D that describes the algorithm identifiers for NIST's PQC ML-DSA for use in the Internet X.509 Public Key Infrastructure☆14Oct 30, 2025Updated 3 months ago
- Learn the Design of a 6-stage pipelined RISC-V CPU☆17Oct 22, 2025Updated 3 months ago
- Collection of patches for nginx to run it as a Nanos unikernel☆11Sep 21, 2023Updated 2 years ago
- Type-level interpolations in various forms☆12Dec 14, 2024Updated last year
- ☆18Jun 6, 2025Updated 8 months ago
- Track previous changes on specific AD accounts (users, computers) and Groups (online DC), even if event logs were wiped/not collected (e.…☆16Feb 25, 2025Updated 11 months ago
- "fast" sqlite to parquet and csv converter☆30Nov 5, 2025Updated 3 months ago
- Toy QUIC implementation in Zig☆13Sep 4, 2024Updated last year
- A modular library for designing and optimising homomorphic encryption schemes☆22Feb 6, 2026Updated last week