Giters
dram (dramforever)

dramforever

Geek Repo

363

followers

0

following

32

stars

Location:Scarlet Devil Mansion, Gensokyo

Github PK Tool:Github PK Tool

dram's repositories

vscode-ghc-simple

Simple GHC (Haskell) integration for VSCode

Language:TypeScriptLicense:ISCStargazers:223Issues:12Issues:73

os-lectures-build

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

Language:JavaScriptStargazers:77Issues:2Issues:1

nix-dram

Nix Flakes with a modified frontend, by dramforever

Language:HaskellStargazers:73Issues:7Issues:12

opensbi-h

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

Language:CLicense:NOASSERTIONStargazers:32Issues:7Issues:3

config

Random config (v2, clean history)

Language:NixLicense:MITStargazers:23Issues:4Issues:0

fiveth

A stack-based language implemented in RISC-V assembly

Language:AssemblyStargazers:16Issues:3Issues:0

nixos-loongson2f

NixOS on Loongson-2F

Language:NixStargazers:4Issues:2Issues:0

threaded-code-demo

Some demonstrations of threaded code techniques

Language:CStargazers:4Issues:2Issues:0

dram.page

Personal website

Language:JavaScriptStargazers:3Issues:4Issues:0

demo-cc-rs-riscv64gc

demo-cc-rs-riscv64gc

Language:RustStargazers:2Issues:0Issues:0

nix

Nix but it's the nix-dram fork, and some more

Language:C++License:LGPL-2.1Stargazers:2Issues:2Issues:0

sledit

A single-line-interface editor

Language:CStargazers:2Issues:2Issues:0

arceos

An experimental modular OS written in Rust.

Language:RustLicense:Apache-2.0Stargazers:1Issues:1Issues:0

crobber

Coroutines that lets the compiler save registers whenever possible

Language:RustStargazers:1Issues:1Issues:0

elfcopyflat

Copy loadable segments in an ELF file to a flat binary

Language:RustStargazers:1Issues:0Issues:0

cc-rs

Rust library for build scripts to compile C/C++ code into a Rust library

Language:RustLicense:Apache-2.0Stargazers:0Issues:1Issues:0

cemu

A simple full system emulator. Currently support RV64IMACSU and MIPS32 and LoongArch32. Capable of booting Linux. Suitable for education and research.

Language:C++License:GPL-3.0Stargazers:0Issues:1Issues:0

dramforever

Profile

Stargazers:0Issues:1Issues:0

hypercraft

:construction:WIP:construction: hypercraft is a VMM library written in Rust.

Language:RustLicense:MITStargazers:0Issues:1Issues:0

nixpkgs

Nix Packages collection

Language:NixLicense:MITStargazers:0Issues:2Issues:0

num-bigint

Big integer types for Rust

Language:RustLicense:Apache-2.0Stargazers:0Issues:1Issues:0

opensbi

RISC-V Open Source Supervisor Binary Interface

Language:CLicense:NOASSERTIONStargazers:0Issues:2Issues:0

PLCT-Open-Reports

PLCT实验室的公开演讲，或者决定公开的组内报告

License:CC-BY-SA-4.0Stargazers:0Issues:1Issues:0

rCore-Tutorial-Code-2023S

Let's write an OS which can run on RISC-V in Rust from scratch!

Stargazers:0Issues:1Issues:0

risc-v-software-interrupts

Software interrupts example for RISC-V

Language:AssemblyStargazers:0Issues:1Issues:0

riscv-j-extension

Working Draft of the RISC-V J Extension Specification

Language:MakefileLicense:CC-BY-4.0Stargazers:0Issues:1Issues:0

riscv-opcodes

RISC-V Opcodes

Language:PythonLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

rvind

RISC-V stack rewind info by static analysis

Language:RustStargazers:0Issues:2Issues:0

SG2042-Newsletter

Weekly update for SG2042 ecosystem. RISC-V is inevitable!

License:CC-BY-SA-4.0Stargazers:0Issues:0Issues:0

tunasync-scripts

Custom scripts for mirror jobs

Language:PythonStargazers:0Issues:2Issues:0