dramforever
a row of my life
Recent posts
VisionFive JTAG adventures, Part 1: JH7100 GPIO
2022-06-27
Magic tricks with CRC
2021-12-25
The with construct in nix-lang
2021-05-19
Untitled router：一个路由器的故事
2020-12-31
Counting empty triangles with number theory
2020-05-31
Heyting algebra made unnecessarily complex
2020-02-06
More…
Projects
nix-dram: Nix flakes with a modified frontend
vscode-ghc-simple: Simple Haskell support for VSCode, using only GHCi
opensbi-h: Fork of OpenSBI with software-emulated hypervisor extension support
GitHub Activity (
@dramforever
)