An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

crates.io "theory" keyword

View the packages on the crates.io package registry that are tagged with the "theory" keyword.

ctrs 1.0.2
Rust implementations and notes on category theory.
3 versions - Latest release: about 7 years ago - 4.54 thousand downloads total - 67 stars on GitHub - 1 maintainer
kord 0.7.1 💰
A tool to easily explore music theory principles.
18 versions - Latest release: over 1 year ago - 21.3 thousand downloads total - 205 stars on GitHub - 1 maintainer
rarrow 0.0.1
Another category theory library in Rust
1 version - Latest release: almost 6 years ago - 1.59 thousand downloads total - 2 stars on GitHub - 1 maintainer
algexenotation 0.5.0
An implementation of Algexenotation in Rust
6 versions - Latest release: 10 months ago - 1 dependent repositories - 7.01 thousand downloads total - 1 stars on GitHub - 1 maintainer
redact-composer-musical 0.3.4
Music theory domain models and utilities packaged with redact-composer (may also be used standalone)
12 versions - Latest release: over 1 year ago - 2 dependent packages - 13.2 thousand downloads total - 5 stars on GitHub - 1 maintainer
chasement 0.1.0
A small interpreted language to simulate a push down automaton with 2 stacks
1 version - Latest release: over 3 years ago - 1.44 thousand downloads total - 0 stars on GitHub - 1 maintainer
chord_name 0.1.0
A library for working with chord names in music theory.
1 version - Latest release: 9 months ago - 759 downloads total - 1 stars on GitHub - 1 maintainer
amfiteatr 0.11.0
Placeholder crate to gather developed crates to help modeling game theory problems
2 versions - Latest release: about 2 months ago - 562 downloads total - 2 stars on GitHub - 1 maintainer
amfiteatr_core 0.11.0
A framework to model and simulate game theory problems with many agents
13 versions - Latest release: about 2 months ago - 5 dependent packages - 11.6 thousand downloads total - 2 stars on GitHub - 1 maintainer
amfiteatr_rl 0.11.0
Extensions providing reinforcement learning implementations for `amfiteatr`
13 versions - Latest release: about 2 months ago - 3 dependent packages - 11.1 thousand downloads total - 2 stars on GitHub - 1 maintainer
advancedresearch-tree_mem_sort 0.2.0 💰
An in-memory topological sort algorithm for trees based on Group Theory
3 versions - Latest release: almost 6 years ago - 1 dependent package - 17 dependent repositories - 10.7 thousand downloads total - 24 stars on GitHub - 1 maintainer
brydz_dd 0.7.0
Work in progress - implementation of double dummy solver for contract bridge
5 versions - Latest release: 4 months ago - 5.12 thousand downloads total - 1 maintainer
brydz_core 0.7.0
Implemented basic rules of contract bridge game
7 versions - Latest release: 4 months ago - 2 dependent packages - 7.55 thousand downloads total - 0 stars on GitHub - 1 maintainer
amfiteatr_net_ext 0.11.0
Proof of concept extension to provide basic TCP communication
13 versions - Latest release: about 2 months ago - 1 dependent package - 10.7 thousand downloads total - 2 stars on GitHub - 1 maintainer
amfiteatr_proc_macro 0.11.0
Procedural macro crate for amfiteatr_* crates
10 versions - Latest release: about 2 months ago - 7.25 thousand downloads total - 2 stars on GitHub - 1 maintainer
amfiteatr_classic 0.11.0
Implementation of some classic game theory problems to research on
13 versions - Latest release: about 2 months ago - 10.5 thousand downloads total - 2 stars on GitHub - 1 maintainer
hfs 1.0.0
Hereditarily finite sets.
4 versions - Latest release: 12 months ago - 3.87 thousand downloads total - 0 stars on GitHub - 1 maintainer
qcd-sme 0.3.2
numerical library for the screened massive expansion of QCD
2 versions - Latest release: 7 months ago - 1.32 thousand downloads total - 2 stars on GitHub - 1 maintainer
brydz_model 0.7.0
Minimal (unstable yet) implementation od simulation model for contract bridge
7 versions - Latest release: 4 months ago - 7.17 thousand downloads total - 0 stars on GitHub - 1 maintainer
graph_solver 0.4.0 💰
An undirected graph constraint solver for node and edge colors
5 versions - Latest release: almost 5 years ago - 5.94 thousand downloads total - 5 stars on GitHub - 1 maintainer