Repositories Users Organizations
Filter
Sort
stevejb71/ VoldemortIssueGist
0 0
Updated 2026-09-08 15:39:00 +00:00
yjmwxwx/ stm32nixiang
0 0
Updated 2026-09-07 19:30:15 +00:00
rackquiem/ meowc
OCaml 4 0
Build tool for C and C++ that derives build graphs/dependencies
Updated 2026-09-07 00:54:55 +00:00
vamp1nn/ lolly
Scheme 0 0
LALR(1) parser generator that builds canonical LR(1) item sets
Updated 2026-09-03 10:30:00 +00:00
vamp1nn/ vanguard
Scheme 0 0
Compiler and offline partial evaluator aimed at the 3 futamura projections
Updated 2026-09-02 16:47:02 +00:00
rhelmot/ nixos-config
Nix 0 0
da machines
Updated 2026-09-01 20:55:08 +00:00
rackquiem/ gadget
OCaml 2 0
Typed bytecode VM in OxCaml that indexes instructions by the type of the operand stack
Updated 2026-08-31 18:48:25 +00:00
rhelmot/ blog.rhelmot.io
Nix 0 0
blogs u
Updated 2026-08-30 00:31:26 +00:00
rackquiem/ rackvm
C 2 0
KVM VM monitor for Linux boot with SMP topology and serial emulation
Updated 2026-08-29 17:12:54 +00:00
rackquiem/ patcher
OCaml 0 0
BPS for FireRed and LeafGreen with integrated expansion
Updated 2026-08-29 15:37:56 +00:00
rackquiem/ turnstile
Rust 1 0
Xen hypervisor protection for guest kernel memory integrity enforcement
Updated 2026-08-29 15:37:56 +00:00
rackquiem/ lantern
C 2 0
NVMe userspace driver that takes a PCI function away from the kernel
Updated 2026-08-20 22:34:08 +00:00
rackquiem/ lamb
OCaml 1 0
Compiler for a subset of OCaml expressions that exposes deterministic IR's
Updated 2026-08-18 16:12:08 +00:00
rhelmot/ nx-cse
Python 0 0
Convex subgraph enumeration with I/O constraints for networkx
Updated 2026-08-08 18:53:48 +00:00
teabound/ egui-cfg
Rust 2 0
egui library for displaying control flow graphs using petgraph, and rust sugiyama.
Updated 2026-07-22 17:11:24 +00:00
rhelmot/ binxos
Nix 1 0
A nix flake for generating archives of ELF files compiled with specific flags
Updated 2026-07-15 21:23:57 +00:00
rackquiem/ graphis
OCaml 1 0
Inspects OCaml heap values and lowers the reachable object graph to graphviz DOT
Updated 2026-07-07 17:27:13 +00:00
m4tsuri/ M4tsuri
0 0
Updated 2026-06-18 16:57:13 +00:00
polazarus/ hipstr
Rust 1 0
Yet another string type for Rust
Updated 2026-06-17 05:48:30 +00:00
rhelmot/ runic
Python 0 0
failed attempt at OCR for the tunic rune language
Updated 2026-06-16 03:55:41 +00:00