Heykuki News

TopNewBestAskShowJobs
TopNewBestAskShowJobs
421.
Bare, a small and modular JavaScript runtime (github.com/holepunchto)
5 points
todsacerdoti
a year ago
discuss
422.
Lean 4, Release v4.17.0 (github.com/leanprover)
5 points
todsacerdoti
a year ago
discuss
423.
Schemesh: A Unix shell and Lisp REPL, fused together (github.com/cosmos72)
5 points
todsacerdoti
a year ago
discuss
424.
Tiny Challenges for Learning WebAssembly (github.com/danprince)
5 points
todsacerdoti
a year ago
discuss
425.
Ugrapheme: Unicode Extended grapheme clusters in nanoseconds (github.com/Z4JC)
5 points
todsacerdoti
2 years ago
discuss
426.
MicroPython v1.22.0 (github.com/micropython)
5 points
todsacerdoti
2 years ago
discuss
427.
Way to improve security of sudo: make a daemon instead of setuid bina (github.com/memorysafety)
5 points
todsacerdoti
3 years ago
discuss
428.
OCamlPro/Owi: OCaml WebAssembly Interpreter (github.com/OCamlPro)
5 points
todsacerdoti
3 years ago
discuss
429.
Dirdiff: Efficiently compute the differences between two directories (github.com/OCamlPro)
5 points
todsacerdoti
4 years ago
discuss
430.
Xmake v2.7.3 Released (github.com/xmake-io)
5 points
todsacerdoti
4 years ago
discuss
431.
Sync a Bitcoin full node using a STARK proof in n(1) time (github.com/lucidLuckylee)
5 points
todsacerdoti
4 years ago
discuss
432.
Coost – A Fantastic C++ Library (github.com/idealvin)
5 points
todsacerdoti
4 years ago
discuss
433.
A command-line tool to create development environments for AI/ML based on build (github.com/tensorchord)
5 points
todsacerdoti
4 years ago
discuss
434.
Checkmake: Experimental Linter/Analyzer for Makefiles (github.com/mrtazz)
5 points
todsacerdoti
4 years ago
discuss
435.
GitHub – chunqiuyiyu/spotlight-wallpaper: Use spotlight lock screen images as w (github.com/chunqiuyiyu)
5 points
todsacerdoti
4 years ago
discuss
436.
GitHub – DanilaFe/matrix-highlight: A decentralized and federated way of annota (github.com/DanilaFe)
5 points
todsacerdoti
4 years ago
discuss
437.
Winamp 2 Reimplemented for the Browser (github.com/captbaritone)
5 points
todsacerdoti
4 years ago
discuss
438.
ASMotor: Powerful macro (cross) assembler package for several CPUs (github.com/asmotor)
5 points
todsacerdoti
5 years ago
discuss
439.
EFlambe: A tool for rapid profiling of Erlang and Elixir applications (github.com/spawnfest)
5 points
todsacerdoti
5 years ago
discuss
440.
Harmonica: A simple, physics-based spring animation library for Go (github.com/charmbracelet)
5 points
todsacerdoti
5 years ago
discuss
441.
Elm-Designer (github.com/passiomatic)
5 points
todsacerdoti
5 years ago
discuss
442.
TrustNet: A comprehensive computational trust system (github.com/cblgh)
5 points
todsacerdoti
6 years ago
discuss
443.
FUSE-based transcoding filesystem with video support (github.com/nschlia)
5 points
todsacerdoti
6 years ago
discuss
444.
Like Grep, but for Code (github.com/returntocorp)
5 points
todsacerdoti
6 years ago
discuss
445.
Psst: Paper-Based Secret Sharing Technique (github.com/Sjlver)
4 points
todsacerdoti
2 years ago
2 comments
446.
Smart-imports: automatic Mypy-friendly library imports (github.com/Tiendil)
4 points
todsacerdoti
5 years ago
2 comments
447.
Nextvi 4.0 – A small, hackable vi/ex editor with an optional patch system (github.com/kyx0r)
4 points
todsacerdoti
3 months ago
1 comment
448.
Jj v0.39.0 Released (github.com/jj-vcs)
4 points
todsacerdoti
3 months ago
1 comment
449.
Kris: Cross-compile Janet projects with Zig (github.com/pyrmont)
4 points
todsacerdoti
6 months ago
1 comment
450.
Cl-tuition: a Common Lisp library for building TUIs inspired by Charm (github.com/atgreen)
4 points
todsacerdoti
8 months ago
1 comment
More