Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for haskell risc v
haskell
x
risc-v
x
5 search results found
Lion
⭐
239
Where Lions Roam: RISC-V on the VELDT
Riscv Semantics
⭐
136
A formal semantics of the RISC-V ISA in Haskell
Riscvspecformal
⭐
58
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 model can be output as Verilog and simulated/synthesized using standard Verilog tools.
Grift
⭐
51
Galois RISC-V ISA Formal Tools
Clash Riscv
⭐
30
A RiscV processor implementing the RV32I instruction set written in Clash
Violet
⭐
23
Superscalar RISC-V processor written in Clash.
Simtight
⭐
21
CHERI-enabled GPGPU
Rv32 Sail
⭐
11
32-bit RISC-V Emulator
Pebbles
⭐
6
RISC-V processor framework with plugable pipelines
Related Searches
Haskell Ghc (1,289)
Types Haskell (1,028)
Language Haskell (853)
Haskell Functional Programming (811)
Haskell Monad (681)
Haskell Hackage (574)
Haskell Stack (554)
Haskell Programming (549)
Haskell Bindings (444)
Javascript Haskell (398)
1-5 of 5 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.