michael-roe's repositories
Language:C#000
cpu_features
A cross platform C99 library to get cpu features at runtime.
Language:C++Apache-2.0000
Language:C000
Language:TeX000
gnuradio
GNU Radio – the Free and Open Software Radio Ecosystem
Language:C++GPL-3.0000
Language:CMake000
Language:CMake000
Language:CMake000
gr-fll
Frequency Locked Loop for 4FSK
Language:CMake000
Language:CMake000
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.
Language:Standard MLNOASSERTION000
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.
000
Language:C000
Language:C000
Language:Assembly000
riscv-isa-sim
Spike, a RISC-V ISA Simulator
Language:CNOASSERTION000
Language:C000
sanskrit7
Convert 7bit transliterated Sanskrit to IAST
Language:C000
Language:C000
Language:C000
unicode-presentation
Replace Unicode presentation forms with equivalent
Language:C000