Stdlib & Tools
Everything here is written in Resid and built by the Resid compiler.
| Tool | What it does |
|---|---|
residc |
the compiler, test runner, key manager, verifier and language server |
| Standard library | cryptography, TLS 1.3, HTTP, X.509, CBOR/COSE, DWARF, the graph reader, testing |
| Providers | the capability-gated interfaces to files, environment, arguments, processes and the network |
| HTTP server | serving HTTP/1.1 with lib/httpserv.resid: requests, replies, routing, limits, worker regions |
| Editor | the VS Code extension and the language server |
| resid-why, resid-graph, resid-debug | ask the knowledge graph what was reduced and why; debug by node |
| resid-fmt, resid-pkg, resid-manifest | formatting, packages and manifests |
| Security model | every security guarantee and how it is enforced |
| Benchmarks | Resid compared with other languages |
The tools live in tools/ of the repository. Build one with the compiler:
residc tools/resid-why.resid -o resid-why # a release build: needs a key (residc keygen)