A collection of example programs written in Lateralus, demonstrating language features across domains from algorithms to distributed systems.
Algorithms β sorting, searching, graphs, heaps, tries, linked lists
Audio β synthesizers, MIDI parsing, beat sequencing
Challenges β Project Euler solutions, Advent of Code
CLI Tools β todo app, HTTP client, git log viewer, file watchdog
Concurrency β worker pools, pipeline stages, rate limiting
Data Processing β CSV/JSON/ETL pipelines, log analysis, streaming
Demoscene β plasma, starfield, tunnel effects
Distributed β Raft consensus protocol
Embedded β GPIO and I2C drivers
Functional β monads, parser combinators, transducers
Games β snake, tetris, 2048, game of life
Graphics β mandelbrot, raytracer, L-systems
Math β matrix operations, signal processing, statistics
Machine Learning β k-means, linear regression, neural networks
Networking β DNS resolver, HTTP/2 frames, port scanner, TCP client
Niche β broad collection of standalone tools:
- Parsers & formats: YAML parser, TOML parser, SQL parser, regex engine, markdown renderer, ELF parser, protocol buffers, JSON-RPC
- Storage & data: key-value store, Redis client, database engine, blockchain, compression
- Network clients: FTP, SMTP, MQTT, IRC, WebSocket, torrent, proxy server, load balancer
- Tools & UI: hex editor, text editor, terminal UI, shell, package manager, static site generator, task scheduler, cron scheduler
- Engines & VMs: chess engine, ECS, image processing, VM bytecode
OS β kernel syscalls, network stack, encrypted messenger, secure boot, process isolation
Security β Argon2, ChaCha20-Poly1305, Ed25519, certificate authority, firewall, JWT, Noise protocol, onion routing, Signal protocol, TLS 1.3, TOTP, WireGuard, X25519, zero-knowledge proofs
Simulation β cellular automata, fluid dynamics, n-body
Systems β file watcher, process manager
Tooling β formatter, LSP server, REPL
Web APIs β REST, GraphQL, WebSocket servers
ltl run algorithms/sorting.ltl
ltl run games/tetris.ltl
ltl run security/jwt.ltl
ltl run distributed/raft_consensus.ltl
Every file includes a fn main() with built-in assertions that validate correctness.
See CONTRIBUTING.md for guidelines. Each example should be self-contained with a fn main() entry point and test assertions.
MIT