Scarlet Devil Mansion, Gensokyo

dram

Elite
@dramforever

vscode-ghc-simple. Simple GHC (Haskell) integration for VSCode

224

easyriscv. RISC-V emulator and intro tutorial

101

nix-dram. Nix Flakes with a modified frontend, by dramforever

86

os-lectures-build. Automated builds of https://github.com/LearningOS/os-lectures

75

opensbi-h. [No longer active] A fork of OpenSBI, with software-emulated hypervisor extension support

43

scratchix. Linux From Scratch, but it's Nix

37

droid-nixos. NixOS VM on the Android "Terminal" app

27

config. Random config (v2, clean history)

26

fiveth. A stack-based language implemented in RISC-V assembly

17

urvirt. User-mode trap-and-emulate hypervisor for RISC-V

14

finlog. Compiling finite generators to digital logic. WIP

13

ixayoi. (WIP) A relatively simple pipelined RISC-V core, written in Bluespec SystemVerilog

12

riscv-hs-tests. RISC-V HS-mode hypervisor extension tests

11

each. Haskell

10

clash-with-stack. Stack-based Clash environment

10

frandre. Functional Reactive Animation Drawing Environment

9

nixos-loongson2f. NixOS on Loongson-2F

9

nix-json-progress. Progress bars from Nix internal-json log

8

threaded-code-demo. Some demonstrations of threaded code techniques

7

scirt. Scala Circuit IR Tools

7

nixos-riscv-efi. NixOS EFI boot on RISC-V using systemd-boot

7

bootstrap-nix. Bootstrapping Nix for just fun and no profit

6

buname. uname(1), but what if Linus Torvalds didn't hate large numbers

6

nixos-visionfive. My VisionFive NixOS config

5

nixos-updates-bot. Nix channel updates bot for Telegram

5

jh7100-e24-demo. JH7100 E24 baremetal demo

5

bitfield.py. Bitfield pretty-printer

5

haskell-stuff. My Haskell snippets

5

nix-devwith. It's like `nix-shell -p` but it supports flakes

5

writings. Haskell

5

hid-bpf-uclogic. HID-BPF reimplementation of hid-uclogic

5

danmacom. Turn danmaku into comments, in VSCode

4

kagome. A framework for imperative reactive programming

4

dram-sal. My solutions to programming problems

4

dram.page. Personal website

4

riscv-probe. A Linux kernel module that exposes some low level system information in sysfs

4

rust-rtqueue. Data structure demo: Real-time O(1) fully persistent queue in Rust

4

flypy-emacs. Flypy port to emacs

4

chipsalliance-playground-nix. (WIP) Just chipsalliance-playground but it's Nix

3

flake-templates. A random flake template repository

3

fetch-lore. Nix function to fetch patch from lore.kernel.org

3

hascaf. Implementation of MiniDecaf in Haskell (see https://github.com/decaf-lang/minidecaf-tutorial)

2

demo-cc-rs-riscv64gc. demo-cc-rs-riscv64gc

2

coq_stuff. C++

2

nixos-riscv-qemu. Nix

2

verilog-stuff. Verilog stuff

2

splay. Generic splay-based sequence representation

2

queue-vis. Okasaki's queue, visualized

2

binderlay. Playground for mount namespaces

2

sledit. A single-line-interface editor

2

purescript-kagome. A framework for imperative reactive programming, in PureScript

2

crobber. Coroutines that lets the compiler save registers whenever possible

1

elfcopyflat. Copy loadable segments in an ELF file to a flat binary

1

crc-reveng. A mirror/fork of https://reveng.sourceforge.io/

1

DP811. Unofficial information on the DP811 microcontroller

1
55
Apply