Pinned Repositories
cakeml-float
cakeml-math
cpu_features
A cross platform C99 library to get cpu features at runtime.
dispak
Simulator of DISPAK operating system (BESM-6)
dptools
eternalism
fpgen
gr-c4fm
gnuradio blocks for 4 level FSK
gr-ysf2
sdr-samples
michael-roe's Repositories
michael-roe/gr-c4fm
gnuradio blocks for 4 level FSK
michael-roe/gr-ysf2
michael-roe/cakeml-float
michael-roe/cakeml-math
michael-roe/cpu_features
A cross platform C99 library to get cpu features at runtime.
michael-roe/dptools
michael-roe/eternalism
michael-roe/fpgen
michael-roe/fptest
Turn IBM's test vectors into RISC-V code
michael-roe/gnuradio
GNU Radio – the Free and Open Software Radio Ecosystem
michael-roe/gr-bootstrap
michael-roe/gr-decision
michael-roe/gr-distance
michael-roe/gr-fll
Frequency Locked Loop for 4FSK
michael-roe/gr-golay
Golay code
michael-roe/gr-scrambler
michael-roe/HOL
Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
michael-roe/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
michael-roe/microtonal
michael-roe/monogreek
michael-roe/posterize
michael-roe/riscv-fp-regressions
michael-roe/riscv-isa-sim
Spike, a RISC-V ISA Simulator
michael-roe/sanskrit
michael-roe/sanskrit7
Convert 7bit transliterated Sanskrit to IAST
michael-roe/sdl-test
michael-roe/tibetan
michael-roe/unicode-frequency
michael-roe/unicode-presentation
Replace Unicode presentation forms with equivalent
michael-roe/volk
The Vector Optimized Library of Kernels