Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
crates.io "advancedresearch" keyword
advancedresearch-tree_mem_sort 0.2.0 💰
An in-memory topological sort algorithm for trees based on Group Theory3 versions - Latest release: over 4 years ago - 1 dependent package - 17 dependent repositories - 6.57 thousand downloads total - 24 stars on GitHub - 1 maintainer
advancedresearch-path_iter 0.5.0 💰
A cocategory enumeration library based on path semantics6 versions - Latest release: over 1 year ago - 2.41 thousand downloads total - 3 stars on GitHub - 1 maintainer
advancedresearch-nano_ecs 0.9.0 💰
A bare-bones macro-based Entity-Component-System12 versions - Latest release: almost 4 years ago - 4.85 thousand downloads total - 9 stars on GitHub - 1 maintainer
hooo 0.5.0
Propositional logic with exponentials19 versions - Latest release: 15 days ago - 4.83 thousand downloads total - 15 stars on GitHub - 1 maintainer
algexenotation 0.4.0
An implementation of Algexenotation in Rust5 versions - Latest release: 5 months ago - 1 dependent repositories - 1.64 thousand downloads total - 1 stars on GitHub - 1 maintainer
avalog 0.7.2 💰
An experimental implementation of Avatar Logic with a Prolog-like syntax23 versions - Latest release: 12 days ago - 1 dependent package - 9.94 thousand downloads total - 64 stars on GitHub - 1 maintainer
joker_calculus 0.11.0
An implementation of Joker Calculus in Rust12 versions - Latest release: 8 months ago - 3.88 thousand downloads total - 5 stars on GitHub - 1 maintainer
advancedresearch-hypo 0.2.0 💰
Automatic hypothesis testing3 versions - Latest release: 7 months ago - 1.35 thousand downloads total - 3 stars on GitHub - 1 maintainer
last_order_logic 0.2.0
An experimental logical language2 versions - Latest release: over 2 years ago - 791 downloads total - 5 stars on GitHub - 1 maintainer
higher_order_point 0.1.1 💰
An experimental higher order data structure for 3D points2 versions - Latest release: almost 5 years ago - 1.1 thousand downloads total - 4 stars on GitHub - 1 maintainer
advancedresearch-higher_order_point 0.3.0 💰
An experimental higher order data structure for 3D points3 versions - Latest release: over 4 years ago - 1.54 thousand downloads total - 4 stars on GitHub - 1 maintainer
aude 0.2.0
An automated differentiation solver with a Lisp-like functional programming language2 versions - Latest release: about 2 years ago - 813 downloads total - 2 stars on GitHub - 1 maintainer
caso 0.2.2
Category Theory Solver for Commutative Diagrams4 versions - Latest release: about 2 years ago - 1.39 thousand downloads total - 3 stars on GitHub - 1 maintainer
avatar_hypergraph_rewriting 0.1.1
Hypergraph rewriting system with avatars for symbolic distinction2 versions - Latest release: over 2 years ago - 795 downloads total - 2 stars on GitHub - 1 maintainer
avatar_graph 0.6.3 💰
A library for Avatar Graphs10 versions - Latest release: over 3 years ago - 3.98 thousand downloads total - 6 stars on GitHub - 1 maintainer
advanedresearch-trinoise 0.1.1 💰
A mathematical noise pattern of 3 values based on Number Theory and Set Theory2 versions - Latest release: almost 4 years ago - 1.04 thousand downloads total - 4 stars on GitHub - 1 maintainer
prop 0.47.0
Propositional logic with types in Rust52 versions - Latest release: 12 months ago - 15.6 thousand downloads total - 58 stars on GitHub - 1 maintainer
iknow 0.1.0
A self-describing knowledge format with support for Rust-like syntax1 version - Latest release: almost 2 years ago - 389 downloads total - 1 stars on GitHub - 1 maintainer
advancedresearch-max_tree 0.1.0 💰
A utility maximizer library based on a maximum tree structure.1 version - Latest release: almost 4 years ago - 546 downloads total - 2 stars on GitHub - 1 maintainer
poi 0.24.0 💰
A pragmatic point-free theorem prover assistant27 versions - Latest release: 8 months ago - 10.4 thousand downloads total - 136 stars on GitHub - 1 maintainer
advancedresearch-graph_builder 0.1.0 💰
An algorithm for generating graphs with post-filtering and edge composition1 version - Latest release: over 4 years ago - 649 downloads total - 3 stars on GitHub - 1 maintainer
graph_solver 0.4.0 💰
An undirected graph constraint solver for node and edge colors5 versions - Latest release: over 3 years ago - 1.92 thousand downloads total - 5 stars on GitHub - 1 maintainer
path_semantics_std 0.1.0 💰
A Rust type checked implementation of the standard dictionary of path semantics using constrained...1 version - Latest release: over 6 years ago - 810 downloads total - 1 stars on GitHub - 1 maintainer
ha 0.3.0
Ha provides core structs and traits for programming with higher order structures in Rust1 version - Latest release: about 3 years ago - 507 downloads total - 0 stars on GitHub - 1 maintainer
advancedresearch-rigid_body 0.1.0 💰
A minimalistic rigid body library1 version - Latest release: almost 4 years ago - 1 dependent repositories - 559 downloads total - 0 stars on GitHub - 1 maintainer
advancedresearch-higher_order_core 0.3.0 💰
Core structs and traits for programming with higher order structures in Rust4 versions - Latest release: over 4 years ago - 2 dependent packages - 1 dependent repositories - 3.15 thousand downloads total - 7 stars on GitHub - 1 maintainer
advancedresearch-utility_programming 0.3.0 💰
A library for composable utility programming.3 versions - Latest release: about 6 years ago - 1 dependent repositories - 2.67 thousand downloads total - 4 stars on GitHub - 1 maintainer
advancedresearch-asi_core0 0.2.0 💰
An agent architecture candidate core for Artificial Super Intelligence (ASI)2 versions - Latest release: over 3 years ago - 1 dependent repositories - 1.26 thousand downloads total - 7 stars on GitHub - 1 maintainer
abstractio 0.1.0
Abstract IO dimensionality analysis for physics using theory of Avatar Extensions1 version - Latest release: over 1 year ago - 381 downloads total - 0 stars on GitHub - 1 maintainer
Related Keywords
theorem
7
proving
6
order
4
higher
4
avatar
4
logic
4
graph
3
solver
3
core
3
mathematics
3
assistant
3
theory
3
semantics
2
physics
2
automatic
2
utility
2
path
2
category
2
point
2
tree
2
programming
2
extensions
1
io
1
self
1
describing
1
constructive
1
groupoid
1
math
1
sort
1
knowledge
1
format
1
maximum
1
point-free
1
intelligence
1
artificial
1
super
1
3d
1
optimization
1
ai
1
rigid
1
body
1
group
1
iter
1
enumeration
1
iterator
1
tiny
1
nano
1
macro
1
ecs
1
exponentials
1
number
1
prolog
1
joker
1
calculus
1
philosophy
1
testing
1
hypothesis
1
lol
1
differentation
1
lisp
1
hypergraph
1
rewriting
1
wolfram
1
noise
1