Felix Yan's repositories
openssl-streams
OpenSSL network support for io-streams.
archriscv-scriptlet
Useful scripts for Arch RISC-V project
dde-grand-search
System-wide desktop search for DDE
dde-session-ui
dde-session-ui module
distrochooser
An orientation guide for Linux newbies
feeluown-ytmusic
YouTube Music plugin for FeelUOwn player
grub-btrfs
Include btrfs snapshots at boot options. (Grub menu)
haskell-language-server
Integration point for ghcide and haskell-ide-engine. One IDE to rule them all.
k230_docs
Kendryte K230 SDK Docs
mini-lsm
A tutorial of building an LSM-Tree storage engine in a week!
nbd
Network Block Device
nvme-cli
NVMe management command line interface.
pyx
Repository of PyX, a Python package for the creation of PostScript, PDF, and SVG files.
qt5platform-plugins
Qt platform integration plugin for DDE.
Terrapin-Scanner
This repository contains a simple vulnerability scanner for the Terrapin attack present in the paper "Terrapin Attack: Breaking SSH Channel Integrity By Sequence Number Manipulation".
th1520-linux-kernel
TH1520 linux kernel
wai-app-file-cgi
File/CGI App of WAI
websockets
A Haskell library for creating WebSocket-capable servers
wfm-localization
WFM Frontend: UI translation files