- Avatar Logic - An attempt to create a formal logic which reaches beyond the limits of predicate logic https://github.com/advancedresearch/avalog 3 comments philosophy
- Avalog v0.2 released - An experimental Prolog-like language for Avatar Logic - Now with a new REPL, performance improvements and support for non-terminating rules using diagonalization https://github.com/advancedresearch/avalog 4 comments rust
Linking pages
- GitHub - advancedresearch/monotonic_solver: A monotonic solver designed to be easy to use with Rust enum expressions https://github.com/advancedresearch/monotonic_solver 6 comments
- GitHub - newca12/awesome-rust-formalized-reasoning: An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification. https://github.com/newca12/awesome-rust-formalized-reasoning 0 comments
Linked pages
- GitHub - advancedresearch/path_semantics: A research project in path semantics, a re-interpretation of functions for expressing mathematics https://github.com/advancedresearch/path_semantics 17 comments
- Dependent type - Wikipedia https://en.wikipedia.org/wiki/Dependent_type 15 comments
- GitHub - advancedresearch/monotonic_solver: A monotonic solver designed to be easy to use with Rust enum expressions https://github.com/advancedresearch/monotonic_solver 6 comments
- GitHub - PistonDevelopers/meta: A DSL parsing library for human readable text documents https://github.com/pistondevelopers/meta 4 comments
- Horn clause - Wikipedia https://en.wikipedia.org/wiki/Horn_clause 0 comments
Would you like to stay up to date with Rust? Checkout Rust
Weekly.
Related searches:
Search whole site: site:github.com
Search title: GitHub - advancedresearch/avalog: An experimental implementation of Avatar Logic with a Prolog-like syntax
See how to search.