Heykuki News

TopNewBestAskShowJobs
TopNewBestAskShowJobs
781.
Pgdog: Horizontal scaling for PostgreSQL with automatic sharding (github.com/pgdogdev)
2 points
todsacerdoti
a year ago
discuss
782.
Llm.pdf: Run LLMs inside a PDF file (github.com/EvanZhouDev)
2 points
todsacerdoti
a year ago
discuss
783.
Coqoban: Sokoban (In Coq) (github.com/rocq-community)
2 points
todsacerdoti
a year ago
discuss
784.
ATProto Statusphere App Implemented in Rust (github.com/fatfingers23)
2 points
todsacerdoti
a year ago
discuss
785.
A Simple Reply (github.com/SeaOfNodes)
2 points
todsacerdoti
a year ago
discuss
786.
Fastify/Vite 8.0.0 (github.com/fastify)
2 points
todsacerdoti
a year ago
discuss
787.
Jj-fzf: Text UI for Jujutsu based on fzf (github.com/tim-janik)
2 points
todsacerdoti
a year ago
discuss
788.
2500+ Awesome MCP Servers (github.com/PipedreamHQ)
2 points
todsacerdoti
a year ago
discuss
789.
Sécurix, a NixOS-based secure operating system tailored for small to medium-siz (github.com/cloud-gouv)
2 points
todsacerdoti
a year ago
discuss
790.
Rsync-over-gRPC: demo program: rsync file transfer (with the gokrazy/rsync modu (github.com/stapelberg)
2 points
todsacerdoti
a year ago
discuss
791.
Go-attention: A full attention mechanism and transformer in pure Go (github.com/takara-ai)
2 points
todsacerdoti
a year ago
discuss
792.
Rostra – a P2P (or rather f2f) social network (github.com/dpc)
2 points
todsacerdoti
a year ago
discuss
793.
Polysubml-demo: A simple ML-like language with subtyping, polymorphism, higher (github.com/Storyyeller)
2 points
todsacerdoti
a year ago
discuss
794.
Nom parser combinators now released in version 8, with a new architecture (github.com/rust-bakery)
2 points
todsacerdoti
a year ago
discuss
795.
Sento – Actor framework featuring actors and agents (github.com/mdbergmann)
2 points
todsacerdoti
a year ago
discuss
796.
Buzz 0.5.0 Release (github.com/buzz-language)
2 points
todsacerdoti
a year ago
discuss
797.
Woodpecker CI v3.0.0 Release (github.com/woodpecker-ci)
2 points
todsacerdoti
a year ago
discuss
798.
Sshcont: SSH daemon that starts and enters a throwaway Docker container for tes (github.com/abbbi)
2 points
todsacerdoti
a year ago
discuss
799.
Sortcheck: Tool for detecting violations of ordering axioms in qsort/bsearch ca (github.com/yugr)
2 points
todsacerdoti
a year ago
discuss
800.
Non-temporal store heuristics on the Apple M2 (github.com/ocaml)
2 points
todsacerdoti
a year ago
discuss
801.
Url-state-codecs: Codecs for encoding arbitrary state trees into URL parameters (github.com/Lobelia-Earth)
2 points
todsacerdoti
a year ago
discuss
802.
Macros in Dart (github.com/dart-lang)
2 points
todsacerdoti
2 years ago
discuss
803.
Tiger Style (github.com/tigerbeetle)
2 points
todsacerdoti
2 years ago
discuss
804.
Rust library for building no-boilerplate CLI apps (github.com/JeffrayZhang)
2 points
todsacerdoti
2 years ago
discuss
805.
SLAX: An alternative syntax for XSLT which is tailored for readability and fami (github.com/Juniper)
2 points
todsacerdoti
2 years ago
discuss
806.
Untls: Reexposes a TCP over TLS port as a local TCP port (github.com/lucasew)
2 points
todsacerdoti
2 years ago
discuss
807.
TLB_shootdowns (github.com/bitcharmer)
2 points
todsacerdoti
2 years ago
discuss
808.
Comin: GitOps for NixOS Machines (github.com/nlewo)
2 points
todsacerdoti
2 years ago
discuss
809.
Cstructpy: Easy Binary Representations of Structs (github.com/Maxim-Mushizky)
2 points
todsacerdoti
2 years ago
discuss
810.
Advanced book classes and packages for the SILE typesetting system (github.com/Omikhleia)
2 points
todsacerdoti
2 years ago
discuss
More