marcsAtSkyhunter / Capper
A web application server with built-in object capability security built on Node.js/Express
☆15Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for Capper
- MOVED TO MONOREPO. prototype Vat host, modeled after KeyKOS Domains☆18Updated 4 years ago
- A virtual machine for Monte.☆67Updated 6 months ago
- A dynamic language inspired by Python and E.☆79Updated 3 years ago
- OBSOLETE prototype Vat host: use SwingSet instead☆30Updated 5 years ago
- An alternative to Urbit☆91Updated 7 years ago
- A PEG that compiles itself.☆73Updated 14 years ago
- ☆10Updated 2 years ago
- Notes, Questions, Ideas☆22Updated 7 years ago
- Brainfuck with Actors☆36Updated 5 years ago
- Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core☆26Updated 5 years ago
- Noether programming language☆126Updated 7 years ago
- An Algebraic, Executable Ur Machine☆36Updated 5 years ago
- Domain Specific Languages for Computational Law☆67Updated 3 weeks ago
- Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.☆13Updated 3 years ago
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- [Mirror] A close reading of the μKanren paper.☆41Updated 2 years ago
- A wiki and web-services based development environment for Awelon project☆91Updated 5 years ago
- Racket-based implementation of Adapton☆22Updated 5 years ago
- Explorations in area of programming languages: concepts, typing, formal verification☆18Updated 2 years ago
- Modernized Sisal Interpreter☆27Updated 6 years ago
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆15Updated 4 years ago
- sorear's Metamath system engine - version 3 Rust☆22Updated last year
- An implementation of the Newspeak programming language☆58Updated this week
- A programming argot☆58Updated 7 months ago
- Idris to Serpent back end for Ethereum smart contracts☆32Updated 7 years ago
- A bare-metal actor operating system for Raspberry Pi.☆69Updated last year
- Personal WebAssembly learning project (build a SmallTalk like environment but with WASM)☆11Updated last year
- A Datalog-style database that enables programmers to represent facts using natural language☆51Updated last year
- A synthesis-enabled solver for relational logic☆27Updated 6 years ago
- Jessica - Jessie (secure distributed Javascript) Compiler Architecture☆36Updated last year