☆20Mar 17, 2023Updated 3 years ago
Alternatives and similar repositories for lc4-labs
Users that are interested in lc4-labs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- CIS 6700, Spring 2023☆19Feb 15, 2023Updated 3 years ago
- Autonomous Theorem Prover for First Order Predicate Logic☆12Jun 29, 2020Updated 6 years ago
- 基于FPGA的FFT算法并行优化☆13Mar 7, 2024Updated 2 years ago
- An alternative Vivado custom design example (to fully Vitis) for the User Logic Partition targeting VCK5000☆14Jul 16, 2024Updated 2 years ago
- 32位单精度浮点数加法器和除法器是用于执行符合IEEE 754标准的浮点数加法、除法运算的数字电路。这样的电路设计在现代计算机系统中扮演着重要角色，特别是在处理需要高精度计算的任务时。这个小项目实现了一个符合IEEE 754 单精度浮点数标准（32 位）的浮点数加法器与除法…☆15Aug 14, 2025Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- An Agile RISC-V SoC Design Framework with in-order cores, out-of-order cores, accelerators, and more☆12Aug 7, 2024Updated 2 years ago
- Untitled PL Card Game☆20Apr 15, 2021Updated 5 years ago
- ☆12May 19, 2022Updated 4 years ago
- 一个基于AXI接口的PL端卷积加速器，可由PS端调用☆12Apr 15, 2023Updated 3 years ago
- Efficient Sampling of SAT Solutions for Testing☆34Sep 20, 2019Updated 7 years ago
- MIT 6.824: Distributed Systems☆11Aug 21, 2021Updated 5 years ago
- TFHE is a popular algorithm for homomorphic encryption. Staring with a C/C++ specification of TFHE to be provided, This project rewrite t…☆21May 27, 2024Updated 2 years ago
- FPT: a Fixed-Point Accelerator for Torus Fully Homomorphic Encryption☆30Sep 2, 2025Updated last year
- ☆28Sep 27, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆26Feb 20, 2024Updated 2 years ago
- 哈尔滨工业大学（深圳）2021年球季学期深度学习体系结构实验☆17Oct 1, 2022Updated 3 years ago
- C++万能客户端。Http Client、Redis Client、MySQL Client、Kafka Client。极致高性能。线程安全、自带连接池、自带线程池。全异步工作模式，支持异步回调、半同步future、同步等待三套接口。可以模仿现有client开发自定义协议。☆18Aug 6, 2020Updated 6 years ago
- ObjectScript samples for use with the ObjectScript tutorial. Meant for use with InterSystems IRIS Data Platform.☆18Sep 1, 2023Updated 3 years ago
- Simple examples for FPGA design using Vivado HLS for high level synthesis and Vivado for bitstream generation.☆31Apr 28, 2020Updated 6 years ago
- ☆34Jul 12, 2022Updated 4 years ago
- A homomorphic encryption accelerator for fast matrix-vector product☆33Sep 5, 2023Updated 3 years ago
- CIS 501: Computer Architecture Fall 2019☆22Apr 21, 2020Updated 6 years ago
- A Commitment Scheme library for Coin Flipping/Tossing algorithms and sort.☆11Apr 12, 2023Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A low power platform based on X-HEEP and integrating the ESL-CGRA☆22Nov 12, 2025Updated 10 months ago
- ☆31May 15, 2020Updated 6 years ago
- OpenNTT is a standalone tool to automatically generate NTT and FFT hardware accelerators☆35Sep 18, 2026Updated last week
- Static Analyzer and Verifier☆53Oct 12, 2024Updated last year
- ☆41Aug 1, 2024Updated 2 years ago
- ☆50Aug 21, 2024Updated 2 years ago
- Secure Logistic Regression based on Homomorphic Encryption☆42Aug 2, 2019Updated 7 years ago
- Source code for the paper "Transformer-based Language Models and Homomorphic Encryption: an intersection with BERT-tiny"☆35Oct 25, 2025Updated 11 months ago
- Homomorphic matrix computation☆43Aug 7, 2019Updated 7 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A research shell for Alveo V80☆47Updated this week
- Step-by-step tutorials for learning drone development with PX4, ROS 2, and Gazebo simulation. From basic setup to camera integration and …☆28Mar 26, 2025Updated last year
- GAMES102_Assignment☆27Sep 18, 2021Updated 5 years ago
- An Implementation of the Number Theoretic Transform☆54Aug 23, 2023Updated 3 years ago
- Advanced Topics in Programming Languages, Penn CIS 670, Fall 2016☆42Oct 25, 2022Updated 3 years ago
- Modern & lightweight implementation of bitcoin standards without rust-bitcoin/miniscript dependencies☆17Jul 20, 2025Updated last year
- Protobufs for functional programming☆10May 19, 2025Updated last year