Search: github.com/Fang- | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

961.

Libu8ident: Unicode security guidelines for programming language identifiers (github.com/rurban)

4 points

a year ago

962.

Lambda calculus cooked N ways: Benchmarks for capture-avoiding substitution (github.com/sweirich)

4 points

a year ago

963.

Build123d: A Python CAD programming library (github.com/gumyr)

4 points

a year ago

964.

Facet: Type reflection, serialization, deserialization – know the shape of you (github.com/facet-rs)

4 points

a year ago

965.

A collection of quotes on the design of notation as a tool of thought (github.com/kai-qu)

4 points

a year ago

966.

Sharun: Run dynamically linked ELF binaries everywhere (github.com/VHSgunzo)

4 points

a year ago

967.

Ferris-on-Air: An Experimental Wi-Fi Stack for the ESP32 in Rust (github.com/esp32-open-mac)

4 points

a year ago

968.

The Lounge: a Modern, responsive, cross-platform, self-hosted web IRC client (github.com/thelounge)

4 points

2 years ago

969.

Picodvi: Bitbanged DVI on the RP2040 Microcontroller (github.com/Wren6991)

4 points

5 years ago

970.

The Capsule hash trie collections library for Java (github.com/usethesource)

4 points

6 years ago

971.

Mesh: A compacting memory allocator for C/C++ (github.com/plasma-umass)

4 points

6 years ago

972.

Bluespec hardware description language compiler (github.com/B-Lang-org)

4 points

6 years ago

973.

Goroutine Local Storage (github.com/jtolds)

4 points

7 years ago

974.

Analysis of various tricky Rust code (github.com/dtolnay)

4 points

7 years ago

975.

Zombodb: allow Postgres to use Elasticsearch as an index provider (github.com/zombodb)

4 points

8 years ago

976.

Routinator 3000: RPKI relying party software in Rust (github.com/NLnetLabs)

4 points

8 years ago

977.

Ryu: convert floating point numbers to decimal strings (github.com/ulfjack)

4 points

8 years ago

978.

Nightmare.js: A high-level browser automation library based on Electron (github.com/segmentio)

4 points

8 years ago

979.

The first open-source project coded 100% by Claude has garnered over 200 stars (github.com/FullstackAgent)

3 points

8 months ago

980.

Jaq: A jq clone focussed on correctness, speed, and simplicity (github.com/01mf02)

3 points

3 months ago

981.

Maiao: Gerrit-style stacked PR management for GitHub from the command line (github.com/adevinta)

3 points

4 months ago

982.

Git-branchless: High-velocity, monorepo-scale workflow for Git (github.com/arxanas)

3 points

a year ago

983.

qcp: QUIC File Copy (github.com/crazyscot)

3 points

2 years ago

984.

KubeLinter: An open source linter for K8s (github.com/stackrox)

3 points

6 years ago

985.

MineSweeper implemented in CSS and HTML and no JavaScript (github.com/propjockey)

3 points

6 years ago

986.

The EM2S 60kHz radio receiver module and the MSF time signal [pdf] (github.com/deirdreobyrne)

3 points

8 years ago

987.

SMPPL – Send Me a Postcard Public License (github.com/xhacker)

3 points

12 years ago

988.

Gutd: eBPF WireGuard Traffic Obfuscator (github.com/sh0rch)

3 points

2 months ago

989.

Pgenie: Type-safe PostgreSQL client code generator (github.com/pgenie-io)

3 points

2 months ago

990.

Majutsu An Emacs interface for Jujutsu / jj, like Magit (github.com/0WD0)

3 points

4 months ago