Search: github.com/michael | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

451.

MIT's Makr Shakr open sourced after Google I/O debut!

github.com/xiamike

13 years ago

2 points

452.

A Neuro-Symbolic engine that autonomously verified the GCT barrier in Lean 4

github.com/MyceliaCognition

2 months ago

2 points

453.

Show HN: HEOR Agent. AI for health economics research from Claude

github.com/neptun2000

2 months ago

2 points

454.

Show HN: VPC Principle - Why AI coding fails at scale

github.com/Ji-Hua

5 months ago

2 points

455.

C++ Core Guidelines

github.com/isocpp

5 months ago

michaelsbradley

2 points

456.

Obsidian and Claude Code PKM Starter Kit

github.com/ballred

6 months ago

2 points

457.

github.com/anthropics

8 months ago

2 points

458.

Open-Sourcing ComfyDeploy

github.com/comfy-deploy

9 months ago

2 points

459.

VoiceInk – Open-Source Whispr Flow and SuperWhisper Alternative

github.com/Beingpax

9 months ago

2 points

460.

Laravel Tall Stack AI Development Starter Kit

github.com/tott

a year ago

2 points

461.

You can run small HuggingFace LLMs on iPhone

github.com/Q2-Development

a year ago

2 points

462.

Qthreads – large numbers of threads conveniently and easily

github.com/sandialabs

a year ago

michaelsbradley

2 points

463.

GKE cross region capacity chasing

github.com/GoogleCloudPlatform

a year ago

2 points

464.

Owi – WebAssembly Swissknife and cross-language bugfinder

github.com/OCamlPro

2 years ago

michaelsbradley

2 points

465.

Maccy – lightweight clipboard manager for macOS

github.com/p0deje

2 years ago

michaelsbradley

2 points

466.

Bussin Web X – An Alternative to the World Wide Web

github.com/face-hh

2 years ago

2 points

467.

Aiochan: CSP-Style Concurrency for Python

github.com/zh217

3 years ago

michaelsbradley

2 points

468.

RMSbolt – supercharged implementation of the godbolt compiler-explorer for Emacs

github.com/emacsmirror

3 years ago

michaelsbradley

2 points

469.

Xtensor: multi-dimensional arrays with broadcasting and lazy computing

github.com/xtensor-stack

4 years ago

michaelsbradley

2 points

470.

Zellij – terminal workspace with batteries included

github.com/zellij-org

5 years ago

michaelsbradley

2 points

471.

The Portal Network

github.com/ethereum

5 years ago

michaelsbradley

2 points

472.

A modern Result type in C++

github.com/bitwizeshift

5 years ago

michaelsbradley

2 points

473.

ShowHN: Web UI for managing Kubernetes clusters (like k9s)

github.com/MoserMichael

6 years ago

MichaelMoser123

2 points

474.

Contributor license agreements needed for removal of share-alike clause

github.com/MetaMask

6 years ago

michaelsbradley

2 points

475.

Jitsi Meet Gains Firefox Support

github.com/jitsi

6 years ago

2 points

476.

Python Helped Grab Image of a Black Hole

github.com/achael

7 years ago

2 points

477.

Controlled and uncontrolled component design pattern in React

github.com/n0ruSh

7 years ago

2 points

478.

TypeScript Introduction(Ⅰ)

github.com/n0ruSh

7 years ago

2 points

479.

React optimization tips

github.com/n0ruSh

8 years ago

2 points

480.

An efficient way to check linked list for palindrome

github.com/n0ruSh

8 years ago

2 points