Search: github.com/coq | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

811.

Show HN: Open Sourcing my HTML5 Multiplayer Game Engine

github.com/tlhunter

14 years ago

87 points

812.

Show HN: Opik, an open source LLM evaluation framework

github.com/comet-ml

2 years ago

86 points

813.

Show HN: Cortex – machine learning infrastructure for developers

github.com/cortexlabs

7 years ago

86 points

814.

The SQL layer in CockroachDB

github.com/cockroachdb

9 years ago

85 points

815.

Cockroachdb/copyist: Mocking an SQL database in Go tests

github.com/cockroachdb

6 years ago

85 points

816.

Colorjoe - A Scaleable Color Picker (No Images)

bebraw.github.com

14 years ago

85 points

817.

CodiMD, self-hosted, real-time collaborative markdown notes

github.com/codimd

6 years ago

85 points

818.

Johns Hopkins Covid-19 Github Data Repo

github.com/CSSEGISandData

6 years ago

85 points

819.

Script to do instant MD5 collisions of any pair of PDFs

github.com/corkami

8 years ago

85 points

820.

Your website's content -> Q&A bot / chatbot

github.com/mpaepper

3 years ago

84 points

821.

Hope – A Python JIT for astrophysical computations

github.com/cosmo-ethz

12 years ago

84 points

822.

github.com/dotnet

2 years ago

83 points

823.

Serverless Components

github.com/serverless

7 years ago

83 points

824.

Learning the soroban as an adult (2022)

github.com/whacked

10 months ago

83 points

825.

OpenAI releases Consistency Model for one-step generation

github.com/openai

3 years ago

83 points

826.

GitHub Collection: Made in India

github.com/collections

5 years ago

83 points

827.

Lean theorem prover mathlib

github.com/leanprover-community

6 months ago

83 points

828.

Transactional memory in Forth, in Lisp

github.com/codr4life

9 years ago

83 points

829.

Go-benchmark: Golang benchmarks used for optimizing code

github.com/cornelk

8 years ago

82 points

830.

Control USB power on a port by port basis on some USB hubs

github.com/codazoda

3 years ago

82 points

831.

Show HN: Container Use for Agents

github.com/dagger

a year ago

82 points

832.

Show HN: Commandcar – a CLI tool that can easily communicate with any API

github.com/tikalk

11 years ago

82 points

833.

EventHub – An open source event analytics platform

github.com/Codecademy

12 years ago

82 points

834.

CoreFreq, a CPU monitoring software frequencies, ratios, C-states

github.com/cyring

4 years ago

81 points

835.

Eca: Editor Code Assistant – AI pair programming capabilities agnostic of editor

github.com/editor-code-assistant

10 months ago

81 points

836.

Show HN: Cobalt2 theme and colour scheme for Sublime Text

github.com/wesbos

12 years ago

80 points

837.

Simple 4-bit/1 Hz virtual computer for learning purposes

github.com/gto76

11 years ago

80 points

838.

Composefs: Content-Addressable Overlay Filesystem for Linux

github.com/containers

3 years ago

80 points

839.

Show HN: WanderApp – Cast Harry Potter Spells with gyroscope data

github.com/corupta

5 years ago

80 points

840.

Rose: Compiler Infrastructure for Source-to-Source Program Transformation

github.com/rose-compiler

7 years ago

80 points