Search: github.com/coq | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

661.

CodeEdit: Building a free, open-source code editor for macOS

github.com/CodeEditApp

4 years ago

172 points

662.

Corroded: Illegal Rust

github.com/buyukakyuz

6 months ago

172 points

663.

Show HN: Codemcp – Claude Code for Claude Pro subscribers – ditch API bills

github.com/ezyang

a year ago

172 points

664.

CorkScrew: A tool for tunneling SSH through HTTP proxies

github.com/bryanpkc

7 years ago

171 points

665.

Cornell McRay T'Racing

github.com/h3r2tic

5 years ago

171 points

666.

Show HN: Continuous Claude – run Claude Code in a loop

github.com/AnandChowdhary

7 months ago

170 points

667.

Show HN: Consol3 – A 3D engine for the terminal that executes on the CPU

github.com/Victormeriqui

2 years ago

170 points

668.

CoreCLR ARM 32-bit progress

github.com/dotnet

10 years ago

169 points

669.

GitHub is aggressively caching raw.github, breaking many use cases

github.com/orgs

3 years ago

168 points

670.

Hash collisions and exploitations – Instant MD5 collision

github.com/corkami

4 years ago

167 points

671.

Cortile – Linux auto tiling manager with hot corner support

github.com/leukipp

2 years ago

167 points

672.

Autodoc: Toolkit for auto-generating codebase documentation using LLMs

github.com/context-labs

3 years ago

166 points

673.

Transit: JSON Data Interchange Format

github.com/cognitect

11 years ago

164 points

674.

Deprank: Use PageRank to find the most important files in your codebase

github.com/codemix

4 years ago

164 points

675.

Corcel – Use WordPress backend with Laravel or any PHP application

github.com/corcel

2 years ago

163 points

676.

Construct-JS – A library for creating byte level data structures

github.com/francisrstokes

7 years ago

163 points

677.

github.com/containers

a year ago

163 points

678.

Show HN: AgentAPI – HTTP API for Claude Code, Goose, Aider, and Codex

github.com/coder

a year ago

163 points

679.

Kata Containers: The speed of containers, the security of VMs

github.com/kata-containers

3 years ago

162 points

680.

Show HN: Coroot – eBPF-based, open source observability with actionable insights

github.com/coroot

a year ago

162 points

681.

Smooth CoffeeScript

autotelicum.github.com

15 years ago

162 points

682.

GitHub Copilot for individuals available without waitlist, with free trial

github.com/features

4 years ago

161 points

683.

Pdf2htmlEX – Convert PDF to HTML without losing text or format

github.com/coolwanglu

13 years ago

161 points

684.

The Little Book on CoffeeScript

arcturo.github.com

15 years ago

161 points

685.

Show HN: Copper – Open-source robotics in Rust with deterministic log replay

github.com/copper-project

2 years ago

161 points

686.

Docker Compose reads your “.env” without opt-out

github.com/docker

7 years ago

160 points

687.

PgManage: Modern, cross platform graphical database client

github.com/commandprompt

2 years ago

160 points

688.

Cog: Containers for Machine Learning

github.com/replicate

4 years ago

160 points

689.

CodeAlpaca – Instruction following code generation model

github.com/sahil280114

3 years ago

sahil_chaudhary

159 points

690.

Show HN: CodeSwing – A CodePen-like interactive playground, built into VS Code

github.com/codespaces-contrib

5 years ago

159 points