Search: github.com/OperantAI | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

61.

Show HN: The Sage Programming Language (github.com/adam-mcdaniel)

114 points

2 years ago

62.

Show HN: Vekos – a Rust OS with Built-In Cryptographic Verification (github.com/JGiraldo29)

82 points

2 years ago

63.

Tell HN: GitHub Appears to Be Down

17 points

4 years ago

64.

Show HN: [C++] Y-fast trie – fast sorted associative container (github.com/vaganov)

4 points

9 months ago

65.

Show HN: Parallel Programming Frameworks

3 points

11 years ago

66.

How to Make a Computer Operating System in C/C++ (github.com/SamyPesse)

235 points

13 years ago

67.

How to Make a Computer Operating System (github.com/SamyPesse)

143 points

10 years ago

68.

Cosmos is an operating system “construction kit” (github.com/CosmosOS)

139 points

8 years ago

69.

How to Make a Computer Operating System Tutorial (github.com/SamyPesse)

2 points

11 years ago

70.

TiDB Operator User Guide on Kubernetes (github.com/pingcap)

1 point

8 years ago

71.

I spent 5 years writing my own operating system (github.com/halfer53)

939 points

5 years ago

72.

BootOS: Monolithic operating system in 512 bytes of x86 machine code (github.com/nanochess)

588 points

7 years ago

73.

Show HN: GodotOS – Fake operating system interface made in the Godot engine (github.com/popcar2)

534 points

2 years ago

74.

Stirling-PDF: local web application to perform various operations on PDFs (github.com/Frooodle)

507 points

2 years ago

75.

Writing a “bare metal” operating system for Raspberry Pi 4 (github.com/isometimes)

453 points

5 years ago

76.

Mezzano – An operating system written in Common Lisp (github.com/froggey)

396 points

7 years ago

77.

Fuchsia, a new operating system (github.com)

384 points

10 years ago

78.

Maza – Like Pi-hole but local and using your operating system (github.com/tanrax)

375 points

6 years ago

79.

Learning operating system development using Linux kernel and Raspberry Pi (github.com/s-matyukevich)

368 points

8 years ago

80.

Serenity: x86 Unix-like operating system for IBM PC-compatibles (github.com/awesomekling)

335 points

7 years ago

81.

Show HN: Banan-OS, an Unix-like operating system written from scratch (github.com/Bananymous)

333 points

a year ago

82.

MotorOS: a Rust-first operating system for x64 VMs (github.com/moturus)

328 points

2 years ago

83.

Qt binding for Go with support for all major operating systems (github.com/therecipe)

324 points

10 years ago

84.

Tetris-OS: An operating system that only plays Tetris (github.com/jdah)

314 points

5 years ago

85.

SQL Operations Studio (github.com/Microsoft)

299 points

9 years ago

86.

A completely-from-scratch hobby operating system (github.com/klange)

297 points

5 years ago

87.

PgOSQuery: Expose the operating system as a Postgres database (github.com/shish)

297 points

12 years ago

88.

Scan iPhone backups for traces of compromise by “Operation Triangulation” (github.com/KasperskyLab)

289 points

3 years ago

89.

Bottlerocket: An operating system designed for hosting containers (github.com/bottlerocket-os)

280 points

6 years ago

90.

x86 Bare Metal Examples: Minimal operating systems, learn x86 system programming (github.com/cirosantilli)

279 points

peter_d_sherman

5 years ago