Popular repositories Loading

1. japl japl Public

   A typed actor language for building reliable distributed systems and AI agents. Compiles to WASM, runs on a Rust runtime with real processes, supervision, and LLM effects.

   TeX

2. minimal-runtime-axiom minimal-runtime-axiom Public

   The Minimal Runtime Axiom: Runtime is proof of ignorance. A type-theoretic and category-theoretic formalization.

   TeX

3. yoneda-constraint yoneda-constraint Public

   The Yoneda Constraint as a universal axiom: unifying Godel, the measurement problem, compiler bootstrap, and AI alignment under one categorical principle.

   TeX

4. PosTree PosTree Public

   Generate social media posts from source content, publish to 33+ platforms via Postiz

   TypeScript

5. japl-lang.dev japl-lang.dev Public

   JAPL language documentation site — japl-lang.dev

   MDX

6. dna-lang dna-lang Public

   DNA-Lang: A typed programming language for biological systems. 8 research papers + Haskell implementations mapping DNA sequence categories to programming language constructs.

   HTML