Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
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