Search: github.com/harbour | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

121.

DieHard: An error-resistant memory allocator (github.com/emeryberger)

2 points

4 years ago

122.

Netavark: A rust based network stack for containers (github.com/containers)

2 points

4 years ago

123.

Why does every colour have its own GitHub repo? (github.com/jonschlinkert)

2 points

4 years ago

124.

Epoll-shim: epoll implementation using kqueue (github.com/jiixyj)

2 points

5 years ago

125.

Libeatmydata – because fsync() should be a no-op (github.com/stewartsmith)

2 points

5 years ago

126.

Psyche: A C front end for implementation of static analysis tools (github.com/ltcmelo)

2 points

5 years ago

127.

VictoriaMetrics: Fast, cost-effective monitoring solution / time series database (github.com/VictoriaMetrics)

2 points

5 years ago

128.

Overlay: Support Native Rootless Mounts (github.com/containers)

2 points

5 years ago

129.

Measure startup time of different programming languages (github.com/bdrung)

2 points

5 years ago

130.

Redtt a proof assistant for cartesian cubical type theory (github.com/RedPRL)

2 points

5 years ago

131.

OpenFlops: Open-Hardware Floppy Drive Simulator (github.com/SukkoPera)

2 points

6 years ago

132.

Harlan: A scheme like language for GPU computing (github.com/eholk)

2 points

6 years ago

133.

Toxiproxy A TCP proxy to simulate network conditions for chaos testing (github.com/Shopify)

2 points

6 years ago

134.

Hakaru a Probabilistic Programming Language (github.com/hakaru-dev)

2 points

6 years ago

135.

Sixten: Functional Programming with Fewer Indirections (github.com/ollef)

2 points

6 years ago

136.

Future-proof and simple-to-use notes system based on Zettelkasten (github.com/srid)

2 points

6 years ago

137.

Allow running dockerd as a non-root user (Rootless mode) [merged] (github.com/moby)

2 points

7 years ago

138.

GHC proposal for Linear Types (github.com/tweag)

2 points

9 years ago

139.

The CTH Framework: A Functional Real-World Psychohistory (github.com/AlejoMalia)

1 point

3 months ago

140.

Minimalist examples of ES6 functionalities (github.com/hemanth)

1 point

11 years ago

141.

NixPak – Sandboxing for Nix (github.com/nixpak)

1 point

2 years ago

142.

Tube Archivist: self hosted YouTube media server (github.com/tubearchivist)

1 point

3 years ago

143.

Carge-crev: A cryptographically verifiable code review system for Rust (github.com/crev-dev)

1 point

4 years ago

144.

Mokuroku: Secondary indices for RocksDB in Rust (github.com/nlfiedler)

1 point

4 years ago

145.

Creusot: Deductive Verification of Rust (github.com/xldenis)

1 point

4 years ago

146.

Show HN: Command and library to get software version numbers from the web (github.com/liger1978)

1 point

4 years ago

147.

Fragnix: Fragment Based Package Manager (github.com/fragnix)

1 point

4 years ago

148.

Youki: A container runtime written in Rust (github.com/containers)

1 point

5 years ago

149.

Demonstrate ability to read memfd_secret() data from the kernel (github.com/JonathonReinhart)

1 point

5 years ago

150.

SSDB – A fast NoSQL database, an alternative to Redis (github.com/ideawu)

1 point

5 years ago