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