Search: github.com/keon | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

901.

Rex is a safe kernel extension framework that allows Rust in the place of eBPF (github.com/rex-rs)

146 points

6 months ago

902.

Packet, where are you? – eBPF-based Linux kernel networking debugger (github.com/cilium)

143 points

3 years ago

903.

Symbian OS Kernel (2010) (github.com/SymbianSource)

141 points

4 years ago

904.

C Port of Ken Thompson's Space Travel (github.com/mohd-akram)

140 points

3 years ago

905.

Linux-insides: sequential locks in the Linux kernel (github.com/0xAX)

138 points

10 years ago

906.

IHaskell – A Haskell kernel for Jupyter (github.com/gibiansky)

132 points

10 years ago

907.

Timers and time management in the Linux kernel, Part 7 (github.com/0xAX)

132 points

10 years ago

908.

PowerNex: a kernel written in the D Programming Language (github.com/Vild)

130 points

10 years ago

909.

Linux-insides: Linux kernel load address randomization (github.com/0xAX)

128 points

8 years ago

910.

Orange_slice: Research Kernel and Hypervisor in Rust (github.com/gamozolabs)

126 points

7 years ago

911.

The state of the Linux kernel security (2020) (github.com/ossf)

125 points

5 years ago

912.

Linux-insides: How does the Linux kernel run a program? (github.com/0xAX)

122 points

11 years ago

913.

Show HN: Juvio – UV Kernel for Jupyter (github.com/OKUA1)

118 points

a year ago

914.

Node9: Inferno kernel with LuaJIT instead of the Dis virtual machine (github.com/jvburnes)

116 points

11 years ago

915.

Introduction to getting started with Linux kernel development (github.com/0xAX)

115 points

11 years ago

916.

A small kernel written in Nim (github.com/dom96)

111 points

11 years ago

917.

Tracing packets in the Linux kernel networking stack and friends (github.com/retis-org)

109 points

a year ago

918.

Fiwix: Unix-like kernel for the i386 architecture (github.com/mikaku)

108 points

2 years ago

919.

Apple Open Sources iOS Kernel (github.com/apple)

104 points

9 years ago

920.

Using TinyCC to compile Linux (2.4) kernels (github.com/seyko2)

103 points

4 years ago

921.

Linux kernel compilation (github.com/0xAX)

102 points

11 years ago

922.

A simple, kernel-space, on-disk filesystem from scratch (github.com/psankar)

101 points

12 years ago

923.

Restoration of First Edition Unix Kernel Sources (github.com/c3x04)

99 points

11 years ago

924.

Tilck – Tiny Linux-Compatible Kernel (github.com/vvaltchev)

97 points

5 years ago

925.

Show HN: Cuq – Formal Verification of Rust GPU Kernels (github.com/neelsomani)

94 points

8 months ago

926.

Nvidia Tilus: A Tile-Level GPU Kernel Programming Language (github.com/NVIDIA)

94 points

10 months ago

927.

C++ implementation of the Jupyter kernel protocol (github.com/QuantStack)

94 points

8 years ago

928.

Galaga, Pac-Man, Donkey Kong Emulator for ESP32 (github.com/harbaum)

93 points

3 years ago

929.

Commodore 64 BASIC and KERNAL on Atari 8-bit hardware (github.com/unbibium)

92 points

5 years ago

930.

Linux kernel memory management, part 1 (github.com/0xAX)

91 points

11 years ago