Search: github.com/todsac | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

331.

AI reviews my mini webserver (gist.github.com)

5 points

10 months ago

332.

Why Lexing and Parsing Should Be Separate (github.com/oils-for-unix)

5 points

a year ago

333.

Iris: A neurosymbolic framework for vulnerability detection in code (github.com/iris-sast)

5 points

a year ago

334.

Binary Lambda Calculus (gist.github.com)

5 points

a year ago

335.

Chocolate-quake: A purist Quake source port (github.com/Henrique194)

5 points

a year ago

336.

Sqlc: Generate type-safe code from SQL (github.com/sqlc-dev)

5 points

a year ago

337.

A Visual Journey Through Async Rust (github.com/alexpusch)

5 points

a year ago

338.

Try: Test anti-framework via CL Condition System (github.com/melisgl)

5 points

a year ago

339.

Bare, a small and modular JavaScript runtime (github.com/holepunchto)

5 points

a year ago

340.

Lean 4, Release v4.17.0 (github.com/leanprover)

5 points

a year ago

341.

Schemesh: A Unix shell and Lisp REPL, fused together (github.com/cosmos72)

5 points

a year ago

342.

Tiny Challenges for Learning WebAssembly (github.com/danprince)

5 points

a year ago

343.

Ugrapheme: Unicode Extended grapheme clusters in nanoseconds (github.com/Z4JC)

5 points

2 years ago

344.

MicroPython v1.22.0 (github.com/micropython)

5 points

2 years ago

345.

Way to improve security of sudo: make a daemon instead of setuid bina (github.com/memorysafety)

5 points

3 years ago

346.

OCamlPro/Owi: OCaml WebAssembly Interpreter (github.com/OCamlPro)

5 points

3 years ago

347.

Dirdiff: Efficiently compute the differences between two directories (github.com/OCamlPro)

5 points

4 years ago

348.

Xmake v2.7.3 Released (github.com/xmake-io)

5 points

4 years ago

349.

Sync a Bitcoin full node using a STARK proof in n(1) time (github.com/lucidLuckylee)

5 points

4 years ago

350.

Coost – A Fantastic C++ Library (github.com/idealvin)

5 points

4 years ago

351.

A command-line tool to create development environments for AI/ML based on build (github.com/tensorchord)

5 points

4 years ago

352.

Checkmake: Experimental Linter/Analyzer for Makefiles (github.com/mrtazz)

5 points

4 years ago

353.

GitHub – chunqiuyiyu/spotlight-wallpaper: Use spotlight lock screen images as w (github.com/chunqiuyiyu)

5 points

4 years ago

354.

GitHub – DanilaFe/matrix-highlight: A decentralized and federated way of annota (github.com/DanilaFe)

5 points

4 years ago

355.

Winamp 2 Reimplemented for the Browser (github.com/captbaritone)

5 points

4 years ago

356.

ASMotor: Powerful macro (cross) assembler package for several CPUs (github.com/asmotor)

5 points

5 years ago

357.

EFlambe: A tool for rapid profiling of Erlang and Elixir applications (github.com/spawnfest)

5 points

5 years ago

358.

Harmonica: A simple, physics-based spring animation library for Go (github.com/charmbracelet)

5 points

5 years ago

359.

Elm-Designer (github.com/passiomatic)

5 points

5 years ago

360.

TrustNet: A comprehensive computational trust system (github.com/cblgh)

5 points

6 years ago