☆25Feb 26, 2026Updated this week
Alternatives and similar repositories for bittide-hardware
Users that are interested in bittide-hardware are comparing it to the libraries listed below
Sorting:
- GHC plugin to add eventlog tracing for foreign function calls☆16Jan 14, 2025Updated last year
- Interactive Theorem Proving for students☆21Aug 26, 2023Updated 2 years ago
- a battery-included library for dataflow protocols☆24Feb 23, 2026Updated last week
- Inspecting tool for GHC compilation pipeline☆33Sep 17, 2025Updated 5 months ago
- Extism Haskell Host SDK - easily run WebAssembly modules / plugins from Haskell applications☆11Dec 3, 2024Updated last year
- GHC plugin for hlint☆11Oct 4, 2023Updated 2 years ago
- Split integers into digits, blazingly fast☆14Dec 28, 2025Updated 2 months ago
- ☆11May 7, 2023Updated 2 years ago
- Modern bindings to Oracle odpic☆12Oct 26, 2025Updated 4 months ago
- Communicate with Erlang node from Haskell☆13Mar 14, 2021Updated 4 years ago
- A Haskell library for building Slack apps in Socket Mode☆15Oct 23, 2023Updated 2 years ago
- A virtual memory scanner☆10Jan 2, 2024Updated 2 years ago
- ☆58Feb 8, 2026Updated 3 weeks ago
- Dump the declarations of Haskell modules☆18Dec 15, 2025Updated 2 months ago
- A verified Implementation of a mini prolog☆17Nov 27, 2022Updated 3 years ago
- CV32E40X Design-Verification environment☆16Mar 25, 2024Updated last year
- Automatic re-connection support for PostgreSQL.☆15Aug 12, 2021Updated 4 years ago
- Retro Pacman game in Haskell☆15May 9, 2019Updated 6 years ago
- Infinite lists aka streams☆18Dec 19, 2025Updated 2 months ago
- symbolic reachability checker☆23Sep 23, 2021Updated 4 years ago
- Bindings to libsodium for Haskell☆38Jan 1, 2026Updated 2 months ago
- Ghengin: A vulkan-based, shader-centric, type-heavy, Haskell game engine☆78Feb 24, 2026Updated last week
- ☆20May 22, 2023Updated 2 years ago
- An implementation of the actor model in Haskell using STM☆17Feb 25, 2026Updated last week
- Benchmark a given function for variable input sizes and find out its time complexity☆25Dec 26, 2025Updated 2 months ago
- Alternative Core language for GHC plugins☆39Feb 15, 2016Updated 10 years ago
- A command line tool that leverages GHC API for generation of etags (Emacs) and ctags (Vim, VSCode with ctagsx etc.) for efficient code na…☆22Nov 19, 2025Updated 3 months ago
- A Teeny Type Theory☆27Jun 4, 2022Updated 3 years ago
- An interface for GHC type-checking plugins☆21Jan 14, 2026Updated last month
- A special-purpose processor for pure, non-strict functional languages☆31Feb 17, 2026Updated 2 weeks ago
- Pulp virtual platform☆24Jul 16, 2025Updated 7 months ago
- ☆31Updated this week
- Minecraft clone in haskell focussed on performance.☆26Jun 16, 2024Updated last year
- Run SPEC CPU2006 on Linux with either an Intel, ARM, or PowerPC processors.☆26Apr 25, 2018Updated 7 years ago
- A type-level, statically-verified Haskell embedded domain specific language (EDSL) for writing guitar tablature.☆26Jul 9, 2022Updated 3 years ago
- Normalization by Evaluation for Embedded Domain-specific Languages☆31Oct 31, 2024Updated last year
- The game of Notakto, made in Haskell with Apecs and Raylib☆26Sep 12, 2025Updated 5 months ago
- GHC plugin for open telemetry☆27Jun 5, 2025Updated 8 months ago
- Examples for Streamly☆30Sep 20, 2025Updated 5 months ago