dram's repositories
haskell-stuff
My Haskell snippets
bootstrap-nix
Bootstrapping Nix for just fun and no profit
rust-rtqueue
Data structure demo: Real-time O(1) fully persistent queue in Rust
ctf-writeups
I don't usually do infosec, but when I do, I post CTF writeups without context.
rust-ds-demo
Rust data structure demos
asterius
A Haskell to WebAssembly compiler
brainfuck-jit
A simple Brainfuck JIT written as a learning exercise.
bsc
Bluespec Compiler (BSC)
codecard
Oracle Code Card is a Wi-Fi-enabled device with an e-paper display that can retrieve content from Oracle Cloud. The Code Card runs on an ESP8266 Wi-fi microcontroller.
DeepDarkFantasy
A Programming Language for Deep Learning
dram-nand2tetris
My version of the nand2tetris projects.
rCore_tutorial_doc
https://rcore-os.github.io/rCore_tutorial_doc/
syzoj-judge
Sandboxed judger for SYZOJ
tvm-nix
Help @MarisaKirisame build TVM on Nix
ustcmirror-images
Docker images used by ustcmirror :rocket:
vscode-haskutil
QuickFix actions for Haskell in VSCode
vscode-idris
Idris for Visual Studio Code
vscode-restructuredtext
reStructuredText Language Support in Visual Studio Code
vscode-translators-toolbox
Some handy translators' utilities for VSCode.