dramforever

Scarlet Devil Mansion, Gensokyo

Pinned Repositories

clash-with-stack
Stack-based Clash environment
Language:Haskell9 6 02
config
Random config (v2, clean history)
Language:Nix23 4 03
finlog
Compiling finite generators to digital logic. WIP
Language:Haskell14 3 00
fiveth
A stack-based language implemented in RISC-V assembly
Language:Assembly17 3 00
nix-dram
Nix Flakes with a modified frontend, by dramforever
Language:Haskell76 7 125
opensbi-h
WIP: A fork of OpenSBI, with software-emulated hypervisor extension support
Language:C35 7 46
os-lectures-build
Automated builds of https://github.com/LearningOS/os-lectures
Language:JavaScript76 2 134
rust-ds-demo
Rust data structure demos
Language:Rust10
scratchix
Linux From Scratch, but it's Nix
Language:Nix36 5 22
vscode-ghc-simple
Simple GHC (Haskell) integration for VSCode
Language:TypeScript223 12 7315

dramforever's Repositories

dramforever/vscode-ghc-simple
Simple GHC (Haskell) integration for VSCode
Language:TypeScript223 12 7315
dramforever/nix-dram
Nix Flakes with a modified frontend, by dramforever
Language:Haskell76 7 125
dramforever/os-lectures-build
Automated builds of https://github.com/LearningOS/os-lectures
Language:JavaScript76 2 134
dramforever/config
Random config (v2, clean history)
Language:Nix23 4 03
dramforever/fiveth
A stack-based language implemented in RISC-V assembly
Language:Assembly17 3 00
dramforever/nix-json-progress
Progress bars from Nix internal-json log
Language:Rust81
dramforever/nixos-loongson2f
NixOS on Loongson-2F
Language:Nix6 3 0
dramforever/threaded-code-demo
Some demonstrations of threaded code techniques
Language:C4 2 0
dramforever/dram.page
Personal website
Language:JavaScript3 4 0
dramforever/sledit
A single-line-interface editor
Language:C2 2 0
dramforever/arceos
An experimental modular OS written in Rust.
Language:Rust1 1 0
dramforever/crobber
Coroutines that lets the compiler save registers whenever possible
Language:Rust1 1 0
dramforever/easyriscv
RISC-V emulator and intro tutorial
Language:JavaScript11
dramforever/elfcopyflat
Copy loadable segments in an ELF file to a flat binary
Language:Rust1 2 0
dramforever/cc-rs
Rust library for build scripts to compile C/C++ code into a Rust library
Language:Rust1 0
dramforever/cemu
A simple full system emulator. Currently support RV64IMACSU and MIPS32 and LoongArch32. Capable of booting Linux. Suitable for education and research.
Language:C++1 0
dramforever/dramforever
Profile
3 0
dramforever/hydra
Hydra, the Nix-based continuous build system
dramforever/hypercraft
:construction:WIP:construction: hypercraft is a VMM library written in Rust.
Language:Rust1 0
dramforever/nixpkgs
Nix Packages collection
Language:Nix2 0
dramforever/num-bigint
Big integer types for Rust
Language:Rust1 0
dramforever/opensbi
RISC-V Open Source Supervisor Binary Interface
Language:C2 0
dramforever/PLCT-Open-Reports
PLCT实验室的公开演讲，或者决定公开的组内报告
1 0
dramforever/rCore-Tutorial-Code-2023S
Let's write an OS which can run on RISC-V in Rust from scratch!
1 0
dramforever/risc-v-software-interrupts
Software interrupts example for RISC-V
Language:Assembly1 0
dramforever/riscv-j-extension
Working Draft of the RISC-V J Extension Specification
Language:Makefile1 0
dramforever/rvind
RISC-V stack rewind info by static analysis
Language:Rust2 0
dramforever/SG2042-Newsletter
Weekly update for SG2042 ecosystem. RISC-V is inevitable!
dramforever/state
State Monad
dramforever/tunasync-scripts
Custom scripts for mirror jobs
Language:Python2 0