larsiusprime / georgismLinks
Little website about georgism
☆19Updated 2 months ago
Alternatives and similar repositories for georgism
Users that are interested in georgism are comparing it to the libraries listed below
Sorting:
- A code browsing library for VCS file systems.☆31Updated 2 years ago
- Kitbag is a content-addressed versioned tree-structured graph-based datastore.☆14Updated 4 years ago
- An open source book discussing Adaptive Democracy.☆16Updated 9 months ago
- A minimal decentralized computer.☆118Updated 3 years ago
- A personal API☆18Updated 2 years ago
- A WebAssembly implementation in Lean4☆35Updated last year
- Efforts for packaging the Rust for Linux project with the Nix package manager☆57Updated 6 months ago
- Personal Hidden Git Server☆24Updated 3 years ago
- Ambient Authority☆21Updated 2 years ago
- Constant-Time WebAssembly☆24Updated 6 years ago
- Makes rustc's exhaustiveness checker solve SAT problems☆16Updated 4 years ago
- ☆37Updated 3 weeks ago
- The next-generation Olin runtime, made with love☆66Updated 3 years ago
- A Rust panic handler, but make it gay.☆13Updated 6 months ago
- Passerine's package manager.☆22Updated 3 years ago
- a BOCU-1 encoder/decoder library in rust☆18Updated 2 years ago
- Matrix forum☆20Updated 2 years ago
- A gemini server implementation☆16Updated last month
- sorear's Metamath system engine - version 3 Rust☆25Updated 2 years ago
- Pijul <-> Git proxy☆22Updated 6 years ago
- my nix packages☆10Updated this week
- A free and opensource platform for studying the artificial language Lojban.☆90Updated last week
- Don't ask me how this works☆12Updated 5 years ago
- Experimenting with ergonomic dyn types☆29Updated 3 years ago
- Macros have types!☆131Updated 2 years ago
- Domain Specific Languages for Computational Law☆77Updated 2 months ago
- John Tromp homepage☆25Updated 4 months ago
- Node utility to inline images, CSS and JavaScript for a web page - useful for mobile sites☆16Updated 5 years ago
- Type-level strings☆14Updated last week
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆27Updated 3 years ago