Compiling finite generators to digital logic. WIP
☆13Aug 24, 2020Updated 5 years ago
Alternatives and similar repositories for finlog
Users that are interested in finlog are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A hand-written recursive decent Verilog parser.☆10Jan 30, 2026Updated 2 months ago
- RV32I by cats☆15Sep 4, 2023Updated 2 years ago
- Compile Time RapidJSON: A compile time C++ header only JSON library without bloating yet another hand-crafted JSON parser based on RapidJ…☆14Jun 29, 2020Updated 5 years ago
- A four-10gbe-port dual-stack router with IPv4 and IPv6 translation support.☆30May 14, 2020Updated 5 years ago
- Convert shared libraries into relocatable objects☆10Dec 23, 2023Updated 2 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- A router IP written in Verilog.☆12Dec 20, 2019Updated 6 years ago
- Yet Another AsYnc runtime for RuSt.☆33Feb 1, 2020Updated 6 years ago
- PKU CompNet'19 Lab 2 - Homebrew TCP☆12Nov 29, 2019Updated 6 years ago
- HERMES: sHallow dirEctory stRucture Many-filE fileSystem☆20Jun 9, 2019Updated 6 years ago
- Relaxed Rust (for cats)☆14Nov 20, 2019Updated 6 years ago
- Implements kernels with RISC-V Vector☆22Mar 24, 2023Updated 3 years ago
- A superscalar RISC-V CPU with out-of-order execution and multi-core support☆61Feb 17, 2022Updated 4 years ago
- A simple gitlab/github web hooks daemon☆16Feb 6, 2026Updated 2 months ago
- A naive verilog/systemverilog formatter☆21Apr 2, 2026Updated last week
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- A simple USB to UART board designed with KiCad.☆14May 4, 2023Updated 2 years ago
- Lower chisel memories to SRAM macros☆13Mar 25, 2024Updated 2 years ago
- ☆20Dec 11, 2024Updated last year
- An advanced cross-platform serial port utility☆27Dec 28, 2025Updated 3 months ago
- A hardware accelerated IP packet forwarder running on programmable ICs☆15Jan 21, 2023Updated 3 years ago
- THU compiler principle course homework, written in rust. (this is not the pa framework)☆13Dec 24, 2018Updated 7 years ago
- Labs for Network Principle course, Fall 2018, Tsinghua University☆18Jun 6, 2019Updated 6 years ago
- ☆18Mar 27, 2026Updated 2 weeks ago
- Convert regex(es) to dfa.☆14Apr 30, 2021Updated 4 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Backend & Frontend for JieLabs☆22Mar 3, 2023Updated 3 years ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17May 10, 2022Updated 3 years ago
- An SoC with multiple RISC-V IMA processors.☆19Aug 1, 2018Updated 7 years ago
- Subscribe to updates from people you follow, from any platform to any platform☆14Mar 14, 2026Updated 3 weeks ago
- A simple linq library for C++.☆19Jan 9, 2022Updated 4 years ago
- Let's discover a new world. — Edit☆10Jan 6, 2017Updated 9 years ago
- Binary translation in Rust☆12Jun 22, 2020Updated 5 years ago
- Meta-theory and normalization for Fitch-style modal lambda calculi☆19May 27, 2024Updated last year
- antifunext☆41Jun 27, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- a tutorial implementation on an elaborator of a dependently typed language with pruning☆27Oct 20, 2022Updated 3 years ago
- RISC-V-based many-core neuromorphic architecture☆16Aug 3, 2025Updated 8 months ago
- Warning: 🕳 ahead!☆16Jan 8, 2020Updated 6 years ago
- Project template for Artix-7 based Thinpad board☆52Sep 13, 2025Updated 6 months ago
- The cold linker☆72Dec 31, 2025Updated 3 months ago
- Generate graphviz dot files from InfiniBand topology dumps.☆16Feb 11, 2024Updated 2 years ago
- A database management system implemented in Rust from scratch.☆21Jul 24, 2021Updated 4 years ago