Explore Projects

Discover 4 open source projects

Active filters (1):

Search: leo×

Showing 1-4 of 4 projects

A programming language for formally verified, zero-knowledge applications

4.8K

Active

Rust

MCP Frameworks

#programming-language#zero-knowledge#formally-verified

A command-line file manager with autosuggestion, batch rename, syntax highlighting, and other developer-focused features.

1.6K

Active

CLI Tools

Terminal UIs

#file-management#autosuggestion#syntax-highlighting

LeoFS is a distributed, scalable, and fault-tolerant object storage system for developers working with large data volumes.

1.6K

Active

Erlang

Serverless

Databases

#distributed-storage#object-storage#fault-tolerant

Leo is a powerful Python-based outline-oriented editor and personal information manager (PIM).

1.6K

Active

Python

IDE Extensions

API Frameworks

#editor#outliner#pim

Get weekly updates on trending AI coding tools and projects.