Search: github.com/rkern | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

151.

Moss-kernel: Rust Linux-compatible kernel (github.com/hexagonal-sun)

8 points

4 months ago

152.

Cori – Give agents safe DB write access without raw SQL (open source in Rust) (github.com/cori-do)

6 points

4 months ago

153.

EwoK: secure embedded micro-kernel using SPARK/Ada formal verification (github.com/wookey-project)

5 points

8 years ago

154.

Coarray Fortran Jupyter kernel (github.com/sourceryinstitute)

3 points

9 years ago

155.

Suspend broken for Nvidia on latest Linux kernel (github.com/NVIDIA)

3 points

25 days ago

156.

DuckDB Kernel – analytical execution runtime for Jupyter (github.com/hugr-lab)

3 points

a month ago

157.

Linux Kernel module running WASM filters with wasm3 (github.com/cisco-open)

3 points

3 years ago

158.

JINY: Jana's tINY kernel designed for cloud workloads with Linux compatibility (github.com/naredula-jana)

3 points

4 years ago

159.

Writing dot graph using jupyter (github.com/laixintao)

3 points

8 years ago

160.

Why you not contributing yet? Contribute to Obsidian Kernel (github.com/roading-os)

2 points

2 months ago

161.

Obsidian will receive the 0.0.3-rc3 brief. You can see and follow clicking here (github.com/roading-os)

2 points

2 months ago

162.

Do you want to follow the Obsidian Kernel? Click here (github.com/roading-os)

2 points

2 months ago

163.

Obsidian Kernel – A post-POSIX kernel (github.com/roading-os)

2 points

3 months ago

164.

Moss-kernel: a Linux-compatible kernel written in Rust (github.com/hexagonal-sun)

2 points

5 months ago

165.

Show HN: I built a deterministic vector DB kernel in Rust using fixed-point math (github.com/varshith-Git)

2 points

6 months ago

166.

Open Source Nvidia drivers now have beta Gforce support (github.com/NVIDIA)

2 points

3 years ago

167.

Nvidia Linux Open GPU Kernel Module (github.com/NVIDIA)

2 points

3 years ago

168.

PVS-Studio vs. open source Nvidia drivers (github.com/NVIDIA)

2 points

4 years ago

169.

Show HN: Implementation of a work-efficient parallel SpMSpV algorithm in C++ (github.com/andrey-ermolinskiy)

2 points

4 years ago

170.

Show HN: Sklearn-jax-kernels – Composable kernels for sklearn using JAX (github.com/ExpectationMax)

2 points

6 years ago

171.

Show HN: Sklearn-jax-kernels – Composable kernels for sklearn using JAX (github.com/ExpectationMax)

2 points

6 years ago

172.

Build the Linux kernel using Clang (github.com/ramosian-glider)

2 points

9 years ago

173.

Ω-Kernel: Phase-Stabilization Framework for Blackwell B200 Clusters (github.com/dielukasz-cyber)

1 point

4 months ago

174.

Show HN: rust-based kernel with asynchronous context switching (github.com/xiaoyang-sde)

1 point

3 years ago

175.

Show HN: Auto GPU Kernel – Autonomous GPU-kernel discovery and optimizer (github.com/Dogacel)

1 point

10 days ago

176.

WSL2-Linux-Kernel: Source for the Linux Kernel Used in WSL2 (github.com/microsoft)

1 point

3 years ago

177.

Kaggle Kernels Compilation (github.com/alfarias)

1 point

6 years ago

178.

A Jupyter Kernel for Dyalog APL (github.com/Dyalog)

1 point

8 years ago

179.

Show HN: I integrated my from-scratch TCP/IP stack into the xv6-riscv OS (github.com/pandax381)

147 points

9 months ago

180.

Show HN: Quantum Evolution Kernel (FOSS quantum graph machine learning lib) (github.com/pasqal-io)

11 points

a year ago