Show HN: AGL a toy language that compiles to Go(github.com)

65 points by alain_gilbert 1 year ago | 12 comments

Show HN: Anos – a hand-written ~100KiB microkernel for x86-64 and RISC-V(github.com)

94 points by noone_youknow 6 months ago | 25 comments

OpenLDK: A Java JIT compiler and runtime in Common Lisp(github.com)

192 points by varjag 1 year ago | 57 comments

BarraCUDA Open-source CUDA compiler targeting AMD GPUs(github.com)

428 points by rurban 8 months ago | 177 comments

GitHub repository for BarraCUDA, an open-source CUDA compiler written in C99 that compiles .cu files to AMD GFX11 GPU machine code.

GQL – Git Query Language(github.com)

175 points by amrdeveloper 2 years ago | 48 comments

Show HN: Kyoo – Self-hosted media browser (Jellyfin/Plex alternative)(github.com)

216 points by zoriya 2 years ago | 159 comments

Ghidra by NSA(github.com)

419 points by handfuloflight 8 months ago | 208 comments

GitHub repository for Ghidra, the NSA's open-source software reverse engineering framework licensed under Apache 2.0.

Grok(github.com)

1034 points by pierre 2 years ago | 375 comments

GitHub repository from xAI containing the open release of the Grok language model code and checkpoint loading scripts under Apache-2.0.

Postgres Language Server(github.com)

899 points by kiwicopple 3 years ago | 112 comments

GitHub repository for Supabase's Postgres Language Server, an LSP implementation that uses the real Postgres parser via libpg_query for IDE features.

Quickemu: Quickly run optimised Windows, macOS and Linux virtual machines(github.com)

411 points by overbytecode 2 years ago | 128 comments

GitHub repository for Quickemu, a tool that quickly creates and runs optimised Windows, macOS and Linux desktop virtual machines using QEMU.

OpenTF is now OpenTofu(github.com)

352 points by zoidb 3 years ago | 197 comments

GitHub page for the OpenTofu organization, the open source Terraform fork formerly called OpenTF, which urges HashiCorp to return Terraform to an open license.

There is no official XScreenSaver GitHub repository(github.com)

63 points by st_goliath 6 days ago | 66 comments

A GitHub repository by jwz whose only content is a README stating there is no official XScreenSaver GitHub repository.