Urbit
Primer
Posts
Docs
Follow
twitter.com/urbit
github.com/urbit
Contact
support@urbit.org
Company
FAQ
Terms of Service
Privacy Policy
Bug Bounties
⚲
⚲
Search
Getting Started
Using Bridge
Installing Urbit
Booting a Ship
Contributing
Using
Creating a Development Ship
Creating a Comet
Admin and Operations
Arvo.network DNS
Messaging
Shell
Filesystem
Operating a Star
Sail and Udon
Concepts
Technical overview
Source Code Overview
Azimuth
Galaxies, Stars, and Planets
Community Tutorials
Learn
Azimuth
Arvo
Ames
Behn
Clay
Dill
Eyre
Ford
Gall Apps
Hall
Hoon
Hoon Style Guide
Hoon Tutorial
Gall
1.1 Setup
1.1.1 Walkthrough: List of Numbers
1.2 Nouns
1.3 Hoon Syntax
1.3.1 Walkthrough: Conditionals
1.4 Lists
1.4.1 Walkthrough: Fibonacci Sequence
1.5 Gates (Hoon Functions)
1.5.1 Walkthrough: Recursion
1.6 The Subject and Its Legs
1.6.1 Walkthrough: Ackermann Function
1.7 Arms and Cores
1.7.1 Walkthrough: Caesar Cipher
1.8 Doors
1.8.1 Bank Account
1.9 Generators
2.1 Atoms, Auras, and Simple Cell Types
2.2 Type Checking and Type Inference
2.3 Structures and Complex Types
2.3.1 Walkthrough: Libraries
2.4 Standard Library: Trees, Sets, and Maps
2.5 Type Polymorphism
2.5.1 Walkthrough: Iron Polymorphism and Wet Polymorphism
2.5.2 Walkthrough: Lead Polymorphism
2.7.1 Gall Walkthrough: Egg Timer
Hoon Workbook
Digits
Magic 8-Ball
Traffic Light
Bomb Defusing
Nock
Nock Definition
Explanation
Example
Implementations
Vere
C Runtime System
Land of Nouns
API overview by prefix
C in Urbit
Writing Jets
Reference
Arvo Glossary
Azimuth Glossary
Cheat sheet
Hoon Errors
Hoon Errors
Ship Troubleshooting
Hoon Expressions
Basic Types
Advanced Types
Irregular forms
Runes
Atoms and strings
Nock . ('dot')
Wild ! ('zap')
Change Subject = ('tis')
Conditionals ? ('wut')
Cores | ('bar')
Arms + ('lus')
Cells : ('col')
Calls % ('cen')
Casts ^ ('ket')
Structures $ ('buc')
Make ; ('mic')
Hints ~ ('sig')
Terminators -- and ==
Limbs and wings
Limbs
Wings
Standard library
1a: Basic Arithmetic
1b: Tree Addressing
1c: Molds and Mold-Builders
2a: Unit Logic
2b: List Logic
2c: Bit Arithmetic
2d: Bit Logic
2e: Insecure Hashing
2f: Noun Ordering
2g: Unsigned Powers
2h: Set Logic
2i: Map Logic
2j: Jar and Jug Logic
2k: Queue Logic
2l: Container from Container
2m: Container from Noun
2n: Functional Hacks
2o: Normalizing Containers
2p: Serialization
2q: Molds and Mold-Builders
3a: Modular and Signed Ints
3b: Floating Point
3c: Urbit Time
3d: SHA Hash Family
3e: AES encryption (Removed)
3f: Scrambling
3g: Molds and Mold-Builders
4a: Exotic Bases
4b: Text Processing
4c: Tank Printer
4d: Parsing (Tracing)
4e: Parsing (Combinators)
4f: Parsing (Rule-Builders)
4g: Parsing (Outside Caller)
4h: Parsing (ASCII Glyphs)
4i: Parsing (Useful Idioms)
4j: Parsing (Bases and Base Digits)
4k: Atom Printing
4l: Atom Parsing
4m: Formatting Functions
4n: Virtualization
4o: Molds
5a: Compiler Utilities
5b: Macro Expansion
5c: Compiler Backend & Prettyprinter
5d: Parser
5e: Caching Compiler
5f: Molds and Mold-Builders
5g: profiling support
Zuse
5g: profiling support
(To be documented)