Search: github.com/todsac | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

331.

AI reviews my mini webserver

gist.github.com

10 months ago

5 points

332.

Why Lexing and Parsing Should Be Separate

github.com/oils-for-unix

a year ago

5 points

333.

Iris: A neurosymbolic framework for vulnerability detection in code

github.com/iris-sast

a year ago

5 points

334.

Binary Lambda Calculus

gist.github.com

a year ago

5 points

335.

Chocolate-quake: A purist Quake source port

github.com/Henrique194

a year ago

5 points

336.

Sqlc: Generate type-safe code from SQL

github.com/sqlc-dev

a year ago

5 points

337.

A Visual Journey Through Async Rust

github.com/alexpusch

a year ago

5 points

338.

Try: Test anti-framework via CL Condition System

github.com/melisgl

a year ago

5 points

339.

Bare, a small and modular JavaScript runtime

github.com/holepunchto

a year ago

5 points

340.

Lean 4, Release v4.17.0

github.com/leanprover

a year ago

5 points

341.

Schemesh: A Unix shell and Lisp REPL, fused together

github.com/cosmos72

a year ago

5 points

342.

Tiny Challenges for Learning WebAssembly

github.com/danprince

a year ago

5 points

343.

Ugrapheme: Unicode Extended grapheme clusters in nanoseconds

github.com/Z4JC

2 years ago

5 points

344.

MicroPython v1.22.0

github.com/micropython

2 years ago

5 points

345.

Way to improve security of sudo: make a daemon instead of setuid bina

github.com/memorysafety

3 years ago

5 points

346.

OCamlPro/Owi: OCaml WebAssembly Interpreter

github.com/OCamlPro

4 years ago

5 points

347.

Dirdiff: Efficiently compute the differences between two directories

github.com/OCamlPro

4 years ago

5 points

348.

Xmake v2.7.3 Released

github.com/xmake-io

4 years ago

5 points

349.

Sync a Bitcoin full node using a STARK proof in n(1) time

github.com/lucidLuckylee

4 years ago

5 points

350.

Coost – A Fantastic C++ Library

github.com/idealvin

4 years ago

5 points

351.

A command-line tool to create development environments for AI/ML based on build

github.com/tensorchord

4 years ago

5 points

352.

Checkmake: Experimental Linter/Analyzer for Makefiles

github.com/mrtazz

4 years ago

5 points

353.

GitHub – chunqiuyiyu/spotlight-wallpaper: Use spotlight lock screen images as w

github.com/chunqiuyiyu

4 years ago

5 points

354.

GitHub – DanilaFe/matrix-highlight: A decentralized and federated way of annota

github.com/DanilaFe

4 years ago

5 points

355.

Winamp 2 Reimplemented for the Browser

github.com/captbaritone

4 years ago

5 points

356.

ASMotor: Powerful macro (cross) assembler package for several CPUs

github.com/asmotor

5 years ago

5 points

357.

EFlambe: A tool for rapid profiling of Erlang and Elixir applications

github.com/spawnfest

5 years ago

5 points

358.

Harmonica: A simple, physics-based spring animation library for Go

github.com/charmbracelet

5 years ago

5 points

359.

github.com/passiomatic

5 years ago

5 points

360.

TrustNet: A comprehensive computational trust system

github.com/cblgh

6 years ago

5 points