cucapra / filament

Related projects ⓘ

Alternatives and complementary repositories for filament

• calyxir / calyx
  Intermediate Language (IL) for Hardware Accelerator Generators
  ☆496Updated this week
• mit-plv / koika
  A core language for rule-based hardware design 🦑
  ☆140Updated 3 weeks ago
• fabianschuiki / moore
  A hardware compiler based on LLHD and CIRCT
  ☆247Updated last year
• fabianschuiki / llhd
  Low Level Hardware Description — A foundation for building hardware design tools.
  ☆394Updated 2 years ago
• yupferris / kaze
  An HDL embedded in Rust.
  ☆194Updated 11 months ago
• cucapra / dahlia
  Time-sensitive affine types for predictable hardware generation
  ☆134Updated 3 months ago
• veryl-lang / veryl
  Veryl: A Modern Hardware Description Language
  ☆505Updated this week
• gsmecher / minimax
  Minimax: a Compressed-First, Microcoded RISC-V CPU
  ☆203Updated 6 months ago
• oxidecomputer / cobalt
  A collection of common Bluespec interfaces/modules.
  ☆96Updated 6 months ago
• djg / verilated-rs
  Verilator Porcelain
  ☆37Updated last year
• riscv / riscv-j-extension
  Working Draft of the RISC-V J Extension Specification
  ☆167Updated 3 weeks ago
• rsnikhil / Learn_Bluespec_and_RISCV_Design
  Textbook and full source codes to learn basics of RISC-V pipelined CPU design using the Bluespec Hardware Design Language(s)
  ☆53Updated last month
• standardsemiconductor / lion
  Where Lions Roam: RISC-V on the VELDT
  ☆249Updated 3 months ago
• fabianschuiki / llhd-sim
  The LLHD reference simulator.
  ☆36Updated 4 years ago
• rems-project / sail
  Sail architecture definition language
  ☆615Updated this week
• fischermoseley / manta
  A configurable and approachable tool for FPGA debugging and rapid prototyping.
  ☆109Updated this week
• pulp-platform / bender
  A dependency management tool for hardware projects.
  ☆246Updated 2 weeks ago
• sifive / wake
  The SiFive wake build tool
  ☆86Updated this week
• pc2 / sus-compiler
  A new Hardware Design Language that keeps you in the driver's seat
  ☆67Updated this week
• mosscomp / moss
  A computer for human beings.
  ☆42Updated this week
• samitbasu / rhdl
  A Hardware Description Language based on the Rust Programming Language
  ☆139Updated this week
• zeroasiccorp / logik
  A configurable RTL to bitstream FPGA toolchain
  ☆256Updated this week
• riscv / sail-riscv
  Sail RISC-V model
  ☆456Updated this week
• lachlansneff / ligeia
  A replacement for gtkwave, written in Rust with high-performance and larger-than-memory traces in mind.
  ☆19Updated 2 years ago
• sifive / Kami
  Kami - a DSL for designing Hardware in Coq, and the associated semantics and theorems for proving its correctness. Kami is inspired by Bl…
  ☆197Updated 4 years ago
• mit-plv / kami
  A Platform for High-Level Parametric Hardware Specification and its Modular Verification
  ☆142Updated last month
• B-Lang-org / Documentation
  Main page
  ☆30Updated 4 years ago
• kevinmehall / rust-vcd
  Read and write VCD (Value Change Dump) files in Rust
  ☆41Updated 8 months ago
• rsnikhil / ICFP2020_Bluespec_Tutorial
  Tutorial on hardware design using Bluespec BH (Bluespec Classic) for Haskell programmers at ACM ICFP 2020 conference
  ☆66Updated last year
• BSVLang / Main
  Main page
  ☆126Updated 4 years ago