Pinned Loading

1. CacheierThanThou CacheierThanThou Public

   Fast distributed cache, using Raft consensus for leader election

   Go 1

2. chan-TCP-nels chan-TCP-nels Public

   Bi-directional Go channels over TCP

   Go

3. autocomplete-and-verify autocomplete-and-verify Public

   An emacs package for formally verified LLM code generation and correction.

   Emacs Lisp

4. crustacean_script crustacean_script Public

   Building a scripting language in Rust

   Rust 1

5. KafkaGo KafkaGo Public

   Highly available microservices using Kafka

   Go

6. swift-nio swift-nio Public

   Forked from apple/swift-nio

   Event-driven network application framework for high performance protocol servers & clients, non-blocking.

   Swift