snormore

open-webui

User-friendly WebUI for LLMs (Formerly Ollama WebUI)

seaweedfs

SeaweedFS is a fast distributed storage system for blobs, objects, files, and data lake, for billions of files! Blob store has O(1) disk seek, cloud tiering. Filer supports Cloud Drive, cross-DC active-active replication, Kubernetes, POSIX FUSE mount, S3 API, S3 Gateway, Hadoop, WebDAV, encryption, Erasure Coding.

ratatui

Rust library that's all about cooking up terminal user interfaces (TUIs) 👨‍🍳🐀

git-cliff

A highly customizable Changelog Generator that follows Conventional Commit specifications ⛰️

patterns

A catalogue of Rust design patterns, anti-patterns and idioms

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

miri

An interpreter for Rust's mid-level intermediate representation

async-std

Async version of the Rust standard library

loom

Concurrency permutation testing tool for Rust.

reedsolomon

Reed-Solomon Erasure Coding in Go

research

llm-chain

`llm-chain` is a powerful rust crate for building chains in large language models allowing you to summarise text and complete complex tasks

bus

Efficient, lock-free, bounded Rust broadcast channel

el-cptn

cptn.io is an open-source platform that helps develop and deploy integrations and data pipelines quickly and easily.

nimble

New file format for storage of large columnar datasets.

weblorg

Static Site Generator for Emacs

seaweedfs-csi-driver

SeaweedFS CSI Driver https://github.com/seaweedfs/seaweedfs

infectious

Reed-Solomon forward error correcting library

reed-solomon-erasure

[Looking for new owners/maintainers, see #88] Rust implementation of Reed-Solomon erasure coding

rs-merkle

The most advanced Merkle tree library for Rust

cuda-convnet

Alex Krizhevsky's original code from Google Code

helyim

seaweedfs implemented in pure Rust

ics23

Building generic merkle proof format for IBC

arecibo

An advanced fork of Nova

bef

Block Erasure Format - An extensible, fast, and usable file utility to encode and decode interleaved erasure coded streams of data.

omni

Monorepo for Omni node, contracts and other related tools

APSP-in-parallel

Solving All Pairs Shortest Paths with Floyd Warshall's Algorithm and Johnson's Algorithm, using OpenMP and CUDA

LibraChain

A library providing mechanized proofs of the LibraBFT consensus using the Coq theorem prover

merkle-tree-db

Binary Merkle Tree over a HashDB backend

owned-ref-cell

Rust library offering a custom RefCell variant with owned references for flexible and dynamic borrowing management.