A spicy hardware description language with dependent types
☆17Sep 25, 2022Updated 4 years ago
Alternatives and similar repositories for toatie
Users that are interested in toatie are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Rust wrapper for VPI☆12Oct 8, 2026Updated last month
- Functional static content generator for Nix https://static-nix.github.io/styx-site/☆10May 25, 2020Updated 6 years ago
- A Binary Ninja plugin providing a set of BinaryViews for loading Motorola SREC, Intel HEX, and TI-TXT "hex" files☆10Sep 5, 2024Updated 2 years ago
- Nix flake for more up-to-date versions of EDA tools☆35Updated this week
- KMS and CUSE based userspace /dev/tty?? device implementation☆15Aug 24, 2012Updated 14 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.
- The LLVM Project in your Browser☆22Oct 12, 2026Updated 3 weeks ago
- A special-purpose processor for pure, non-strict functional languages☆36Sep 21, 2026Updated last month
- Arty FPGA board starter project☆12Sep 13, 2022Updated 4 years ago
- A PYNQ overlay demonstrating the Xilinx RFSoC SD-FEC☆13Sep 23, 2026Updated last month
- I played the Scotland Yard board game (a search-evasion graph game), found it unbalanced, and thought it'd be fun to write a tool to help…☆11Jan 5, 2010Updated 16 years ago
- Collections Library for Adapton, in Rust☆14Sep 1, 2017Updated 9 years ago
- ☆16Aug 21, 2019Updated 7 years ago
- PYNQ example of using the RFSoC as a QPSK transceiver.☆122Oct 28, 2026Updated 2 weeks ago
- ☆16Aug 27, 2026Updated 2 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Tiny experimental kernel written in Rust and x86 assembler.☆11Oct 11, 2018Updated 8 years ago
- A patch on the original xf86-video-cube.☆10Mar 1, 2014Updated 12 years ago
- A sampling profiler as a library☆14Sep 4, 2020Updated 6 years ago
- ☆15Oct 21, 2020Updated 6 years ago
- Whisk: 16-bit serial processor for TT02☆13Sep 30, 2024Updated 2 years ago
- ☆14Aug 17, 2026Updated 2 months ago
- Category Theory☆19Oct 24, 2018Updated 8 years ago
- Small .gbs chiptune player for Linux☆24Jul 14, 2022Updated 4 years ago
- ☆10Aug 9, 2026Updated 3 months 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.
- ☆19Jun 22, 2026Updated 4 months ago
- ReStructured Object Notation☆21Feb 3, 2022Updated 4 years ago
- ☆15Jul 26, 2024Updated 2 years ago
- ☆12Updated this week
- 自分用ビルドスクリプト集☆11Oct 11, 2026Updated last month
- My Blog☆18Updated this week
- RISCV Core written in Calyx☆17Aug 16, 2024Updated 2 years ago
- Config editing tools for the Nikon Z system.☆13Apr 19, 2021Updated 5 years ago
- ☆33Mar 2, 2021Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆10Jan 11, 2019Updated 7 years ago
- Sticky sticky PCI☆10Oct 25, 2018Updated 8 years ago
- Compile time checks that a computation considers producing data through all possible constructors☆11Sep 19, 2019Updated 7 years ago
- A library for programming iCE40 FPGA from Lattice Semi☆13Jun 2, 2026Updated 5 months ago
- An evolving collection of Oleg Kiselyov's Haskell modules (released with his permission). See the original articles at http://okmij.org/…☆13Jan 5, 2014Updated 12 years ago
- ☆16Oct 5, 2021Updated 5 years ago
- ☆40Oct 28, 2026Updated 2 weeks ago
Are these results useful?