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

HK

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

4 years ago

270 points

32.

Show HN: Find3 – An indoor positioning system for smartphones and laptops

github.com/schollz

8 years ago

265 points

33.

Vramfs – GPU VRAM based file system for Linux

github.com/Overv

3 years ago

243 points

34.

Openpilot – Operating system for robotics

github.com/commaai

2 years ago

241 points

35.

LiteFS a FUSE-based file system for replicating SQLite

github.com/superfly

4 years ago

241 points

36.

Baidu File System – A distributed file system for real-time applications

github.com/baidu

10 years ago

239 points

37.

A configuration management system for computers that are pets, not cattle

4 years ago

193 points

38.

Git-appraise: Distributed code review system for Git repos

github.com/google

11 years ago

189 points

39.

SPQR 1.3.0: a production-ready system for horizontal scaling of PostgreSQL

github.com/pg-sharding

2 years ago

185 points

40.

Show HN: FIND – an indoor positioning system for smartphones and laptops

github.com/schollz

10 years ago

183 points

41.

Show HN: Project management system for Claude Code

github.com/automazeio

10 months ago

175 points

42.

Lua-RTOS: a real-time operating system for ESP32

github.com/whitecatboard

5 years ago

171 points

43.

Show HN: Yet another memory system for LLMs

github.com/trvon

10 months ago

165 points

44.

A Practical Optional Type System for Clojure

cloud.github.com

14 years ago

164 points

45.

Serena: An experimental operating system for 32bit Amiga computers

github.com/dplanitzer

2 years ago

163 points

46.

Show HN: Hubfs – File System for GitHub

github.com/winfsp

4 years ago

160 points

47.

KnightOS – an open-source operating system for TI calculators

github.com/KnightOS

11 years ago

158 points

48.

Gcsfuse: A user-space file system for interacting with Google Cloud Storage

github.com/GoogleCloudPlatform

3 years ago

152 points

49.

NanoLog – a nanosecond scale logging system for C++

github.com/PlatformLab

7 years ago

144 points

50.

Limbo – A Reasoning System for First-Order Limited Belief

github.com/schwering

9 years ago

143 points

51.

Show HN: Lunatic – Actor System for Rust/WebAssembly

github.com/lunatic-lang

6 years ago

141 points

52.

LGTM is a simple pull request approval system for GitHub

github.com/lgtmco

10 years ago

136 points

53.

Ramses – A distributed system for rendering 3D content

github.com/GENIVI

7 years ago

136 points

54.

SkiftOS: Simple, handmade operating system for the x86 platform

github.com/skiftOS

5 years ago

133 points

55.

Show HN: System for Private Data Management

github.com/Volmarg

5 years ago

132 points

56.

Rusty.hpp: A Borrow Checker and Memory Ownership System for C++20

github.com/Jaysmito101

2 years ago

124 points

57.

Show HN: Trane, an automated system for learning complex skills

github.com/trane-project

4 years ago

119 points

58.

StardustOS: Library operating system for building light-weight Unikernels

7 months ago

118 points

59.

RTM-Z80: Retro Tiny Multitasking System for Z80 Based Computers

github.com/Laci1953

4 years ago

111 points

60.

Sailor, a native and portable container system for NetBSD and Mac OS X

github.com/NetBSDfr

10 years ago

109 points