Search: github.com/coq | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

721.

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

github.com/abiosoft

3 years ago

132 points

722.

Show HN: Simple way to share state using React Hooks and Context

github.com/diegohaz

7 years ago

131 points

723.

CoffeeScript: JavaScript without the Fail (slides)

bodil.github.com

15 years ago

131 points

724.

Comic Mono – a legible monospace font

github.com/dtinth

5 years ago

131 points

725.

Modern concurrency tools for Ruby

github.com/ruby-concurrency

10 years ago

131 points

726.

Make CPython segfault in 5 lines of code

gist.github.com

7 years ago

130 points

727.

Show HN: connet – A P2P reverse proxy with NAT traversal

github.com/connet-dev

a year ago

130 points

728.

Archive of Lisp Machine, Inc

github.com/jrm-code-project

6 years ago

130 points

729.

Kanban Board for the Command Line

github.com/coderofsalvation

4 years ago

128 points

730.

CogVideo: Large-Scale Pretraining for Text-to-Video Generation via Transformers

github.com/THUDM

4 years ago

128 points

731.

An Open Source Author's Lament

github.com/jashkenas

13 years ago

127 points

732.

Cowrie: a medium-interaction SSH and Telnet honeypot

github.com/cowrie

7 years ago

127 points

733.

An implementation of the NTFS filesystem in a Rust crate

github.com/ColinFinck

3 years ago

127 points

734.

CoreCLR building on ARM

github.com/dotnet

11 years ago

127 points

735.

Show HN: Low cost CO₂ monitoring (your office) with Prometheus and Go

github.com/larsp

8 years ago

127 points

736.

Krunvm – Create MicroVMs from OCI Images

github.com/containers

4 years ago

127 points

737.

Core ML Community Tools

github.com/apple

9 years ago

127 points

738.

Crun: Fully featured OCI runtime and C library for running containers

github.com/containers

5 years ago

126 points

739.

Mathpad: A mathematical keypad for students and professionals

github.com/Summa-Cogni

a year ago

126 points

740.

Torus development has been stopped at CoreOS

github.com/coreos

9 years ago

124 points

741.

github.com/cosmologicon

11 years ago

123 points

742.

Cortex: Deploy machine learning models in production

github.com/cortexlabs

7 years ago

123 points

743.

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

github.com/codr7

7 years ago

123 points

744.

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

745.

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

github.com/franciscop

10 years ago

122 points

746.

11 years ago

122 points

747.

Colly: Fast and Elegant Scraping Framework for Golang

github.com/asciimoo

9 years ago

120 points

748.

Cobaul: A COBOL to WebAssembly Compiler

github.com/cloudflare

6 years ago

120 points

749.

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

github.com/tangentstorm

13 years ago

120 points

750.

CoreFreq – CPU monitoring for 64-bit processors

github.com/cyring

9 years ago

120 points