Show HN: Rust-ontologist – A tool for visualizing Rust codebases in secondsgithub.com·4 pts·Hirrolot·0
Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 to LLVM bitcodegithub.com·5 pts·Hirrolot·1
Checking Dependent Types with Normalization by Evaluation: A Tutorialdavidchristiansen.dk·4 pts·Hirrolot·0
Makeabetter.computer – Microgrants for projects that make computers bettermakeabetter.computer·179 pts·Hirrolot·86
Epilepsy: A functional language for C preprocessor metaprogramming, v0.1.0github.com·4 pts·Hirrolot·0