Unofficial specification for GtkWave's FST digital waveform file format.
☆11Jan 23, 2026Updated 9 months ago
Alternatives and similar repositories for fst_spec
Users that are interested in fst_spec are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- RTLMeter benchmark suite☆34Updated this week
- A minimal, certified, executable HTTP server written in Coq☆11Mar 30, 2021Updated 5 years ago
- The Elements of Statistical Learning in Haskell☆13Nov 29, 2017Updated 8 years ago
- Verilog development and verification project for HOL4☆28Apr 25, 2025Updated last year
- wellen: waveform datastructures in Rust. Fast VCD, FST and GHW parsing for waveform viewers.☆147Oct 13, 2026Updated last week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Rust support for the open-source NEORV32 RISC-V microcontroller.☆14Feb 19, 2026Updated 8 months ago
- A Rust implementation of the posit number system☆32Dec 8, 2018Updated 7 years ago
- It was may. A tiny OS.☆10Apr 13, 2023Updated 3 years ago
- Non-local means denoising of multi-channel electrophysiology timeseries☆10May 24, 2021Updated 5 years ago
- N2O: Application Server☆14Nov 22, 2022Updated 3 years ago
- A highlight.js language grammar for the Lean theorem proving language.☆13Oct 7, 2026Updated 2 weeks ago
- Development of a real-time systems for read SpO2 and heart rate from a max30102 sensor with a ESP32-C3 microcontroller.☆10Mar 7, 2022Updated 4 years ago
- ☆118Aug 26, 2026Updated last month
- my terminal emulator, use it if you like☆20Oct 11, 2026Updated 2 weeks ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Zexium Virtual Machine (aka. ZexVM or ZVM)☆10Feb 20, 2018Updated 8 years ago
- Adds Switch's UI sounds to your keyboard presses.☆12Jun 23, 2022Updated 4 years ago
- A Sublime Text plugin that displays inline images for single-line comments formatted like `// `.☆12May 16, 2024Updated 2 years ago
- 📚 (WIP) Rewriting Software Foundations in Lean 4☆35Aug 4, 2026Updated 2 months ago
- ☆12Oct 17, 2026Updated last week
- An intermediate-to-senior Scala/Cats/cats-effect/http4s interview question I designed☆16May 29, 2025Updated last year
- private 1inch☆14Apr 23, 2023Updated 3 years ago
- 🚀 A command line bulk file renaming tool that works in concert with your favorite text editors☆13Mar 19, 2025Updated last year
- LSD-SLAM☆11Jan 10, 2016Updated 10 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 一款注重下载后体验的Pixiv下载器！高集成画廊，自动化任务，AI翻译！A pixiv downloader that prioritizes the post-download experience! Features include a highly integrate…☆33Updated this week
- Blockdiagramm is a graphical block design tool for IC design☆10Apr 22, 2023Updated 3 years ago
- ☆102Jul 22, 2026Updated 3 months ago
- An experimental hardware compiler☆14Aug 21, 2026Updated 2 months ago
- Mall-CMS-Vue3 是基于 Vue3、Pinia、VueRouter、Vite、ElementPlus、TypeScript、Echart5 等技术实现的后台管理系统。拥有系统总览（核心技术、商品统计）、系统管理（用户管理、部门管理、菜单管理、角色管理）、商品中心（…☆15Aug 14, 2023Updated 3 years ago
- Mall-CMS-Vue3-API 是基于 NodeJS、TypeScript 、Koa、MySQL 等技术实现的后台管理系统 API 。拥有系统总览（核心技术、商品统计）、系统管理（用户管理、部门管理、菜单管理、角色管理）、商品中心（商品分类、商品信息）、动态（动态主页…☆12May 12, 2023Updated 3 years ago
- ☆15Oct 15, 2026Updated last week
- VSCode extension to automatically start debug sessions☆13Aug 15, 2026Updated 2 months ago
- RISC-V instruction decoder written in Rust.☆17Dec 31, 2025Updated 9 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- convert CSV to pydantic.BaseModel and vice versa☆13Jul 5, 2024Updated 2 years ago
- Suite of tools for game developers building on MUD☆12Mar 13, 2024Updated 2 years ago
- SPI Protocol Driver for TI CC1101 based RF communication modules.☆10Oct 30, 2015Updated 10 years ago
- A simple tool for managing sets of environment variables☆19Dec 25, 2025Updated 10 months ago
- Example using mutliarch/crossbuild to build rust binaries for linux, macos, and windows☆14Jun 9, 2019Updated 7 years ago
- A coverage library for Chisel designs☆11Mar 12, 2020Updated 6 years ago
- Rust crate to extend io::Read & io::Write types with progress callbacks☆18Jul 25, 2019Updated 7 years ago