Skip to content

@advancedresearch AdvancedResearch

Change the repository type filter

All

    Repositories list

    66 repositories

    • advancedresearch.github.io

      Public
      The website for the AdvancedResearch community
      MIT License
      •3•20•2•0•Updated Nov 8, 2024Nov 8, 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

    • path_semantics

      Public
      A research project in path semantics, a re-interpretation of functions for expressing mathematics
      researchtype-theorymathematical-logic
      Rust
      •
      MIT License
      •13•163•27•0•Updated Oct 18, 2024Oct 18, 2024

    • the_century_of_satire

      Public
      Reconstructing 2nd century cultural literature context of Roman satire in Early Christianity texts
      0•2•0•0•Updated Oct 17, 2024Oct 17, 2024

    • algexenotation

      Public
      An implementation of Algexenotation in Rust
      Rust
      •
      MIT License
      •1•1•6•0•Updated Oct 10, 2024Oct 10, 2024

    • pocket_prover

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

    • joker_calculus

      Public
      An implementation of Joker Calculus in Rust
      Rust
      •
      MIT License
      •2•5•26•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

    • hooo

      Public
      Propositional logic with exponentials
      Rust
      •
      Apache License 2.0
      •1•15•11•0•Updated Aug 17, 2024Aug 17, 2024

    • maray

      Public
      JIT Ray Tracing using basic math
      Rust
      •0•1•2•0•Updated Jun 28, 2024Jun 28, 2024

    • avalog

      Public
      An experimental implementation of Avatar Logic with a Prolog-like syntax
      Rust
      •
      Apache License 2.0
      •3•66•18•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•33•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•5•0•Updated Oct 13, 2023Oct 13, 2023

    • poi

      Public
      a pragmatic point-free theorem prover assistant
      Rust
      •
      Apache License 2.0
      •7•137•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•60•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

    • quickbacktrack

      Public
      Library for back tracking with customizable search for moves
      constraint-solverbacktracking-searchcustomizable-search
      Rust
      •
      MIT License
      •0•23•1•0•Updated Sep 21, 2022Sep 21, 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

    • star_fizzle

      Public
      A simple non-deterministic cellular automata with remarkable properties
      MIT License
      •1•2•1•0•Updated Mar 29, 2022Mar 29, 2022

    • caso

      Public
      Category Theory Solver for Commutative Diagrams
      Rust
      •
      Apache License 2.0
      •1•4•1•0•Updated Mar 23, 2022Mar 23, 2022