Search: github.com/coq | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

751.

Mathpad: A mathematical keypad for students and professionals

github.com/Summa-Cogni

a year ago

126 points

752.

Torus development has been stopped at CoreOS

github.com/coreos

9 years ago

124 points

753.

github.com/cosmologicon

11 years ago

123 points

754.

Cortex: Deploy machine learning models in production

github.com/cortexlabs

7 years ago

123 points

755.

Show HN: G-Fu – a pragmatic Lisp embedded in Go

github.com/codr7

7 years ago

123 points

756.

Show HN: If VS Code had a data-centric IDE sibling, what would that look like?

github.com/code-kern-ai

4 years ago

122 points

757.

Show HN: cookies.js, making cookies a delight to work with on the front-end

github.com/franciscop

10 years ago

122 points

758.

11 years ago

122 points

759.

Colly: Fast and Elegant Scraping Framework for Golang

github.com/asciimoo

9 years ago

120 points

760.

Cobaul: A COBOL to WebAssembly Compiler

github.com/cloudflare

6 years ago

120 points

761.

Why would useless MOV instructions speed up a tight loop in x86_64 assembly?

github.com/tangentstorm

13 years ago

120 points

762.

CoreFreq – CPU monitoring for 64-bit processors

github.com/cyring

9 years ago

120 points

763.

Show HN: Rust test harness that measures energy consumption

github.com/ThijsRay

4 years ago

120 points

764.

Show HN: An Example Microservice Back End for Kubernetes, Bazel, Go, Java, GRPC

github.com/lucperkins

8 years ago

119 points

765.

Colorls – A Ruby script that beautifies the terminal's ls command

github.com/athityakumar

9 years ago

118 points

766.

Air – Live reload when developing with Go

github.com/cosmtrek

5 years ago

117 points

767.

Show HN: Code Claude Code

github.com/RVCA212

a year ago

117 points

768.

Hash collisions and exploitations (2019)

github.com/corkami

2 years ago

117 points

769.

Genann – Simple neural network library in ANSI C

github.com/codeplea

8 years ago

117 points

770.

Colly – Scraping Framework for Golang

github.com/gocolly

9 years ago

116 points

771.

Console.image - Images in Chrome Dev tools

github.com/dunxrion

13 years ago

116 points

772.

Ridiculous captcha at GitHub to reset your password

github.com/orgs

3 years ago

115 points

773.

Collections-C, generic data structures for C

github.com/srdja

10 years ago

115 points

774.

GPT Code Clippy, the Open Source Version of GitHub Copilot

github.com/CodedotAl

5 years ago

115 points

775.

Twitter releases SPDY library for iOS and OS X

github.com/twitter

13 years ago

114 points

776.

Ultra-low-latency, batching and concurrent queue for IPC in Java

github.com/coralblocks

2 years ago

113 points

777.

Show HN: Composing Studio – An online, collaborative editor for music notation

github.com/ekzhang

5 years ago

113 points

778.

Source code of Germany’s official covid-19 contact tracing app

6 years ago

112 points

779.

Write PHP Code Within Next.js Components

github.com/bufferhead-code

3 years ago

112 points

780.

Magicpak: Build minimal Docker images without static linking

github.com/coord-e

6 years ago

112 points