Show HN: Qq: like jq, but can transcode between many formats(github.com)61 points by arandomhuman 2 years ago | 13 comments
jj: a Git-compatible VCS that is both simple and powerful(github.com)146 points by tambourine_man 1 year ago | 95 comments
Show HN: Vekos – a Rust OS with Built-In Cryptographic Verification(github.com)69 points by jgiraldo29 1 year ago | 14 comments
Show HN: Shelgon: A Framework for Building Interactive REPL Shells in Rust(github.com)114 points by cat-whisperer 1 year ago | 22 comments
Jill – a functional programming language for the Nand2Tetris platform(github.com)99 points by mailgolub 1 year ago | 9 comments
Prolog language for PostgreSQL proof of concept(github.com)199 points by triska 2 years ago | 74 comments