dram

Results 6 repositories owned by dram

vscode-ghc-simple

223
Stars
15
Forks
Watchers

Simple GHC (Haskell) integration for VSCode

nix-dram

73
Stars
4
Forks
Watchers

Nix Flakes with a modified frontend, by dramforever

config

23
Stars
3
Forks
Watchers

Random config (v2, clean history)

opensbi-h

28
Stars
4
Forks
Watchers

WIP: A fork of OpenSBI, with software-emulated hypervisor extension support

os-lectures-build

76
Stars
36
Forks
Watchers

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

fiveth

16
Stars
0
Forks
Watchers

A stack-based language implemented in RISC-V assembly