LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

@rwf2

Sergio Benitez

@SergioBenitez · Bay Area, CA

Followers

2.2K

Public repos

97

Stars (recent)

1K

Ecosystems

—

Projects

Repositories this builder owns.

Neovim client for coq-lsp

Vim syntax highlighting for the ott programming languages design tool

A rudimentary LSP server for ott.

unescape_zero_copy

Zero-copy string unescaping library for Rust

Connected narratives

AI Agents Consumer Crypto SocialFi Stablecoins Agent Commerce Onchain Apps

Related builders

Others building in the same ecosystem.

No description.

Authenticated Encryption with Associated Data Algorithms: high-level encryption ciphers

A hierarchical configuration library so con-free, it's unreal.

Library for devising derives and other procedural macros.

Recent activity

Most recently pushed work.

SergioBenitez/coq-lsp.nvim
pushed 1mo ago
SergioBenitez/ott-vim
pushed 3mo ago
SergioBenitez/ott-lsp
pushed 17mo ago
SergioBenitez/unescape_zero_copy
pushed 18mo ago