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

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

61.

Part-DB: open-source inventory management system for your electronic components

github.com/Part-DB

3 years ago

109 points

62.

Show HN: AI Peer Reviewer – Multiagent system for scientific manuscript analysis

github.com/robertjakob

a year ago

108 points

63.

San Francisco system font replacement for Yosemite

github.com/wellsriley

12 years ago

107 points

64.

VRAMfs – VRAM based file system for Linux

github.com/Overv

12 years ago

105 points

65.

MonkeyType: A system for Python that automatically generates type annotations

github.com/instagram

6 years ago

104 points

66.

OSv, a new operating system for the cloud

github.com/cloudius-systems

11 years ago

101 points

67.

Homebrew is a new package management system for OS X based on git + ruby

github.com/mxcl

17 years ago

99 points

68.

CoverDrop: A secure messaging system for newsreader apps

github.com/guardian

a year ago

99 points

69.

DreamShell: Operating System for the Sega Dreamcast

github.com/DC-SWAT

2 years ago

99 points

70.

WesternDigital/blb: Distributed object storage system for use on bare metal

github.com/westerndigitalcorporation

8 years ago

95 points

71.

Cryptographically verifiable code review system for cargo Rust package manager

github.com/crev-dev

5 years ago

95 points

72.

OUP/M: CP/M-like operating system for 6502

github.com/option8

8 years ago

83 points

73.

WEIR-A System for Making Generative Systems

github.com/inconvergent

5 years ago

82 points

74.

RDL: a lightweight system for adding contracts to Ruby

github.com/plum-umd

10 years ago

81 points

75.

Show HN: Compiler using Lisp’s macro system for metaprogramming C-like languages

github.com/kiselgra

8 years ago

80 points

76.

Fastlane.ci – Continuous integration system for mobile apps

github.com/fastlane

8 years ago

80 points

77.

EmuTOS, a free operating system for Atari computers

github.com/emutos

7 years ago

76 points

78.

The Unix PC 3B1 system font, for modern computers

github.com/brandon-rhodes

6 years ago

72 points

79.

Knocker, a knock based access control system for your homelab

github.com/FarisZR

8 months ago

71 points

80.

Browsix – A Unix-Like Operating System for the Browser

github.com/plasma-umass

10 years ago

66 points

81.

Web Browser based control system for the RaspberryPi

github.com/NeonHorizon

13 years ago

65 points

82.

SnarkOS: A decentralized operating system for zero-knowledge applications

github.com/AleoHQ

3 years ago

64 points

83.

Nextflow: System for creating scalable, portable, reproducible workflows

github.com/nextflow-io

a year ago

60 points

84.

LiteBSD is variant of 4.4BSD operating system for microcontrollers

github.com/sergev

10 years ago

60 points

85.

KnightOS – a FOSS operating system for TI calculators written in z80 asm

10 years ago

60 points

86.

NatI: Multi-language voice control system for Ubuntu written in Python

github.com/rcorcs

12 years ago

59 points

87.

Security of BIOS/UEFI System Firmware from Attacker and Defender Perspectives

github.com/advanced-threat-research

9 years ago

57 points

88.

Reasonable System for CSS Stylesheet Structure

github.com/rstacruz

11 years ago

56 points

89.

Show HN: Evolved.lua – An Evolved Entity Component System for Lua

github.com/BlackMATov

a year ago

55 points

90.

Bootstrap a Linux system from a 512 byte binary seed with 170 steps

github.com/fosslinux

2 years ago

53 points