cyborg-nomade / reignitionLinks
Repository for the book "Reignition: Nick Land's Writings (2011-)"
☆30Updated 5 years ago
Alternatives and similar repositories for reignition
Users that are interested in reignition are comparing it to the libraries listed below
Sorting:
- Language Server for Hoon. Middleware to translate between the Language Server Protocol and your Urbit.☆44Updated 3 weeks ago
- An Algebraic, Executable Ur Machine☆37Updated 7 years ago
- things that don't deserve their own repo☆63Updated 7 months ago
- A minimal decentralized computer.☆117Updated 4 years ago
- Urbit: an operating function☆97Updated 8 years ago
- Sending the lambda calculus into deep space☆152Updated 3 years ago
- Tree-sitter grammar for urbit language hoon☆18Updated last year
- ☆15Updated 2 months ago
- An event sourced, purely functional application platform.☆63Updated 11 months ago
- A relational interpretation of Lojban☆36Updated 6 months ago
- Earth to Mars communication done right☆17Updated 2 years ago
- CS 498MC Martian Computing at the University of Illinois at Urbana–Champaign☆64Updated 3 years ago
- ~talkbot, the one and only.☆12Updated 7 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆197Updated last week
- Lambda called on lambda finds/creates lambda, each with lazy-evaled 256 bit global DAG ids. Each lambda has 2 child lambdas. A kind of nu…☆28Updated last year
- Moonad: a Peer-to-Peer Operating System☆101Updated 6 years ago
- gopher library & server written in Haskell☆47Updated 8 months ago
- Pixel art app for Urbit☆142Updated last month
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆80Updated 4 months ago
- Specification of the Formality proof and programming language☆41Updated 3 years ago
- An implementation of interaction nets as a forth-like language.☆44Updated 2 months ago
- Compiler for MFM programming language☆59Updated 10 months ago
- A reverse proxy for Urbit to utilize moons in support of a planet's or star's services.☆15Updated 2 years ago
- An upcoming operating system built on Type-Theory☆43Updated 5 years ago
- Personal Hidden Git Server☆25Updated 3 years ago
- A minimal proof checker.☆79Updated last year
- Bologna Optimal Higher-Order Machine, Version 1.1☆84Updated 8 years ago
- Collection of Kind2 programs and proofs☆12Updated last year
- A pure-actor virtual machine with object-capabilities and memory-safety.☆93Updated 3 weeks ago
- Haskell Gopher Protocol TUI Client 🧇☆22Updated last year