There are no reviews yet. Be the first to send feedback to the community and the maintainers!
ncore
A RISC-V processor in system verilogplaton
A programming languageaedat
AEDAT 3.1 and AEDAT 4.0 address event decoding in C++lean-mlir
MLIR bindings for lean4bn
a minimal dependency free way of generating ninja build files for lean4 packagesrules_verilog
Verilog build rules for bazel.cascade
Cycle based C++ hardware simulation infrastructureaurora
Prototype implementation of aurora linkemulating-quantum-computation-with-ann
An implementation of quantum gates with SNN / ANN.neuromorphic-quantum-computing
Repository with Code and Data to reproduce https://arxiv.org/abs/2005.01533bsg_ip_cores
Mirror of bsg_ip_cores on bitbucketlean4-mlir
beth
Power Instruction Set toolsminos
naive graph algorithm playgroundpybind11gen
Generate python bindings via pybind11 and libclangiota
bsg_riscv
lean4-plugin-example
Love Open Source and this site? Check out how you can help us