Search: github.com/coq | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

961.

Anthropic Courses

github.com/anthropics

2 years ago

42 points

962.

Usernetes: run Docker and Kubernetes without being root

github.com/rootless-containers

7 years ago

42 points

963.

Show HN: Comply – compliance automation, including SOC2 templates

github.com/strongdm

8 years ago

41 points

964.

Linux Containers on FreeBSD

github.com/containerd

4 years ago

40 points

965.

Continuum - A javascript ES6 VM

github.com/benvie

13 years ago

40 points

966.

Show HN: Tiny – An interpeted dynamic langauge with inline Go native functions

github.com/confh

5 days ago

40 points

967.

(GitHub) Copilot doesn’t work if profanity exists

github.com/orgs

3 years ago

40 points

968.

Speck – A small unit testing framework for C

github.com/compiler-dept

11 years ago

40 points

969.

Dogpatch: HTTP API testing framework, written in PHP using curl

github.com/commando

12 years ago

40 points

970.

OpenPilot isn't Open

github.com/commaai

5 years ago

40 points

971.

Python Continuous Documentation

github.com/icgood

11 years ago

40 points

972.

Generate command-line completions using a simple DSL

github.com/mbrubeck

11 years ago

40 points

973.

Docker compatible open source: Containerd nerdctl

github.com/containerd

5 years ago

40 points

974.

Hacker Newsy: a pretty Hacker News client

github.com/cotyhamilton

2 years ago

39 points

975.

Show HN: Vrmac Graphics, a cross-platform graphics library for .NET

github.com/Const-me

6 years ago

39 points

976.

Show HN: zodiac, a new approach to monkey patching in python

github.com/colinmarc

14 years ago

39 points

977.

Show HN: Weekend project - VS2010 CoffeeScript syntax highlighting

github.com/chrisdunelm

15 years ago

39 points

978.

github.com/Co-dfns

2 years ago

39 points

979.

Exploiting Lua 5.1 on 32-bit Windows

gist.github.com

13 years ago

39 points

980.

The code that powers Voten, an open-source and real-time Reddit alternative

github.com/voten-co

9 years ago

39 points

981.

GitHub Sponsors will stop accepting PayPal on February 23, 2023

github.com/orgs

3 years ago

38 points

982.

Show HN: Building better base images

github.com/avkcode

a year ago

38 points

983.

Copy Fail 2: Electric Boogaloo

github.com/0xdeadbeefnetwork

2 months ago

38 points

984.

Molinillo: a dependency resolution algorithm

github.com/CocoaPods

9 years ago

38 points

985.

Show HN: Build a Lisp in Swift

github.com/codr7

5 years ago

38 points

986.

An open standard for hashing network flows into identifiers

github.com/corelight

7 years ago

38 points

987.

<script type="text/coffeescript">

jashkenas.github.com

16 years ago

37 points

988.

Show HN: A Cryptocurrency in 4K Lines of Scala Code

github.com/ConsensusResearch

11 years ago

37 points

989.

Show HN: Cocert: split your private keys securely amongst untrusted network

github.com/Dentrax

5 years ago

37 points

990.

An ultimate Kubernetes hands-on labs

github.com/collabnix

6 years ago

37 points