koika
by mit-plv
A core language for rule-based hardware design 🦑
AI summary
Hardware design language
A formal language for designing and verifying rule-based hardware systems
- stars
- 143
- forks
- 11
- watching
- 24
Similar projects
Found by comparing what the projects do, not just their names.
Hardware specification platform
A platform for high-level parametric hardware specification and modular verification
Compiler toolkit
A toolkit for compiling functional programs into imperative code for performance-critical applications
sifive/kami198
Hardware designer
A Coq-based DSL for designing and verifying hardware systems
Data type synthesizer
A Coq-based library for synthesizing correct-by-construction abstract data types and parsers from formal specifications
Program verifier
Automated verification of higher-order programs using separation logic
Processor simulator
Formal verification and implementation of RISC-V processor designs using Coq.
Circuit description language
An intermediate representation language and simulator for digital circuit descriptions, aiming to simplify the development of EDA tools.
Coq utility library
A collection of reusable tools and utilities for working with the Coq proof assistant
RISC-V spec
An implementation of the RISC-V instruction set specification in Coq
RISC-V semantics
A formal specification of the RISC-V instruction set architecture in Haskell
vlsi-eda/poc554
Hardware library
Provides VHDL implementations of common hardware functions and a Python-based infrastructure for simulation and synthesis.
Hardware description tool
A Ruby language and framework for designing and describing digital hardware systems
Compiler
A Haskell-based compiler for hardware description languages like VHDL, Verilog, and SystemVerilog.
Compiler
A compiler for a toy language based on LLVM that implements the System Fω type-system
Verification engine
Creating a programming language and ecosystem to make formal verification and provably correct software development practical and mainstream for working software engineers.
