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/vscode-ghc-simple
Simple GHC (Haskell) integration for VSCode
dramforever/nix-dram
Nix Flakes with a modified frontend, by dramforever
dramforever/os-lectures-build
Automated builds of https://github.com/LearningOS/os-lectures
dramforever/config
Random config (v2, clean history)
dramforever/fiveth
A stack-based language implemented in RISC-V assembly
dramforever/nix-json-progress
Progress bars from Nix internal-json log
dramforever/nixos-loongson2f
NixOS on Loongson-2F
dramforever/threaded-code-demo
Some demonstrations of threaded code techniques
dramforever/dram.page
Personal website
dramforever/easyriscv
RISC-V emulator and intro tutorial
dramforever/sledit
A single-line-interface editor
dramforever/arceos
An experimental modular OS written in Rust.
dramforever/crobber
Coroutines that lets the compiler save registers whenever possible
dramforever/elfcopyflat
Copy loadable segments in an ELF file to a flat binary
dramforever/cc-rs
Rust library for build scripts to compile C/C++ code into a Rust library
dramforever/cemu
A simple full system emulator. Currently support RV64IMACSU and MIPS32 and LoongArch32. Capable of booting Linux. Suitable for education and research.
dramforever/dramforever
Profile
dramforever/hydra
Hydra, the Nix-based continuous build system
dramforever/hypercraft
:construction:WIP:construction: hypercraft is a VMM library written in Rust.
dramforever/nix-closure-tarball-demo
Build tarball from closure with Nix, a demo
dramforever/nixpkgs
Nix Packages collection
dramforever/num-bigint
Big integer types for Rust
dramforever/opensbi
RISC-V Open Source Supervisor Binary Interface
dramforever/PLCT-Open-Reports
PLCT实验室的公开演讲,或者决定公开的组内报告
dramforever/risc-v-software-interrupts
Software interrupts example for RISC-V
dramforever/riscv-j-extension
Working Draft of the RISC-V J Extension Specification
dramforever/SG2042-Newsletter
Weekly update for SG2042 ecosystem. RISC-V is inevitable!
dramforever/state
State Monad
dramforever/superlinker
dramforever/tunasync-scripts
Custom scripts for mirror jobs