Search: github.com/system-f | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

Huginn: System for building agents that perform automated tasks online (github.com/huginn)

270 points

4 years ago

32.

Show HN: Find3 – An indoor positioning system for smartphones and laptops (github.com/schollz)

265 points

8 years ago

33.

Vramfs – GPU VRAM based file system for Linux (github.com/Overv)

243 points

3 years ago

34.

Openpilot – Operating system for robotics (github.com/commaai)

241 points

2 years ago

35.

LiteFS a FUSE-based file system for replicating SQLite (github.com/superfly)

241 points

4 years ago

36.

Baidu File System – A distributed file system for real-time applications (github.com/baidu)

239 points

10 years ago

37.

A configuration management system for computers that are pets, not cattle (github.com/ema)

193 points

4 years ago

38.

Git-appraise: Distributed code review system for Git repos (github.com/google)

189 points

10 years ago

39.

SPQR 1.3.0: a production-ready system for horizontal scaling of PostgreSQL (github.com/pg-sharding)

185 points

2 years ago

40.

Show HN: FIND – an indoor positioning system for smartphones and laptops (github.com/schollz)

183 points

10 years ago

41.

Show HN: Project management system for Claude Code (github.com/automazeio)

175 points

10 months ago

42.

Lua-RTOS: a real-time operating system for ESP32 (github.com/whitecatboard)

171 points

5 years ago

43.

Show HN: Yet another memory system for LLMs (github.com/trvon)

165 points

10 months ago

44.

A Practical Optional Type System for Clojure (cloud.github.com)

164 points

14 years ago

45.

Serena: An experimental operating system for 32bit Amiga computers (github.com/dplanitzer)

163 points

2 years ago

46.

Show HN: Hubfs – File System for GitHub (github.com/winfsp)

160 points

4 years ago

47.

KnightOS – an open-source operating system for TI calculators (github.com/KnightOS)

158 points

11 years ago

48.

Gcsfuse: A user-space file system for interacting with Google Cloud Storage (github.com/GoogleCloudPlatform)

152 points

3 years ago

49.

NanoLog – a nanosecond scale logging system for C++ (github.com/PlatformLab)

144 points

7 years ago

50.

Limbo – A Reasoning System for First-Order Limited Belief (github.com/schwering)

143 points

9 years ago

51.

Show HN: Lunatic – Actor System for Rust/WebAssembly (github.com/lunatic-lang)

141 points

6 years ago

52.

LGTM is a simple pull request approval system for GitHub (github.com/lgtmco)

136 points

10 years ago

53.

Ramses – A distributed system for rendering 3D content (github.com/GENIVI)

136 points

7 years ago

54.

SkiftOS: Simple, handmade operating system for the x86 platform (github.com/skiftOS)

133 points

5 years ago

55.

Show HN: System for Private Data Management (github.com/Volmarg)

132 points

5 years ago

56.

Rusty.hpp: A Borrow Checker and Memory Ownership System for C++20 (github.com/Jaysmito101)

124 points

2 years ago

57.

Show HN: Trane, an automated system for learning complex skills (github.com/trane-project)

119 points

4 years ago

58.

StardustOS: Library operating system for building light-weight Unikernels (github.com)

118 points

6 months ago

59.

RTM-Z80: Retro Tiny Multitasking System for Z80 Based Computers (github.com/Laci1953)

111 points

4 years ago

60.

Sailor, a native and portable container system for NetBSD and Mac OS X (github.com/NetBSDfr)

109 points

10 years ago