Search: github.com/SteveC | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

511.

Apalache: Symbolic model checker for TLA+ and Quint

github.com/apalache-mc

a month ago

3 points

512.

OpenKB: A Vectorless Knowledge Base for Long Documents

github.com/VectifyAI

2 months ago

3 points

513.

AutoAgent: Letting an AI Agent Improve Its Own Agent Harness Overnight

github.com/kevinrgu

3 months ago

3 points

514.

Show HN: Define MCP tools as YAML specs

github.com/shiehn

4 months ago

3 points

515.

Show HN: I created an open-source browser extension (GitOak) similar to Octotree

github.com/gitoaktools

a year ago

3 points

516.

Containers the hard way: Gocker: A mini Docker written in Go

github.com/shuveb

a year ago

3 points

517.

Trystero – Real-time WebRTC for webapps without a central server

github.com/dmotz

2 years ago

3 points

518.

Show HN: A simple Golang CP/M emulator that can run Zork

2 years ago

3 points

519.

Coder v2.0.0 Released

github.com/coder

3 years ago

3 points

520.

Aocla: The Advent of Code toy language

github.com/antirez

3 years ago

3 points

521.

JINY: Jana's tINY kernel designed for cloud workloads with Linux compatibility

github.com/naredula-jana

5 years ago

3 points

522.

General Purpose Web Desktop Operating System for Raspberry Pis and Low Power SBC

github.com/tobychui

5 years ago

3 points

523.

Show HN: Implementing FORTH, hacker-news style

6 years ago

3 points

524.

Autofocus doesn't work in web components

github.com/whatwg

6 years ago

3 points

525.

Show HN: Proof of concept server-configuration application

6 years ago

3 points

526.

You Don't Need Loops

github.com/you-dont-need

7 years ago

3 points

527.

Show HN: Instagram Hashtag Scrapper (NPM)

github.com/estebansanti

7 years ago

3 points

528.

You don't really need moment.js

github.com/you-dont-need

8 years ago

3 points

529.

DoWhy – Making causal inference easy [Microsoft Research]

github.com/Microsoft

8 years ago

3 points

530.

Probabilistic Programming for Programming Languages People

github.com/sampsyo

8 years ago

3 points

531.

A simple compiler and bytecode-interpreter in golang

8 years ago

3 points

532.

Create your own team dashboard with custom widgets

github.com/danielbayerlein

9 years ago

3 points

533.

Popout video player in Firefox

github.com/meandavejustice

9 years ago

3 points

534.

Google Play Music console player

github.com/budkin

9 years ago

3 points

535.

Keylixer – Count your daily keystrokes

github.com/dougblack

10 years ago

3 points

536.

MacOS Security and Privacy Guide

github.com/drduh

10 years ago

3 points

537.

Enroute – React router with a small footprint for modern browsers

10 years ago

3 points

538.

Jseg – A super simple, in-memory, JavaScript graph database

github.com/brandonbloom

10 years ago

3 points

539.

Show HN: The console-based, lua-scriptable, mail-client now supports IMAP

github.com/lumail

10 years ago

3 points

540.

Tcpdive – A TCP performance profiling tool, Open Sourced Now

github.com/fastos

10 years ago

3 points