Search: github.com/martinn | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

91.

A Path from Logic to Metaphysics – Per Martin-Löf, 1991 [pdf]

github.com/michaelt

5 years ago

2 points

92.

github.com/MartinThoma

6 years ago

2 points

93.

LINQ: Test-Driven Learning

github.com/MartinChavez

11 years ago

2 points

94.

github.com/MartinChavez

11 years ago

2 points

95.

JavaScript: Test-Driven Learning

github.com/MartinChavez

11 years ago

StylifyYourBlog

2 points

96.

SSH agent forwarding and screen

gist.github.com

12 years ago

2 points

97.

Node on Fire — A productive & convention-based web framework

github.com/martijndeh

12 years ago

2 points

98.

Martini v1.0 released

github.com/go-martini

12 years ago

2 points

99.

Show HN: An easy way to host your own code blog

github.com/martinrue

13 years ago

2 points

100.

Archon – Multi Agent Development Orchestrator Based on Claude Code

github.com/martino-vigiani

5 months ago

2 points

101.

Show HN: AI Chat Terminal – Private data stays local, rest goes to cloud

github.com/martinschenk

8 months ago

2 points

102.

Injecting doubts in the CoT of reasoning models

github.com/martianlantern

10 months ago

2 points

103.

A Fast, Densely Stored Hashmap Based On Robin-Hood Backward Shift Deletion

github.com/martinus

a year ago

2 points

104.

Jujutsu: A Git-compatible VCS that is both simple and powerful

github.com/martinvonz

2 years ago

2 points

105.

Show HN: Mini_KV – minimalist in-memory key-value store

github.com/martinlevesque

2 years ago

2 points

106.

Nwipe: Secure Disk Eraser

github.com/martijnvanbrummelen

2 years ago

2 points

107.

FunctionalPy: Collection Pipelines in Python

github.com/MartinBernstorff

3 years ago

2 points

108.

Martin: Generate and serve vector tiles on the fly from multiple tile sources

github.com/maplibre

3 years ago

2 points

109.

Some Observations

gist.github.com

3 years ago

2 points

110.

Nools rules engine for node

github.com/doug-martin

14 years ago

2 points

111.

Jujutsu: A Git-Compatible DVCS, Combining Features from Git, Mercurial, Darcs

github.com/martinvonz

3 years ago

2 points

112.

Show HN: Auto-translate – an extensible CLI to auto translate YML/JSON content

github.com/martinlevesque

3 years ago

2 points

113.

Cheesemake: A declarative build tool for C/C++ in Bash

github.com/MartinRixham

3 years ago

2 points

114.

I wrote a library for creating basic HTTP-RPC servers in Go

github.com/martinrue

3 years ago

2 points

115.

Nanobench: Fast, Single-Header Microbenchmarking Functionality For C++

github.com/martinus

5 years ago

2 points

116.

Gdb-pt-dump: gdb scripts for analyzing a VM's address space

github.com/martinradev

5 years ago

2 points

117.

Fast And Memory Efficient C++ Hashtable Based On Robin Hood Hashing

github.com/martinus

5 years ago

2 points

118.

Python Implementation of the Monster Group

github.com/Martin-Seysen

6 years ago

2 points

119.

vis – A vi-like editor based on Plan 9's structural regular expressions

github.com/martanne

7 years ago

2 points

120.

Conf-Cal: A Human-Readable Conference Calendar Format and Library

github.com/martinheidegger

8 years ago

2 points