Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by dramforever
A curated list of projects in awesome lists by dramforever .
https://github.com/dramforever/vscode-ghc-simple
Simple GHC (Haskell) integration for VSCode
Last synced: 20 Dec 2024
https://github.com/dramforever/os-lectures-build
Automated builds of https://github.com/LearningOS/os-lectures
Last synced: 18 Nov 2024
https://github.com/dramforever/nix-dram
Nix Flakes with a modified frontend, by dramforever
Last synced: 18 Nov 2024
https://github.com/dramforever/opensbi-h
WIP: A fork of OpenSBI, with software-emulated hypervisor extension support
Last synced: 18 Nov 2024
https://github.com/dramforever/fiveth
A stack-based language implemented in RISC-V assembly
Last synced: 18 Nov 2024
https://github.com/dramforever/finlog
Compiling finite generators to digital logic. WIP
compiler digital-logic haskell verilog
Last synced: 18 Nov 2024
https://github.com/dramforever/urvirt
User-mode trap-and-emulate hypervisor for RISC-V
Last synced: 18 Nov 2024
https://github.com/dramforever/ixayoi
(WIP) A relatively simple pipelined RISC-V core, written in Bluespec SystemVerilog
Last synced: 18 Nov 2024
https://github.com/dramforever/frandre
Functional Reactive Animation Drawing Environment
Last synced: 18 Nov 2024
https://github.com/dramforever/nix-json-progress
Progress bars from Nix internal-json log
Last synced: 18 Nov 2024
https://github.com/dramforever/clash-with-stack
Stack-based Clash environment
Last synced: 18 Nov 2024
https://github.com/dramforever/nixos-riscv-efi
NixOS EFI boot on RISC-V using systemd-boot
Last synced: 18 Nov 2024
https://github.com/dramforever/riscv-hs-tests
RISC-V HS-mode hypervisor extension tests
Last synced: 18 Nov 2024
https://github.com/dramforever/nixos-updates-bot
Nix channel updates bot for Telegram
Last synced: 18 Nov 2024
https://github.com/dramforever/riscarlet
Work in progress, RISC-V in Scarlet
Last synced: 18 Nov 2024
https://github.com/dramforever/dram-sal
My solutions to programming problems
Last synced: 18 Nov 2024
https://github.com/dramforever/danmacom
Turn danmaku into comments, in VSCode
Last synced: 18 Nov 2024
https://github.com/dramforever/riscv-probe
A Linux kernel module that exposes some low level system information in sysfs
Last synced: 18 Nov 2024
https://github.com/dramforever/rust-rtqueue
Data structure demo: Real-time O(1) fully persistent queue in Rust
Last synced: 09 Nov 2024
https://github.com/dramforever/bootstrap-nix
Bootstrapping Nix for just fun and no profit
Last synced: 18 Nov 2024
https://github.com/dramforever/fetch-lore
Nix function to fetch patch from lore.kernel.org
Last synced: 18 Nov 2024
https://github.com/dramforever/kagome
A framework for imperative reactive programming
Last synced: 18 Nov 2024
https://github.com/dramforever/chipsalliance-playground-nix
(WIP) Just chipsalliance-playground but it's Nix
Last synced: 18 Nov 2024
https://github.com/dramforever/hascaf
Implementation of MiniDecaf in Haskell (see https://github.com/decaf-lang/minidecaf-tutorial)
Last synced: 18 Nov 2024
https://github.com/dramforever/flake-templates
A random flake template repository
Last synced: 18 Nov 2024
https://github.com/dramforever/purescript-kagome
A framework for imperative reactive programming, in PureScript
Last synced: 18 Nov 2024
https://github.com/dramforever/splay
Generic splay-based sequence representation
Last synced: 18 Nov 2024
https://github.com/dramforever/nix-devwith
It's like `nix-shell -p` but it supports flakes
Last synced: 18 Nov 2024
https://github.com/dramforever/synclig
Synchronous Logic from Imperative Generators
Last synced: 18 Nov 2024
https://github.com/dramforever/dp811
Unofficial information on the DP811 microcontroller
Last synced: 18 Nov 2024
https://github.com/dramforever/elfcopyflat
Copy loadable segments in an ELF file to a flat binary
Last synced: 18 Nov 2024
https://github.com/dramforever/nix-bits
So that I can just show them how to use Nix
Last synced: 18 Nov 2024
https://github.com/dramforever/drampaste
Demo of servant + minio-hs + conduit
Last synced: 18 Nov 2024
https://github.com/dramforever/nix-sync
What do we need to do if we want to mirror all Nix stuff?
Last synced: 18 Nov 2024
https://github.com/dramforever/ctf-writeups
I don't usually do infosec, but when I do, I post CTF writeups without context.
Last synced: 18 Nov 2024
https://github.com/dramforever/crobber
Coroutines that lets the compiler save registers whenever possible
Last synced: 18 Nov 2024
https://github.com/dramforever/threaded-code-demo
Some demonstrations of threaded code techniques
Last synced: 18 Nov 2024
https://github.com/dramforever/crc-reveng
A mirror/fork of https://reveng.sourceforge.io/
Last synced: 18 Nov 2024
https://github.com/dramforever/cargo-doc-forced-target
cargo-doc-target-bug
Last synced: 18 Nov 2024
https://github.com/dramforever/be5flf
A FIGlet font suitable as a banner font in VSCode. By be5invis. I just made it an `.flf` file.
Last synced: 18 Nov 2024
https://github.com/dramforever/tvm-nix
Help @MarisaKirisame build TVM on Nix
Last synced: 18 Nov 2024
https://github.com/dramforever/shuwar
A new syntax for lisp, designed for writing
Last synced: 18 Nov 2024
https://github.com/dramforever/trapojack
A simple (hopefully) secure program runner for learning about linux functions like ptrace, rlimit, etc.
Last synced: 18 Nov 2024
https://github.com/dramforever/rvind
RISC-V stack rewind info by static analysis
Last synced: 18 Nov 2024
https://github.com/dramforever/easyriscv
RISC-V emulator and intro tutorial
Last synced: 18 Nov 2024
https://github.com/dramforever/dram-nand2tetris
My version of the nand2tetris projects.
Last synced: 18 Nov 2024
https://github.com/dramforever/scala-letmein
Let me into the Scala QQ Group
Last synced: 18 Nov 2024
https://github.com/dramforever/railgun
A web frame work designed to be as easy to use as possible
Last synced: 18 Nov 2024
https://github.com/dramforever/kspl
A macro language that is influenced by combinatory calculus
Last synced: 18 Nov 2024
https://github.com/dramforever/websocks
A simple socket proxy over websockets with a SOCKS 5 front end
Last synced: 18 Nov 2024
https://github.com/dramforever/jsmine
Javascript Minesweeper. Did you find the hidden level?
Last synced: 18 Nov 2024
https://github.com/dramforever/lyah-zh
Translation of the tutorial Learn You a Haskell for Great Good originally by Miran Lipovaca
Last synced: 18 Nov 2024
https://github.com/dramforever/minecomp
Yet another minecraft computer project
Last synced: 18 Nov 2024