Skip to content

@advancedresearch AdvancedResearch

Change the repository type filter

All

    Repositories list

    68 repositories

    • path_semantics

      Public
      A research project in path semantics, a re-interpretation of functions for expressing mathematics
      researchtype-theorymathematical-logic
      Rust
      •
      MIT License
      •11•173•28•0•Updated Aug 7, 2025Aug 7, 2025

    • advancedresearch.github.io

      Public
      The website for the AdvancedResearch community
      MIT License
      •3•20•2•0•Updated Aug 5, 2025Aug 5, 2025

    • hooo

      Public
      Propositional logic with exponentials
      Rust
      •
      Apache License 2.0
      •1•20•18•0•Updated Jul 22, 2025Jul 22, 2025

    • the_century_of_satire

      Public
      Reconstructing 2nd century cultural literature context of Roman satire in Early Christianity texts
      0•2•0•0•Updated Jul 2, 2025Jul 2, 2025

    • quickbacktrack

      Public
      Library for backtracking with customizable search for moves
      constraint-solverbacktracking-searchcustomizable-search
      Rust
      •
      MIT License
      •0•23•1•0•Updated Apr 28, 2025Apr 28, 2025

    • translate

      Public
      A tool for translation or reading ancient texts in their original language
      Rust
      •
      Apache License 2.0
      •1•1•0•0•Updated Mar 23, 2025Mar 23, 2025

    • toy_model_of_physical_seshatic_identity

      Public
      A simple toy model for physical Seshatic identity that satisfies the holographic principle
      Rust
      •
      MIT License
      •1•0•4•0•Updated Feb 28, 2025Feb 28, 2025

    • algexenotation

      Public
      An implementation of Algexenotation in Rust
      Rust
      •
      MIT License
      •1•1•6•0•Updated Feb 7, 2025Feb 7, 2025

    • maray

      Public
      JIT Ray Tracing using basic math
      Rust
      •0•2•2•0•Updated Dec 6, 2024Dec 6, 2024

    • algexeno_cistercian

      Public
      Visual Algexenotation with Cistercian numerals as hyperprimes
      Rust
      •
      Apache License 2.0
      •2•1•0•0•Updated Oct 20, 2024Oct 20, 2024

    • pocket_prover

      Public
      A fast, brute force, automatic theorem prover for first order logic
      Rust
      •
      MIT License
      •1•40•10•0•Updated Sep 20, 2024Sep 20, 2024

    • joker_calculus

      Public
      An implementation of Joker Calculus in Rust
      Rust
      •
      MIT License
      •2•5•27•0•Updated Sep 15, 2024Sep 15, 2024

    • sahara_diffraction_grating

      Public
      Researching the possibility of mitigating the climate crisis by large scale diffraction grating in Sahara desert
      0•0•0•0•Updated Sep 11, 2024Sep 11, 2024

    • avalog

      Public
      An experimental implementation of Avatar Logic with a Prolog-like syntax
      Rust
      •
      Apache License 2.0
      •3•68•19•0•Updated May 17, 2024May 17, 2024

    • mix_economy

      Public
      A research project to mix-regulate economy in MMO worlds
      Rust
      •
      Apache License 2.0
      •1•34•6•0•Updated Mar 15, 2024Mar 15, 2024

    • hypo

      Public
      Automatic hypothesis testing
      Rust
      •
      MIT License
      •1•4•1•0•Updated Nov 14, 2023Nov 14, 2023

    • discrete

      Public
      Combinatorial phantom types for discrete mathematics
      discrete-mathematicsrustcombinatorial-phantom-types
      Rust
      •
      MIT License
      •1•15•6•0•Updated Oct 13, 2023Oct 13, 2023

    • poi

      Public
      a pragmatic point-free theorem prover assistant
      Rust
      •
      Apache License 2.0
      •7•141•40•0•Updated Sep 28, 2023Sep 28, 2023

    • ai_system_prompts

      Public
      A library of AI system prompts for Large Language Models
      Apache License 2.0
      •0•0•0•0•Updated Aug 22, 2023Aug 22, 2023

    • prop

      Public
      Propositional logic with types in Rust
      Rust
      •
      MIT License
      •2•62•18•0•Updated Aug 1, 2023Aug 1, 2023

    • observer_selection_effects

      Public
      Various experiments in optimization algorithms derived from probabilistic observer selection effects
      Rust
      •
      MIT License
      •1•2•5•0•Updated Jul 15, 2023Jul 15, 2023

    • path_iter

      Public
      A cocategory enumeration library based on path semantics
      Rust
      •
      Apache License 2.0
      •1•3•2•0•Updated Dec 25, 2022Dec 25, 2022

    • abstractio

      Public
      Abstract IO dimensionality analysis for physics using theory of Avatar Extensions
      Rust
      •
      Apache License 2.0
      •1•0•0•0•Updated Oct 30, 2022Oct 30, 2022

    • ethicophysics

      Public
      various mathematical properties arising from the exercise of free will by the human animal
      TeX
      •
      Apache License 2.0
      •1•8•0•0•Updated Oct 11, 2022Oct 11, 2022

    • pocket_prover-set

      Public
      A base logical system for PocketProver to reason about set properties
      Rust
      •
      MIT License
      •1•1•0•0•Updated Oct 7, 2022Oct 7, 2022

    • what_if

      Public
      A fictional perspective on cosmos and human history
      Apache License 2.0
      •0•0•0•0•Updated Sep 5, 2022Sep 5, 2022

    • iknow

      Public
      A self-describing knowledge format with support for Rust-like syntax
      Rust
      •
      Apache License 2.0
      •1•2•0•0•Updated Aug 4, 2022Aug 4, 2022

    • last_order_logic

      Public
      An experimental logical language
      Rust
      •
      Apache License 2.0
      •1•5•13•0•Updated Jun 16, 2022Jun 16, 2022

    • higher_order_point

      Public
      An experimental higher order data structure for 3D points
      Rust
      •
      MIT License
      •1•4•1•0•Updated May 16, 2022May 16, 2022

    • aude

      Public
      An automated differentiation solver with a Lisp-like functional programming language
      Rust
      •
      Other
      •1•2•0•0•Updated Apr 18, 2022Apr 18, 2022