Belfort FPGA acceleration for TFHE-rs; for demo use on AWS
☆23Mar 4, 2026Updated this week
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 2 months ago
- A tiny, portable implementation of the IPCrypt specification in C.☆32Feb 3, 2026Updated last month
- Tiny, rough-and-ready quantum circuit simulator for exploring quantum networking and computing.☆34May 1, 2024Updated last year
- Collection of Automated Reasoners☆35Dec 9, 2025Updated 3 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
- mini shell for esp32☆128Feb 19, 2026Updated 2 weeks ago
- Tree-like pretty formatter for Zig☆39Mar 6, 2025Updated last year
- Proof-of-concept implementation for the paper "Homomorphic Encryption for Large Integers from Nested Residue Number Systems", presented a…☆27Jun 4, 2025Updated 9 months ago
- A posixy shell implemented in Rust with minimal external dependencies.☆18Oct 24, 2025Updated 4 months ago
- Open Cryptanalysis Platform☆13Feb 7, 2026Updated last month
- ☆11Nov 10, 2025Updated 3 months ago
- Sweetcher: For those who know the hell of enterprise proxies☆16Sep 6, 2024Updated last year
- Analyze experimental data with Programming by Navigation☆17Updated this week
- CrazyDiskInfo is an interactive TUI S.M.A.R.T viewer for Unix systems.☆10Aug 9, 2022Updated 3 years ago
- WebRTCを使ってブラウザ間通信を行うオンセツール ユドナリウムの変更版ユドナリウムリリィです☆18Jan 22, 2026Updated last month
- HELM: Navigating Homomorphic Encryption through Gates and Lookup Tables☆11Apr 7, 2025Updated 11 months ago
- ☆13Mar 2, 2026Updated last week
- ☆16Nov 8, 2024Updated last year
- Minecraft Redstone Compiler☆14Feb 9, 2025Updated last year
- A copy of the latest version of MVSIS☆12Apr 18, 2021Updated 4 years ago
- Universal/Uniform Backup Tool☆16Feb 28, 2026Updated last week
- A milter that performs DKIM and ARC signatures.☆10Jan 23, 2026Updated last month
- speeds up your Rust program's execution by "priming" memory pages from your binary☆13Aug 22, 2024Updated last year
- TCP Trafficgenerator and Proxy☆11Jan 8, 2026Updated 2 months ago
- The first version of the Samsung Internet Developer Advocacy dashboard - the new one is on Glitch here: https://glitch.com/~samsung-inter…☆11Nov 2, 2018Updated 7 years ago
- Python WASI build.☆10Jan 3, 2024Updated 2 years ago
- Learn the Design of a 6-stage pipelined RISC-V CPU☆17Oct 22, 2025Updated 4 months ago
- ☆15Aug 28, 2025Updated 6 months ago
- 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 4 months ago
- Use Gleam inside an Elixir project with good developer experience in both codebases☆13Feb 13, 2025Updated last year
- Unix/Linux Programming in C course materials☆15Jan 5, 2026Updated 2 months ago
- ☆26Updated this week
- A Visual Studio Code extension for the Expert language server.☆39Updated this week
- Async TLS (Secure Socket) for the Tardy runtime☆13Mar 12, 2025Updated 11 months ago
- Collection of patches for nginx to run it as a Nanos unikernel☆11Sep 21, 2023Updated 2 years ago
- ☆11Jun 1, 2022Updated 3 years ago
- Common MPC Pitfalls☆12Feb 14, 2026Updated 3 weeks ago
- work in progress, playing around with btor2 in rust☆12Feb 24, 2026Updated last week
- ☆10Sep 12, 2025Updated 5 months ago