REST API for any Postgres database

The Haskell Tool Stack

lamdu - towards the next generation IDE

Haskell to VHDL/Verilog/SystemVerilog compiler

The RiscvSpecKami package provides SiFive's RISC-V processor model. Built using Coq, this processor model can be used for simulation, model checking, and semantics analysis. The RISC-V processor mo…