SnarkOS: A Decentralized Operating System for Zero-Knowledge Applications(github.com)

54 points by nateb2022 3 years ago | 14 comments

Show HN: Tegon: Open-source alternative to Jira, Linear(github.com)

139 points by harshithmul 2 years ago | 106 comments

Show HN: Sourcebot, an open-source Sourcegraph alternative(github.com)

231 points by bshzzle 2 years ago | 50 comments

Show HN: Turn your OpenAPI spec into negative tests(github.com)

44 points by ludovicianul 1 year ago | 1 comments

Show HN: Lyceum – An MMO game built with Zig and Erlang(github.com)

123 points by fluidwizard 1 year ago | 61 comments

Show HN: We made our own inference engine for Apple Silicon(github.com)

145 points by darkolorin 1 year ago | 42 comments

OpenCut: The open-source CapCut alternative(github.com)

417 points by nateb2022 1 year ago | 139 comments

GitHub repository for OpenCut, an MIT-licensed open-source video editor positioned as an alternative to CapCut.

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.

OpenTF repository is now public(github.com)

464 points by cube2222 3 years ago | 154 comments

GitHub repository for OpenTF, the open-source fork of Terraform for declaratively managing cloud infrastructure, now made public.

Penpot: The Open-Source Figma(github.com)

724 points by selvan 11 months ago | 176 comments

GitHub repository for Penpot, an open-source design and prototyping tool for design and code collaboration, positioned as an alternative to Figma.

OpenTPU – An open-source AI accelerator, developed by AI(github.com)

326 points by fsbonetto 20 days ago | 371 comments

GitHub repository for openTPU, an open-source AI accelerator with RTL, ISA, simulator, compiler and profiler that runs Qwen3 and LFM2.5 on a Kintex-7 PCIe card.

The path to open-sourcing the DeepSeek inference engine(github.com)

531 points by Palmik 1 year ago | 58 comments

GitHub directory in DeepSeek's open-infra-index repo with a README describing their plan for open-sourcing the DeepSeek inference engine.