Pinned Repositories
clash-with-stack
Stack-based Clash environment
config
Random config (v2, clean history)
finlog
Compiling finite generators to digital logic. WIP
fiveth
A stack-based language implemented in RISC-V assembly
nix-dram
Nix Flakes with a modified frontend, by dramforever
opensbi-h
WIP: A fork of OpenSBI, with software-emulated hypervisor extension support
os-lectures-build
Automated builds of https://github.com/LearningOS/os-lectures
rust-ds-demo
Rust data structure demos
scratchix
Linux From Scratch, but it's Nix
vscode-ghc-simple
Simple GHC (Haskell) integration for VSCode
dramforever's Repositories
dramforever/opensbi-h
WIP: A fork of OpenSBI, with software-emulated hypervisor extension support
dramforever/riscv-hs-tests
RISC-V HS-mode hypervisor extension tests
dramforever/nixos-riscv-efi
NixOS EFI boot on RISC-V using systemd-boot
dramforever/scirt
Scala Circuit IR Tools
dramforever/bitfield.py
Bitfield pretty-printer
dramforever/jh7100-e24-demo
JH7100 E24 baremetal demo
dramforever/nixos-visionfive
My VisionFive NixOS config
dramforever/danmacom
Turn danmaku into comments, in VSCode
dramforever/kagome
A framework for imperative reactive programming
dramforever/riscv-probe
A Linux kernel module that exposes some low level system information in sysfs
dramforever/fetch-lore
Nix function to fetch patch from lore.kernel.org
dramforever/binderlay
Playground for mount namespaces
dramforever/demo-cc-rs-riscv64gc
demo-cc-rs-riscv64gc
dramforever/flake-templates
A random flake template repository
dramforever/nix
Nix but it's the nix-dram fork, and some more
dramforever/nixos-riscv-qemu
dramforever/queue-vis
Okasaki's queue, visualized
dramforever/JH71xx-tools
Bootloader recovery and updater tool for StarFive JH71x0 SoCs.
dramforever/cargo-doc-forced-target
cargo-doc-target-bug
dramforever/codewars-docs
The Codewars Docs :construction: WIP
dramforever/codewars-riscv-container
Container image for RISC-V
dramforever/dramforever.github.io
http://dram.cf
dramforever/felix-infra
The entry point of Felix Universe.
dramforever/rCore-Tutorial-Book-v3
dramforever/rCore-Tutorial-Book-v3-old
v3.5 https://rcore-os.github.io/rCore-Tutorial-Book-v3/
dramforever/rCore-Tutorial-Code-2022S
dramforever/rCore-Tutorial-v3
dramforever/sops-nix
Atomic secret provisioning for NixOS based on sops
dramforever/starfive-linux
dramforever/uCore-Tutorial-Guide-2022S