AdvancedResearch

icon indicating a website link https://github.com/advancedresearch/advancedresearch.github.io

icon location International icon location A research branch of the Piston project (https://www.piston.rs/)

Results 13 repositories owned by AdvancedResearch

path_semantics

160
Stars
13
Forks
Watchers

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

verified publisher icon advancedresearch

quickbacktrack

22
Stars
0
Forks
Watchers

Library for back tracking with customizable search for moves

verified publisher icon advancedresearch

advancedresearch.github.io

20
Stars
3
Forks
Watchers

The website for the AdvancedResearch community

verified publisher icon advancedresearch

avalog

64
Stars
3
Forks
Watchers

An experimental implementation of Avatar Logic with a Prolog-like syntax

verified publisher icon advancedresearch

linear_solver

32
Stars
2
Forks
Watchers

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

verified publisher icon advancedresearch

lojban

22
Stars
3
Forks
Watchers

A Lojban parser in Piston-Meta

verified publisher icon advancedresearch

mix_economy

33
Stars
1
Forks
Watchers

A research project to mix-regulate economy in MMO worlds

verified publisher icon advancedresearch

monotonic_solver

44
Stars
4
Forks
Watchers

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

verified publisher icon advancedresearch

pocket_prover

35
Stars
1
Forks
Watchers

A fast, brute force, automatic theorem prover for first order logic

verified publisher icon advancedresearch

poi

136
Stars
7
Forks
Watchers

a pragmatic point-free theorem prover assistant

verified publisher icon advancedresearch