Search: github.com/coq | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

781.

Open-sourced Covid-19 testing site search tool and assessment

github.com/oscarhealth

6 years ago

111 points

782.

CO2meter: A Python interface to USB CO2 monitor devices

github.com/vfilimonov

6 years ago

110 points

783.

Show HN: Minimal versioned log structured relational DB in Common Lisp

github.com/codr7

5 years ago

110 points

784.

Crun: Fast and lightweight OCI runtime and C library for running containers

github.com/containers

3 years ago

109 points

785.

COBOL on Wheelchair: Micro web-framework for COBOL

github.com/azac

3 years ago

108 points

786.

Show HN: GridRoyale, a life simulation for exploring social dynamics

github.com/cool-RR

6 years ago

108 points

787.

Show HN: Polished – A lightweight toolset for writing styles in JavaScript

github.com/styled-components

9 years ago

106 points

788.

github.com/context-labs

2 years ago

106 points

789.

Show HN: Guts – convert Golang types to TypeScript

github.com/coder

7 months ago

105 points

790.

Alpine.js Magic Helpers Library

github.com/alpine-collective

5 years ago

105 points

791.

Windows 11 upgrade tool that bypasses Microsoft´s requirements

github.com/coofcookie

5 years ago

104 points

792.

Podman: Pasta User-Mode Networking

github.com/containers

4 years ago

104 points

793.

Show HN: Hstream – quick Python web apps – Streamlit alternative using htmx

github.com/conradbez

4 years ago

104 points

794.

COBOL Programming Course

github.com/openmainframeproject

4 years ago

103 points

795.

Coherent: The affordable Unix-like PC OS from over a decade before Linux 0.01

github.com/gspu

3 years ago

103 points

796.

Cosmopolitan v3.5.8

github.com/jart

2 years ago

103 points

797.

Span – An abstraction over all types of memory available to .NET programs

github.com/dotnet

10 years ago

103 points

798.

A desktop app for isolated, parallel agentic development

github.com/coder

7 months ago

100 points

799.

Driving dataset for car autopilot AI training

github.com/commaai

10 years ago

100 points

800.

Fero – A secure signing server built around the YubiHSM2

github.com/coreos

8 years ago

100 points

801.

GitHub education pack requesting real name on public profile

github.com/orgs

3 years ago

99 points

802.

GitHub code search – waiting list signup

github.com/features

4 years ago

99 points

803.

Show HN: Coasts – Containerized Hosts for Agents

github.com/coast-guard

3 months ago

99 points

804.

A Language Server for Postgres

github.com/supabase-community

a year ago

99 points

805.

CoverDrop: A secure messaging system for newsreader apps

github.com/guardian

a year ago

99 points

806.

Finite state transducers in Go

github.com/couchbaselabs

9 years ago

99 points

807.

Ex-Googlers CockroachDB: A Scalable, Geo-Replicated, Transactional Datastore

github.com/cockroachdb

12 years ago

98 points

808.

TensorFlow Benchmarks

github.com/soumith

11 years ago

98 points

809.

Codakido, Lua/SDL programming environment for Kids, with C64-alike editor

github.com/antirez

14 years ago

98 points

810.

A webshell and a normal file that have the same MD5

github.com/phith0n

9 months ago

98 points