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. herdtools7 herdtools7 Public

   Forked from herd/herdtools7

   The Herd toolsuite to deal with .cat memory models (version 7.xx)

   OCaml