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

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

61.

Show HN: AI Peer Reviewer – Multiagent system for scientific manuscript analysis (github.com/robertjakob)

108 points

a year ago

62.

San Francisco system font replacement for Yosemite (github.com/wellsriley)

107 points

12 years ago

63.

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

105 points

11 years ago

64.

MonkeyType: A system for Python that automatically generates type annotations (github.com/instagram)

104 points

6 years ago

65.

OSv, a new operating system for the cloud (github.com/cloudius-systems)

101 points

11 years ago

66.

Homebrew is a new package management system for OS X based on git + ruby (github.com/mxcl)

99 points

17 years ago

67.

CoverDrop: A secure messaging system for newsreader apps (github.com/guardian)

99 points

a year ago

68.

DreamShell: Operating System for the Sega Dreamcast (github.com/DC-SWAT)

99 points

2 years ago

69.

WesternDigital/blb: Distributed object storage system for use on bare metal (github.com/westerndigitalcorporation)

95 points

8 years ago

70.

Cryptographically verifiable code review system for cargo Rust package manager (github.com/crev-dev)

95 points

5 years ago

71.

OUP/M: CP/M-like operating system for 6502 (github.com/option8)

83 points

8 years ago

72.

WEIR-A System for Making Generative Systems (github.com/inconvergent)

82 points

5 years ago

73.

RDL: a lightweight system for adding contracts to Ruby (github.com/plum-umd)

81 points

10 years ago

74.

Show HN: Compiler using Lisp’s macro system for metaprogramming C-like languages (github.com/kiselgra)

80 points

8 years ago

75.

Fastlane.ci – Continuous integration system for mobile apps (github.com/fastlane)

80 points

8 years ago

76.

EmuTOS, a free operating system for Atari computers (github.com/emutos)

76 points

7 years ago

77.

The Unix PC 3B1 system font, for modern computers (github.com/brandon-rhodes)

72 points

6 years ago

78.

Knocker, a knock based access control system for your homelab (github.com/FarisZR)

71 points

7 months ago

79.

Browsix – A Unix-Like Operating System for the Browser (github.com/plasma-umass)

66 points

10 years ago

80.

Web Browser based control system for the RaspberryPi (github.com/NeonHorizon)

65 points

13 years ago

81.

SnarkOS: A decentralized operating system for zero-knowledge applications (github.com/AleoHQ)

64 points

3 years ago

82.

Nextflow: System for creating scalable, portable, reproducible workflows (github.com/nextflow-io)

60 points

a year ago

83.

LiteBSD is variant of 4.4BSD operating system for microcontrollers (github.com/sergev)

60 points

10 years ago

84.

KnightOS – a FOSS operating system for TI calculators written in z80 asm (github.com)

60 points

10 years ago

85.

NatI: Multi-language voice control system for Ubuntu written in Python (github.com/rcorcs)

59 points

12 years ago

86.

Security of BIOS/UEFI System Firmware from Attacker and Defender Perspectives (github.com/advanced-threat-research)

57 points

9 years ago

87.

Reasonable System for CSS Stylesheet Structure (github.com/rstacruz)

56 points

11 years ago

88.

Show HN: Evolved.lua – An Evolved Entity Component System for Lua (github.com/BlackMATov)

55 points

a year ago

89.

Bootstrap a Linux system from a 512 byte binary seed with 170 steps (github.com/fosslinux)

53 points

2 years ago

90.

Enaml: A declarative UI library with a Cassowary layout system for Python (github.com/nucleic)

52 points

11 years ago