fghzxm's Stars
ocaml-multicore/ocaml-multicore
Multicore OCaml
Gabriella439/Haskell-MMorph-Library
Monad morphisms
TomWildenhain/pptcc
haskell/haskell-ide-engine
The engine for haskell ide-integration. Not an IDE
WhitewaterFoundry/Fedora-Remix-for-WSL
Fedora Remix for Windows Subsystem for Linux.
hamsternz/FPGA_DisplayPort
An implementation of DisplayPort protocol for FPGAs
itsfrank/MinecraftHDL
A Verilog synthesis flow for Minecraft redstone circuits
NationalSecurityAgency/ghidra
Ghidra is a software reverse engineering (SRE) framework
doe300/VC4CL
OpenCL implementation running on the VideoCore IV GPU of the Raspberry Pi models
DeepHorizons/iarm
A Jupyter kernel for an ARM assembly intrepreter
christinaa/rpi-open-firmware
Open source VPU side bootloader for Raspberry Pi.
dpw/kvm-hello-world
A minimal kvm example
jschmerge/xos
C++ Wrapper Around Linux System calls
DDoSolitary/LxRunOffline
A full-featured utility for managing Windows Subsystem for Linux (WSL)
Nemocas/AbstractAlgebra.jl
Generic abstract algebra functionality in pure Julia (no C dependencies)
JuliaGPU/CUDAnative.jl
Julia support for native CUDA programming
scala/scala3
The Scala 3 compiler, also known as Dotty.
mitmproxy/mitmproxy
An interactive TLS-capable intercepting HTTP proxy for penetration testers and software developers.
mairin/selinux-coloring-book
A coloring book to help folks understand how SELinux works.
virtio-win/kvm-guest-drivers-windows
Windows paravirtualized drivers for QEMU\KVM
OpenVPN/openvpn3-linux
OpenVPN 3 Linux client
arximboldi/immer
Postmodern immutable and persistent data structures for C++ — value semantics at scale
lightspark/lightspark
An open source flash player implementation
fmtlib/fmt
A modern formatting library