Search: github.com/Noc2 | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

121.

A formalization of category theory in Coq

github.com/jwiegley

9 years ago

109 points

122.

Systemd-cryptsetup: Booting with encrypted root partition fails instantly

github.com/systemd

9 years ago

58 points

123.

Inside Racket Seminar 7: Alexis King on Hackett

github.com/racket

9 years ago

47 points

124.

PHP-Parser: A Native PHP Parser for Parsing and Analyzing PHP Code

github.com/nikic

2 years ago

16 points

125.

GNU Emacs / N Λ N O – Emacs made simple

github.com/rougier

5 years ago

16 points

126.

WASM needs a better memory management story

github.com/WebAssembly

5 years ago

4 points

127.

Rust for C++ Programmers

7 years ago

4 points

128.

Extensions to the xterm protocol

github.com/kovidgoyal

9 years ago

3 points

129.

Show HN: WaylandClientKit – a Swift Wayland client substrate for Linux

github.com/conxlgtm

5 days ago

3 points

130.

Postgres Backend Platform with full stack, instant cloning, branching and

github.com/simplyblock

4 months ago

3 points

131.

Sheepdog - a distributed storage system for QEMU

github.com/sheepdog

a year ago

3 points

132.

Change in .NET Foundation

github.com/dotnet-foundation

5 years ago

3 points

133.

CNCF Cloud Native Security whitepaper [pdf]

github.com/cncf

6 years ago

3 points

134.

Phoenix Live View Trello Clone (Erlang/Elixir)

github.com/noozo

6 years ago

3 points

135.

Open-Source Global Database: Countries, States, Cities – JSON, SQL, XML and More

github.com/dr5hn

2 years ago

2 points

136.

State-as-Files: A Manifesto for Multi-Session Agent Work

github.com/socaseinpoint

a month ago

2 points

137.

Statistical Rethinking Course for Jan-Mar 2023

github.com/rmcelreath

3 years ago

2 points

138.

Curated list of ChatGPT apps using configurable API keys

github.com/reorx

3 years ago

2 points

139.

Solve Puzzles. Learn CUDA

github.com/srush

4 years ago

2 points

140.

Cloud Native Security Whitepaper [pdf]

github.com/cncf

4 years ago

2 points

141.

Xibanya/ShaderTutorials: Shaders for People Who Don't Know How to Shader

github.com/Xibanya

5 years ago

2 points

142.

Cloud Native Security Whitepaper [pdf]

github.com/cncf

6 years ago

2 points

143.

Blockchain Grants Program, which runs completely on GitHub (approval/delivery)

6 years ago

2 points

144.

Tampering and Reverse Engineering on Android

github.com/OWASP

8 years ago

2 points

145.

Show HN: Long-term memory for AI agents and teams, built with PostgreSQL

github.com/simplyblock

2 months ago

1 points

146.

EBS Volume Usage Exporter

github.com/simplyblock-io

2 years ago

1 points

147.

Heritrix Web Crawler

github.com/internetarchive

2 years ago

1 points

148.

G-Helper: Open-Source Armoury Crate Alternative for Asus Laptops and ROG Ally

github.com/seerge

2 years ago

1 points

149.

Primereact: The Most Comprehensive React UI Component Library

github.com/primefaces

2 years ago

1 points

150.

Show HN: KBOM – Kubernetes Bill of Materials (GitHub)

github.com/rad-security

2 years ago

1 points