advancedresearch/permutative_group_of_functions advancedresearch/permutative_group_of_functions

  • Stars
    star
    2
  • Language Coq
  • License
    MIT License
  • Created over 4 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
advancedresearch/permutative_group_of_functions
github

advancedresearch

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Formally checked proofs of permutative group of functions in Coq IDE

More Repositories

1

path_semantics

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

poi

a pragmatic point-free theorem prover assistant
Rust
135
star
3

avalog

An experimental implementation of Avatar Logic with a Prolog-like syntax
Rust
63
star
4

prop

Propositional logic with types in Rust
Rust
56
star
5

monotonic_solver

A monotonic solver designed to be easy to use with Rust enum expressions
Rust
44
star
6

mix_economy

A research project to mix-regulate economy in MMO worlds
Rust
33
star
7

pocket_prover

A fast, brute force, automatic theorem prover for first order logic
Rust
33
star
8

linear_solver

A linear solver designed to be easy to use with Rust enums.
Rust
32
star
9

tree_mem_sort

An in-memory topological sort algorithm for trees based on Group Theory
Rust
24
star
10

lojban

A Lojban parser in Piston-Meta
Rust
22
star
11

quickbacktrack

Library for back tracking with customizable search for moves
Rust
22
star
12

advancedresearch.github.io

The website for the AdvancedResearch community
20
star
13

discrete

Combinatorial phantom types for discrete mathematics
Rust
14
star
14

hooo

Propositional logic with exponentials
Rust
13
star
15

nano_ecs

A bare-bones macro-based Entity-Component-System
Rust
8
star
16

ethicophysics

various mathematical properties arising from the exercise of free will by the human animal
TeX
8
star
17

higher_order_core

Core structs and traits for programming with higher order structures in Rust
Rust
7
star
18

asi_core0

An agent architecture candidate core for Artificial Super Intelligence (ASI).
Rust
7
star
19

reachability_solver

A linear reachability solver for directional edges
Rust
6
star
20

graph_solver

An undirected graph constraint solver for node and edge colors
Rust
5
star
21

last_order_logic

An experimental logical language
Rust
5
star
22

avatar_graph

A library for Avatar Graphs
Rust
5
star
23

joker_calculus

An implementation of Joker Calculus in Rust
Rust
5
star
24

trinoise

A mathematical noise pattern of 3 values based on Number Theory and Set Theory
Rust
4
star
25

higher_order_point

An experimental higher order data structure for 3D points
Rust
4
star
26

environmental_mega_robotic_systems

Software for controlling mega robotic systems to deal with environmental problems - such as excess CO2 (pre-alpha)
Rust
4
star
27

self_organizing_fractal_noise

Research on self-organizing fractal noise
4
star
28

path_iter

A cocategory enumeration library based on path semantics
Rust
3
star
29

hilbert_image_to_sound

A library for turning images into sound using Hilbert space-filling curves
Rust
3
star
30

utility_programming

A library for composable utility programming.
Rust
3
star
31

graph_builder

An algorithm for generating graphs with post-filtering and edge composition.
Rust
3
star
32

caso

Category Theory Solver for Commutative Diagrams
Rust
3
star
33

hypo

Automatic hypothesis testing
Rust
3
star
34

debug_sat

A debuggable automatic theorem prover for boolean satisfiability problems (SAT).
Rust
3
star
35

closure_calculus

A Rust library for Barry Jay's Closure Calculus
Rust
2
star
36

proof_of_normal_path_composition

A proof of normal path composition in path semantics using diagonal commuting square in Cubical Type Theory
2
star
37

star_fizzle

A simple non-deterministic cellular automata with remarkable properties
2
star
38

homotopy

A library for homotopy logic
Rust
2
star
39

sync

A research project about synchronizability and cosynchronizability
Rust
2
star
40

observer_selection_effects

Various experiments in optimization algorithms derived from probabilistic observer selection effects
Rust
2
star
41

aude

An automated differentiation solver with a Lisp-like functional programming language
Rust
2
star
42

pingle

PiNGLE: The Piston Natural Grounded Language Environment
Python
2
star
43

truth_beauty_bux

A cryptocurrency that helps people rather than harming them
TeX
2
star
44

max_tree

A utility maximizer library based on a maximum tree structure.
Rust
2
star
45

avatar_hypergraph_rewriting

Hypergraph rewriting system with avatars for symbolic distinction
Rust
2
star
46

challenges

Toolkits and challenges for applying agent architecture candidate cores for Artificial Super Intelligence (ASI) in simulated environments
Rust
2
star
47

room

An experiment to test The Room Hypothesis of Common Sense
Rust
1
star
48

dig

A simple logistic environment primitive
Rust
1
star
49

attention_trace

A research project into attention trace
1
star
50

algexeno_cistercian

Visual Algexenotation with Cistercian numerals as hyperprimes
Rust
1
star
51

pocket_prover-set

A base logical system for PocketProver to reason about set properties
Rust
1
star
52

error_predictive_learning

Black-box learning algorithm using error prediction levels
Rust
1
star
53

iknow

A self-describing knowledge format with support for Rust-like syntax
Rust
1
star
54

path_semantics_std

A Rust type checked implementation of the standard dictionary of path semantics using constrained functions
Rust
1
star