Search: github.com/todsac | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

781.

Pgdog: Horizontal scaling for PostgreSQL with automatic sharding

github.com/pgdogdev

a year ago

2 points

782.

Llm.pdf: Run LLMs inside a PDF file

github.com/EvanZhouDev

a year ago

2 points

783.

Coqoban: Sokoban (In Coq)

github.com/rocq-community

a year ago

2 points

784.

ATProto Statusphere App Implemented in Rust

github.com/fatfingers23

a year ago

2 points

785.

github.com/SeaOfNodes

a year ago

2 points

786.

Fastify/Vite 8.0.0

github.com/fastify

a year ago

2 points

787.

Jj-fzf: Text UI for Jujutsu based on fzf

github.com/tim-janik

a year ago

2 points

788.

2500+ Awesome MCP Servers

github.com/PipedreamHQ

a year ago

2 points

789.

Sécurix, a NixOS-based secure operating system tailored for small to medium-siz

github.com/cloud-gouv

a year ago

2 points

790.

Rsync-over-gRPC: demo program: rsync file transfer (with the gokrazy/rsync modu

github.com/stapelberg

a year ago

2 points

791.

Go-attention: A full attention mechanism and transformer in pure Go

github.com/takara-ai

a year ago

2 points

792.

Rostra – a P2P (or rather f2f) social network

a year ago

2 points

793.

Polysubml-demo: A simple ML-like language with subtyping, polymorphism, higher

github.com/Storyyeller

a year ago

2 points

794.

Nom parser combinators now released in version 8, with a new architecture

github.com/rust-bakery

a year ago

2 points

795.

Sento – Actor framework featuring actors and agents

github.com/mdbergmann

a year ago

2 points

796.

Buzz 0.5.0 Release

github.com/buzz-language

a year ago

2 points

797.

Woodpecker CI v3.0.0 Release

github.com/woodpecker-ci

a year ago

2 points

798.

Sshcont: SSH daemon that starts and enters a throwaway Docker container for tes

github.com/abbbi

a year ago

2 points

799.

Sortcheck: Tool for detecting violations of ordering axioms in qsort/bsearch ca

github.com/yugr

2 years ago

2 points

800.

Non-temporal store heuristics on the Apple M2

github.com/ocaml

2 years ago

2 points

801.

Url-state-codecs: Codecs for encoding arbitrary state trees into URL parameters

github.com/Lobelia-Earth

2 years ago

2 points

802.

github.com/dart-lang

2 years ago

2 points

803.

github.com/tigerbeetle

2 years ago

2 points

804.

Rust library for building no-boilerplate CLI apps

github.com/JeffrayZhang

2 years ago

2 points

805.

SLAX: An alternative syntax for XSLT which is tailored for readability and fami

github.com/Juniper

2 years ago

2 points

806.

Untls: Reexposes a TCP over TLS port as a local TCP port

github.com/lucasew

2 years ago

2 points

807.

github.com/bitcharmer

2 years ago

2 points

808.

Comin: GitOps for NixOS Machines

github.com/nlewo

2 years ago

2 points

809.

Cstructpy: Easy Binary Representations of Structs

github.com/Maxim-Mushizky

2 years ago

2 points

810.

Advanced book classes and packages for the SILE typesetting system

github.com/Omikhleia

2 years ago

2 points