Search: github.com/coq | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

571.

Show HN: Make continuous reforestation part of your daily workflow

github.com/protontypes

5 years ago

148 points

572.

Show HN: Open Source TailwindCSS UI Components

github.com/EasyFrontend-com

2 years ago

148 points

573.

Micro web-framework for COBOL

github.com/azac

10 years ago

147 points

574.

Show HN: Copper – A Go framework for your projects

github.com/gocopper

4 years ago

146 points

575.

System.Linq.Parallel Is Now Open Source

github.com/dotnet

12 years ago

146 points

576.

Show HN: Lisp in C#

github.com/codr7

2 years ago

144 points

577.

Introduction to the Common Language Runtime (2007)

github.com/dotnet

11 years ago

StylifyYourBlog

143 points

578.

Competitive Programming Curriculum

github.com/AhmadElsagheer

9 years ago

142 points

579.

CoVim – Collaborative Editing for Vim

github.com/FredKSchott

9 years ago

142 points

580.

Please petition GitHub to support HTTPS on GitHub pages

gist.github.com

11 years ago

141 points

581.

Next.js Commerce store, one-click deploy to Netlify

github.com/chec

6 years ago

141 points

582.

Show HN: I made a self-hosted ChatGPT UI

github.com/cogentapps

3 years ago

141 points

583.

github.com/Codepoints

6 years ago

141 points

584.

Worm: A dynamic, tag-based window manager written in Nim

github.com/codic12

4 years ago

141 points

585.

GitHub discusses giving maintainers control to disable PRs

github.com/orgs

5 months ago

139 points

586.

Cosmos is an operating system “construction kit”

github.com/CosmosOS

8 years ago

139 points

587.

Show HN: Tiny FOSS Compass and Navigation App (<2MB)

github.com/CompassMB

5 months ago

137 points

588.

PolyDye: Full color printer mod for Marlin 3D printers

github.com/cooljjj33

a year ago

137 points

589.

Show HN: Open-source private home security camera system (end-to-end encryption)

github.com/secluso

25 days ago

137 points

590.

Show HN: Codebox - Open-source cloud and desktop IDE

github.com/FriendCode

12 years ago

136 points

591.

Retroactive: Run Aperture, iPhoto and iTunes on macOS Ventura, Monterey, Big Sur

github.com/cormiertyshawn895

3 years ago

wannacboatmovie

135 points

592.

CoreRT – .NET Core runtime optimized for AOT compilation

github.com/dotnet

8 years ago

135 points

593.

Code2flow: Pretty good call graphs for dynamic languages

github.com/scottrogowski

5 years ago

135 points

594.

New GitHub feed is hot garbage

github.com/orgs

3 years ago

135 points

595.

Show HN: Webctl – Browser automation for agents based on CLI instead of MCP

github.com/cosinusalpha

5 months ago

134 points

596.

Coccinelle: Source-to-source transformation tool

github.com/coccinelle

4 months ago

134 points

597.

github.com/cognitom

3 years ago

133 points

598.

Show HN: Darken – Darkmode Made Easy

github.com/ColinEspinas

6 years ago

133 points

599.

Show HN: Konstellate – An Open Source GUI to Visualize Kubernetes Applications

github.com/containership

7 years ago

133 points

600.

Colima: Container runtimes on macOS (and Linux) with minimal setup

github.com/abiosoft

3 years ago

132 points