Search: github.com/mischa | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

661.

Shentong – a Haskell implementation of Shen (github.com/mthom)

2 points

michaelsbradley

11 years ago

662.

The Humongous nfu Survival Guide (github.com/spencertipping)

2 points

michaelsbradley

12 years ago

663.

Chruby: a lightweight, elegant RVM alternative (github.com/postmodern)

2 points

13 years ago

664.

Rails.app first prerelease (github.com/tokaido)

2 points

13 years ago

665.

MIT's Makr Shakr open sourced after Google I/O debut! (github.com/xiamike)

2 points

13 years ago

666.

A Neuro-Symbolic engine that autonomously verified the GCT barrier in Lean 4 (github.com/MyceliaCognition)

2 points

a month ago

667.

Show HN: HEOR Agent. AI for health economics research from Claude (github.com/neptun2000)

2 points

2 months ago

668.

Show HN: Jira MCP – 3 tools that cover the full Jira API (schema, read, write) (github.com/mmatczuk)

2 points

3 months ago

669.

Show HN: VPC Principle - Why AI coding fails at scale (github.com/Ji-Hua)

2 points

4 months ago

670.

C++ Core Guidelines (github.com/isocpp)

2 points

michaelsbradley

4 months ago

671.

Show HN: Simple Claude Code memory alternative – past chats search (github.com/mlshv)

2 points

5 months ago

672.

Obsidian and Claude Code PKM Starter Kit (github.com/ballred)

2 points

5 months ago

673.

Skills (github.com/anthropics)

2 points

8 months ago

674.

Open-Sourcing ComfyDeploy (github.com/comfy-deploy)

2 points

9 months ago

675.

VoiceInk – Open-Source Whispr Flow and SuperWhisper Alternative (github.com/Beingpax)

2 points

9 months ago

676.

Laravel Tall Stack AI Development Starter Kit (github.com/tott)

2 points

10 months ago

677.

You can run small HuggingFace LLMs on iPhone (github.com/Q2-Development)

2 points

10 months ago

678.

Qthreads – large numbers of threads conveniently and easily (github.com/sandialabs)

2 points

michaelsbradley

a year ago

679.

GKE cross region capacity chasing (github.com/GoogleCloudPlatform)

2 points

a year ago

680.

Owi – WebAssembly Swissknife and cross-language bugfinder (github.com/OCamlPro)

2 points

michaelsbradley

2 years ago

681.

Maccy – lightweight clipboard manager for macOS (github.com/p0deje)

2 points

michaelsbradley

2 years ago

682.

Bussin Web X – An Alternative to the World Wide Web (github.com/face-hh)

2 points

2 years ago

683.

NextJS to-do app – open-source (github.com/farspeak)

2 points

2 years ago

684.

Talk to a file on the web in no time (notebook) (github.com/FARSPEAK)

2 points

2 years ago

685.

Show HN: stream-zip – Now with async support (github.com/uktrade)

2 points

2 years ago

686.

Show HN: to-file-like-obj - the inverse of Python's two-argument iter function (github.com/uktrade)

2 points

3 years ago

687.

Aiochan: CSP-Style Concurrency for Python (github.com/zh217)

2 points

michaelsbradley

3 years ago

688.

Show HN: pg-bulk-ingest – Bulk ingest into PostgreSQL with high-watermarking (github.com/uktrade)

2 points

3 years ago

689.

RMSbolt – supercharged implementation of the godbolt compiler-explorer for Emacs (github.com/emacsmirror)

2 points

michaelsbradley

3 years ago

690.

Xtensor: multi-dimensional arrays with broadcasting and lazy computing (github.com/xtensor-stack)

2 points

michaelsbradley

4 years ago