Emacs-ng: A project to integrate Deno and WebRender into Emacs(github.com)

105 points by kuba-orlik 2 years ago | 79 comments

Show HN: Moribito – A TUI for LDAP Viewing/Queries(github.com)

89 points by woumn 1 year ago | 23 comments

Musashi: Motorola 680x0 emulator written in C(github.com)

112 points by doener 9 months ago | 14 comments

Git CLI tool for intelligently creating branch names(github.com)

24 points by Terretta 1 year ago | 27 comments

femtolisp: A lightweight, robust, scheme-like Lisp implementation(github.com)

132 points by tosh 8 months ago | 15 comments

Xeneva Operating System(github.com)

218 points by psnehanshu 1 year ago | 62 comments

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.

Grok Build is open source(github.com)

560 points by skp1995 3 months ago | 591 comments

GitHub repository for xAI's Grok Build, an open-source coding agent harness and fullscreen, mouse-interactive, extensible terminal UI under Apache-2.0.

DeepSeek-Prover-V2(github.com)

359 points by meetpateltech 1 year ago | 74 comments

GitHub repository for DeepSeek-Prover-V2, DeepSeek's model for formal theorem proving, containing a paper PDF, README, model license, and miniF2F solutions.

F3(github.com)

593 points by tosh 4 months ago | 126 comments

GitHub repository for F3, an open-source data file format presented at SIGMOD 2026 as a future successor to formats like Parquet.

ZFS 2.3 released with ZFS raidz expansion(github.com)

343 points by scrp 1 year ago | 246 comments

GitHub release page for OpenZFS 2.3.0, announcing features including RAIDZ expansion and Fast Dedup.

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.