-
riscv-rust Public
Forked from takahirox/riscv-rustRISC-V processor emulator written in Rust+WASM
Rust MIT License UpdatedApr 6, 2023 -
bazel_rules_hdl Public
Forked from hdl/bazel_rules_hdlHardware Description Language (Verilog, VHDL, Chisel, nMigen, etc) with open tools (Yosys, Verilator, OpenROAD, etc) rules for Bazel (https://bazel.build)
-
-
sv2v Public
Forked from zachjs/sv2vSystemVerilog to Verilog conversion
Haskell Other UpdatedMar 29, 2021 -
bsc-contrib Public
Forked from B-Lang-org/bsc-contribA place to share libraries and utilities that don't belong in the core bsc repo
Bluespec UpdatedMar 23, 2021 -
bsc-testsuite Public
Forked from B-Lang-org/bsc-testsuiteTest suite for Bluespec Compiler (BSC)
Bluespec Other UpdatedFeb 14, 2021 -
llvm-1 Public
Forked from llvm-mirror/llvmProject moved to: https://github.com/llvm/llvm-project
LLVM Other UpdatedSep 2, 2020 -
geniplate Public
Forked from augustss/geniplateUse TH to generate uniplate-like functions.
Haskell Other UpdatedMay 18, 2015 -
llvm Public
Forked from scottgw/llvmHaskell bindings to the LLVM compiler infrastructure project.
-
monad-tutorial Public
Forked from jnewbern/monad-tutorialMonad tutorial development for ILC '09