Search: github.com/coq | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

541.

Composer – Disable GC when computing deps and refs

github.com/composer

12 years ago

300 points

542.

Cross-platform Rust Rewrite of the GNU Coreutils

github.com/uutils

12 years ago

299 points

543.

Cool-retro-term: terminal emulator which mimics look and feel of CRTs

github.com/Swordfish90

7 months ago

298 points

544.

100 days of algorithms

github.com/coells

9 years ago

294 points

545.

Eza: A modern, maintained replacement for ls

github.com/eza-community

2 years ago

291 points

546.

CoffeeScript hits 1.0 -- Happy Holidays, HN

jashkenas.github.com

15 years ago

289 points

547.

Computerraria: A fully compliant RISC-V computer inside Terraria

github.com/misprit7

3 years ago

289 points

548.

Trending tabs are being deprecated due to low usage

github.com/community

4 years ago

288 points

549.

IcedCoffeeScript

maxtaco.github.com

14 years ago

288 points

550.

DigitalMars C/C++ Compiler

github.com/DigitalMars

8 years ago

286 points

551.

Anthropic's Prompt Engineering Interactive Tutorial

github.com/anthropics

2 years ago

284 points

552.

Part of my code makes Copilot crash

github.com/orgs

4 years ago

282 points

553.

Cool-retro-term: A terminal emulator which mimics the old cathode display

github.com/Swordfish90

4 years ago

282 points

554.

Core: an experimental new way to write videogames

github.com/damn

2 years ago

280 points

555.

CoreJS: State of the project? Looks like dead. Any official fork?

github.com/zloirock

6 years ago

280 points

556.

Handcalcs: Automatically render Latex equations from Python math code

github.com/connorferster

6 years ago

277 points

557.

CorsixTH: Open-source clone of Theme Hospital

github.com/CorsixTH

2 years ago

274 points

558.

Show HN: WhisperFusion – Low-latency conversations with an AI chatbot

github.com/collabora

2 years ago

272 points

559.

github.com/containers

4 years ago

270 points

560.

A computer science study plan

github.com/jwasham

9 years ago

270 points

561.

Iroh: A library to establish direct connection between peers

github.com/n0-computer

a year ago

268 points

562.

Coc.nvim – Intellisense Engine for Vim8 and Neovim

github.com/neoclide

7 years ago

267 points

563.

Show HN: A secure, open source U2F token you can make with $4.5 worth of parts

github.com/conorpp

10 years ago

267 points

564.

V86: x86 virtualization in the browser, recompiling x86 to WASM on the fly

github.com/copy

4 years ago

265 points

565.

VS Code on a Remote Server

github.com/codercom

7 years ago

264 points

566.

Path to a free self-taught education in Computer Science

github.com/ossu

8 years ago

264 points

567.

.NET framework ported to NetBSD

github.com/dotnet

10 years ago

263 points

568.

Openpilot – open-source self-driving agent

github.com/commaai

7 years ago

262 points

569.

Starlink User Terminal Modchip

github.com/KULeuven-COSIC

4 years ago

255 points

570.

“BASIC Computer Games” code in modern languages

github.com/coding-horror

3 years ago

255 points