AdvancedResearch

Repositories

• avalog

  An experimental implementation of Avatar Logic with a Prolog-like syntax
  Rust 1 13 12 0 Updated Nov 1, 2020

• advancedresearch.github.io

  The website for the AdvancedResearch community
  MIT 2 13 2 0 Updated Oct 30, 2020

• monotonic_solver

  A monotonic solver designed to be easy to use with Rust enum expressions
  Rust MIT 2 34 2 0 Updated Oct 28, 2020

• path_semantics

  A research project in path semantics, a re-interpretation of functions for expressing mathematics

  research type-theory mathematical-logic
  Rust MIT 8 89 21 0 Updated Oct 27, 2020

• tree_mem_sort

  An in-memory topological sort algorithm for trees based on Group Theory
  Rust MIT 4 24 0 0 Updated Oct 27, 2020

• avatar_graph

  A library for Avatar Graphs
  Rust MIT 1 2 8 0 Updated Oct 27, 2020

• lojban

  A Lojban parser in Piston-Meta
  Rust MIT 3 16 0 0 Updated Oct 22, 2020

• observer_selection_effects

  Various experiments in optimization algorithms derived from probabilistic observer selection effects
  Rust MIT 1 2 5 0 Updated Oct 21, 2020

• avatar_cipher

  An experiment to develop encryption/decryption ciphers for avatar graphs
  Rust Apache-2.0 1 0 0 0 Updated Sep 28, 2020

• poi

  a pragmatic point-free theorem prover assistant
  Rust 3 79 30 0 Updated Sep 23, 2020

• proof_of_normal_path_composition

  A proof of normal path composition in path semantics using diagonal commuting square in Cubical Type Theory
  1 1 0 0 Updated Sep 21, 2020

• quickbacktrack

  Library for back tracking with customizable search for moves

  constraint-solver backtracking-search customizable-search
  Rust MIT 0 16 0 0 Updated Sep 16, 2020

• path_iter

  A cocategory enumeration library based on path semantics
  Rust 1 1 0 0 Updated Sep 14, 2020

• graph_solver

  An undirected graph constraint solver for node and edge colors
  Rust 1 4 0 0 Updated Sep 12, 2020

• pocket_prover

  A fast, brute force, automatic theorem prover for first order logic
  Rust MIT 1 11 1 0 Updated Sep 8, 2020

• nano_ecs

  A bare-bones macro-based Entity-Component-System
  Rust 1 5 1 0 Updated Aug 29, 2020

• trinoise

  A mathematical noise pattern of 3 values based on Number Theory and Set Theory
  Rust MIT 1 1 0 0 Updated Aug 19, 2020

• pocket_prover-set

  A base logical system for PocketProver to reason about set properties
  Rust MIT 1 0 0 0 Updated Aug 19, 2020

• debug_sat

  A debuggable automatic theorem prover for boolean satisfiability problems (SAT).
  Rust MIT 1 1 0 0 Updated Jul 17, 2020

• max_tree

  A utility maximizer library based on a maximum tree structure.
  Rust 1 1 1 0 Updated Jul 14, 2020

• rigid_body

  A minimalistic rigid body library
  Rust MIT 1 0 0 0 Updated Jul 14, 2020

• self_organizing_fractal_noise

  Research on self-organizing fractal noise
  Apache-2.0 1 1 6 0 Updated Jul 7, 2020

• mix_economy

  A research project to mix-regulate economy in MMO worlds
  Rust 1 21 6 0 Updated Jun 29, 2020

• discrete

  Combinatorial phantom types for discrete mathematics

  rust discrete-mathematics combinatorial-phantom-types
  Rust MIT 1 11 6 0 Updated Jun 10, 2020

• error_predictive_learning

  Black-box learning algorithm using error prediction levels
  Rust 1 0 0 0 Updated Apr 25, 2020

• agent_safety_layers

  Construct agents that are wrapped in safety layers
  Rust MIT 1 0 0 0 Updated Apr 23, 2020

• permutative_group_of_functions

  Formally checked proofs of permutative group of functions in Coq IDE
  Coq MIT 1 1 0 0 Updated Mar 22, 2020

• hilbert_image_to_sound

  A library for turning images into sound using Hilbert space-filling curves
  Rust 1 1 3 0 Updated Mar 2, 2020

• reachability_solver

  A linear reachability solver for directional edges
  Rust MIT 1 5 0 0 Updated Feb 28, 2020

• higher_order_point

  An experimental higher order data structure for 3D points
  Rust MIT 1 2 1 0 Updated Feb 24, 2020