ShakeFlow: Functional Hardware Description with Latency-Insensitive Interface Combinators (ASPLOS 2023)
☆57Jan 23, 2025Updated last year
Alternatives and similar repositories for shakeflow
Users that are interested in shakeflow are comparing it to the libraries listed below
Sorting:
- ☆19Nov 5, 2023Updated 2 years ago
- ☆45Nov 20, 2024Updated last year
- ☆22Feb 25, 2026Updated last week
- Memento: A Framework for Detectable Recoverability in Persistent Memory (PLDI 2023)☆19Apr 27, 2023Updated 2 years ago
- High level synthesis language for hardware design☆80Updated this week
- Bi-directional record in type-safe way☆17Sep 26, 2024Updated last year
- discord to irc bridge☆24Feb 24, 2026Updated last week
- ☆75Nov 21, 2024Updated last year
- CIRC: Concurrent Immediate Reference Counting☆55Nov 15, 2024Updated last year
- ☆23Apr 1, 2021Updated 4 years ago
- libghwp is a GObject based library for handling HWP documents. (NOT maintained. DO NOT PR)☆23Jul 6, 2018Updated 7 years ago
- KAIST CS420: Compiler Design☆553Apr 3, 2025Updated 11 months ago
- ☆135Apr 3, 2023Updated 2 years ago
- ☆16Oct 25, 2022Updated 3 years ago
- A Hardware Pipeline Description Language☆57Jul 12, 2025Updated 7 months ago
- 키사이닝 파티(Keysigning Party) 운영에 필요한 문서와 도구 모음☆18Aug 3, 2025Updated 7 months ago
- XIM protocol parser and handler in Rust☆23Oct 18, 2025Updated 4 months ago
- 하스켈 모임 웹사이트 소스 코드☆16Dec 8, 2021Updated 4 years ago
- Papers, Posters, Presentations, Documentation...☆19Jan 9, 2024Updated 2 years ago
- Transform tagged Markdown string to HTML during build time.☆24May 22, 2023Updated 2 years ago
- My code snippets☆38Sep 30, 2025Updated 5 months ago
- pretty JSON schema definition language☆24Jun 25, 2016Updated 9 years ago
- ☆12Feb 4, 2024Updated 2 years ago
- LEC - Logic Equivalence Checking - Formal Verification☆33Updated this week
- Let's learn GlueSQL 🎱☆13Apr 29, 2023Updated 2 years ago
- ☆294Nov 27, 2024Updated last year
- ☆16Jan 25, 2026Updated last month
- WSL SDK COM Module (Out-of-Process Type)☆13Jan 15, 2025Updated last year
- Native Rust implementation of the FST waveform format from GTKWave.☆13Jan 20, 2026Updated last month
- Moved to https://github.com/dudykr/ddbase☆16Dec 14, 2023Updated 2 years ago
- HeteroRefactor: Refactoring for Heterogeneous Computing with FPGA☆10Aug 14, 2025Updated 6 months ago
- ☆62Feb 11, 2026Updated 3 weeks ago
- 📝 A Rocq library written by members of PnV Discord Server☆19Updated this week
- Record and Replay for WebAssembly☆35Feb 14, 2026Updated 2 weeks ago
- Tutorial for refinement based verification☆15Jan 16, 2026Updated last month
- Reticle evaluation (PLDI 2021)☆12Apr 12, 2021Updated 4 years ago
- ☆10Nov 20, 2023Updated 2 years ago
- ☆13Aug 23, 2022Updated 3 years ago
- JEST: N+1-version Differential Testing of Both JavaScript Engines☆14Jun 1, 2021Updated 4 years ago