dqi / ed25519_fpgaView external linksLinks
Exploring the Ed25519 (FPGA) design space.
☆18Nov 23, 2017Updated 8 years ago
Alternatives and similar repositories for ed25519_fpga
Users that are interested in ed25519_fpga are comparing it to the libraries listed below
Sorting:
- A Setup for creating a Public Key Infrastructure backed by a YubiHSM2☆15Sep 7, 2023Updated 2 years ago
- A .NET implementation of TEA, XTEA and XXTEA algorithm.☆17Oct 9, 2019Updated 6 years ago
- A naive verilog/systemverilog formatter☆21Mar 22, 2025Updated 10 months ago
- Documentation for PADAUK FPPA MCUs☆27Jul 1, 2024Updated last year
- EncryCore node reference implementation☆15Apr 2, 2020Updated 5 years ago
- GitHub Action for the Packer CLI☆12Updated this week
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- Unofficial mirror of sourceware binutils-gdb repository. Updated daily.☆11Mar 21, 2023Updated 2 years ago
- VHDL design for rotary encoder. Can be used accessed via digital signals or AXI interface.☆13Mar 24, 2017Updated 8 years ago
- The SSE SIMD-based LDPC decoder described in the article "Efficient GPU and CPU-based LDPC decoders for long codewords" ( http://link.spr…☆11Nov 10, 2014Updated 11 years ago
- 开源软件供应链点亮计划 - 暑期2020的主页代码。This repository is the homepage for Open Source Promotion Plan - Summer 2020 built with create-react-app.☆10Aug 28, 2024Updated last year
- Rapid system integration of high-level synthesis kernels using the LEAP FPGA framework☆12Apr 17, 2016Updated 9 years ago
- A Scala DSL (API) designed for monitoring event streams, such as for example log files. Based on data parameterized automata and temporal…☆11Dec 21, 2020Updated 5 years ago
- A general slow DDR3 interface. Very little resource consumption. Suits for all FPGAs with 1.5V IO voltage.☆11Dec 14, 2022Updated 3 years ago
- Notes for JNCIS-ENT studying.☆12Jun 23, 2020Updated 5 years ago
- Packages the canonical miniKanren implementation for CHICKEN Scheme (http://call-cc.org)☆11Dec 30, 2025Updated last month
- Easily upload files to your HTTP server and share them with your friends using a nice link.☆15Nov 13, 2020Updated 5 years ago
- Baremetal softwares for TrivialMIPS platform☆11Aug 12, 2019Updated 6 years ago
- ☆17Nov 21, 2020Updated 5 years ago
- VGA LCD Core (OpenCores)☆15May 22, 2018Updated 7 years ago
- Typesafe SDK for Revolut Business API https://www.revolut.com/it/business☆14Dec 6, 2022Updated 3 years ago
- A tool for parsing DMARC aggregate reports.☆11Nov 10, 2022Updated 3 years ago
- A min-sum LDPC decoder written in SystemVerilog (IEEE 1800-2012)☆11Jan 8, 2021Updated 5 years ago
- Manage your own Git server from the command line☆14May 18, 2018Updated 7 years ago
- Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…☆12Sep 27, 2021Updated 4 years ago
- minisatip for GXAPI☆13Nov 30, 2021Updated 4 years ago
- snacme - Minimal Python3 ACMEv2 client - letsencrypt☆11Apr 30, 2024Updated last year
- Tree-automata-based run-time type constraints for miniKanren☆14Aug 3, 2023Updated 2 years ago
- A Framework for building Distributed Consensus Protocols☆10Oct 13, 2017Updated 8 years ago
- Fast Bytecode Analysis☆15Jan 2, 2016Updated 10 years ago
- Antelope cryptography library for ECC, RSA and SHA-3☆10Mar 12, 2025Updated 11 months ago
- ☆14Feb 3, 2025Updated last year
- System FR: Formalized Foundations for Stainless☆12Feb 2, 2026Updated last week
- A simple kube-proxy addon for 1:1 NAT services in Kubernetes with NFT backend.☆17Jun 19, 2025Updated 7 months ago
- QR code 2005 encoder in Emacs Lisp☆10Feb 7, 2016Updated 10 years ago
- Datalog engine based on DuckDB☆10Mar 8, 2023Updated 2 years ago
- A wrapper around Minecraft Raspberry Pi to get it working on Novena☆10Sep 25, 2013Updated 12 years ago
- An implementation of Google QUIC transport layer protocol for the Akka toolkit.☆12Aug 8, 2022Updated 3 years ago
- Leightweigt, flexible and easily configurable OAuth2/OICD forward authentication service for use with traefik and nginx.☆13Nov 12, 2025Updated 3 months ago