Search: github.com/coq | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

901.

Show HN: AI pair programmer for Emacs

github.com/jaketothepast

16 days ago

70 points

902.

Durable Coroutines for Go

github.com/stealthrocket

3 years ago

69 points

903.

Show HN: Concurrently Logging HTTP Requests

github.com/PabloSichert

10 years ago

69 points

904.

Reverse Engineering ME2's USB with a Heat Gun and a Knife

github.com/coremaze

2 months ago

69 points

905.

Allow us to block Copilot-generated issues (and PRs) from our own repositories

github.com/orgs

a year ago

69 points

906.

Show HN: Coinmon – Check Bitcoin Prices in Terminal

github.com/bichenkk

9 years ago

68 points

907.

Show HN: Cosh – concatenative command-line shell

github.com/tomhrr

3 years ago

68 points

908.

Political Speech Generator

github.com/valentin012

10 years ago

68 points

909.

List of people offering their time for free to have a "coffee chat"

github.com/fharper

2 years ago

68 points

910.

CotEditor – Lightweight Plain-Text Editor for macOS

github.com/coteditor

4 years ago

68 points

911.

AngularJS powered mobile boilerplate app that also does offline out of the box

github.com/comoyo

13 years ago

68 points

912.

Show HN: Coisas, an open-source client-side CMS for static site generators

github.com/fiatjaf

9 years ago

68 points

913.

Show HN: libcodr7 – fundamental collections in the spirit of C

github.com/codr7

6 years ago

67 points

914.

BountySource suspended from GitHub

github.com/bountysource

9 years ago

67 points

915.

Show HN: Countdown – Twitter bot which tweets answers to the Countdown TV show

github.com/benjojo

13 years ago

67 points

916.

Cocoapods: An Objective-C library package manager

github.com/alloy

15 years ago

67 points

917.

VaderSharp – Sentiment analysis using Vader with C#

github.com/codingupastorm

9 years ago

67 points

918.

A namespace implementation for Emacs Lisp

github.com/Bruce-Connor

12 years ago

67 points

919.

Numba - A NumPy aware (LLVM-based) optimizing compiler for Python

github.com/ContinuumIO

14 years ago

67 points

920.

The Little Book on CoffeeScript

arcturo.github.com

15 years ago

67 points

921.

Build an AI telephony agent for inbound and outbound calls

github.com/videosdk-community

a year ago

66 points

922.

Commafeed: An Open Source Google Reader Clone

github.com/Athou

13 years ago

66 points

923.

IBM releases RTL source code for A2I Blue Gene/Q processor core

github.com/openpower-cores

6 years ago

66 points

924.

Racket Plot Cookbook

github.com/Racket-Cookbooks

2 years ago

66 points

925.

Show HN: Comgra: A library for debugging and understanding neural networks

github.com/FlorianDietz

3 years ago

66 points

926.

github.com/containers

3 years ago

66 points

927.

Coleslaw: Static Site Generator in Common Lisp

github.com/coleslaw-org

7 years ago

66 points

928.

Show HN: Sqlkit – Golang SQL package with nested transactions

github.com/colinjfw

7 years ago

65 points

929.

Color_coded: Real-time semantic highlighting in vim with libclang

github.com/jeaye

11 years ago

65 points

930.

Show HN: forthy2 – a higher level Forth-remix in C++

github.com/codr7

7 years ago

65 points