Skip to main content

Docs Language Standard Library Architecture Reference Blog

Standard Library Overview
Core
I/O & System
Concurrency
Network
- net
Compute
Meta & Proof
Context & Security
Foundations

Network

Network

📄️net

TCP, UDP, HTTP, TLS, DNS — V-LLSI-native networking with zero FFI.

Learn

Introduction
Installation
Language Tour
Philosophy

Language

Syntax
Type System
Refinement Types
Memory Model
Context System

Advanced

Verification
SMT Routing
Dependent Types
Cubical & HoTT
Metaprogramming

Tools

CLI
LSP
Playbook
Cog Packages

More

Blog
GitHub
Grammar (EBNF)
Glossary

Copyright © 2026 Verum Language Project. Built with Docusaurus.