AdvancedResearch's repositories
path_semantics
A research project in path semantics, a re-interpretation of functions for expressing mathematics
mix_economy
A research project to mix-regulate economy in MMO worlds
algexenotation
An implementation of Algexenotation in Rust
advancedresearch.github.io
The website for the AdvancedResearch community
joker_calculus
An implementation of Joker Calculus in Rust
ai_system_prompts
A library of AI system prompts for Large Language Models
observer_selection_effects
Various experiments in optimization algorithms derived from probabilistic observer selection effects
pocket_prover
A fast, brute force, automatic theorem prover for first order logic
abstractio
Abstract IO dimensionality analysis for physics using theory of Avatar Extensions
ethicophysics
various mathematical properties arising from the exercise of free will by the human animal
pocket_prover-set
A base logical system for PocketProver to reason about set properties
quickbacktrack
Library for back tracking with customizable search for moves
algexeno_cistercian
Visual Algexenotation with Cistercian numerals as hyperprimes
what_if
A fictional perspective on cosmos and human history
last_order_logic
An experimental logical language
higher_order_point
An experimental higher order data structure for 3D points
star_fizzle
A simple non-deterministic cellular automata with remarkable properties
avatar_hypergraph_rewriting
Hypergraph rewriting system with avatars for symbolic distinction
attention_trace
A research project into attention trace