Ecosyste.ms: Awesome

https://github.com/advancedresearch/path_semantics

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

mathematical-logic research type-theory

Last synced: 21 Nov 2024

https://github.com/advancedresearch/poi

a pragmatic point-free theorem prover assistant

Last synced: 15 Nov 2024

https://github.com/advancedresearch/avalog

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

Last synced: 15 Nov 2024

https://github.com/advancedresearch/prop

Propositional logic with types in Rust

Last synced: 16 Nov 2024

https://github.com/advancedresearch/monotonic_solver

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

Last synced: 15 Nov 2024

https://github.com/advancedresearch/pocket_prover

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

Last synced: 15 Nov 2024

https://github.com/advancedresearch/linear_solver

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

Last synced: 15 Nov 2024

https://github.com/advancedresearch/reachability_solver

A linear reachability solver for directional edges

Last synced: 15 Nov 2024

https://github.com/advancedresearch/last_order_logic

An experimental logical language

Last synced: 16 Nov 2024

https://github.com/advancedresearch/joker_calculus

An implementation of Joker Calculus in Rust

Last synced: 15 Nov 2024

https://github.com/advancedresearch/avatar_hypergraph_rewriting

Hypergraph rewriting system with avatars for symbolic distinction

Last synced: 15 Nov 2024

https://github.com/advancedresearch/debug_sat

A debuggable automatic theorem prover for boolean satisfiability problems (SAT).

Last synced: 15 Nov 2024

https://github.com/advancedresearch/caso

Category Theory Solver for Commutative Diagrams

Last synced: 15 Nov 2024

https://github.com/advancedresearch/closure_calculus

A Rust library for Barry Jay's Closure Calculus

Last synced: 16 Nov 2024

https://github.com/advancedresearch/the_century_of_satire

Reconstructing 2nd century cultural literature context of Roman satire in Early Christianity texts

Last synced: 26 Sep 2024

https://github.com/advancedresearch/pocket_prover-set

A base logical system for PocketProver to reason about set properties

Last synced: 15 Nov 2024