Docs.rs

Recent Releases

mutica-0.2.3

Mutica programming language
5 minutes ago
symbolic-mgu-0.1.0-alpha.1

Symbolic logic unification using Most General Unifiers (MGU). Implements Meredith's condensed detachment for automated theorem proving.
6 minutes ago
mutica-semantic-0.2.3

Semantic analysis library for the Mutica programming language
6 minutes ago
thanks-stars-0.6.0

Star the GitHub repositories backing your project's dependencies from the command line.
7 minutes ago
mutica-compiler-0.2.3

Compiler library for the Mutica programming language
9 minutes ago
serde-pyobject-0.8.0

PyO3's PyAny as a serde data format
10 minutes ago
mutica-core-0.2.3

Core library for the Mutica programming language
10 minutes ago
r200_uhf-0.3.0

Implementation of serial protocol for reading R200 UHF chip
11 minutes ago
pg_exporter-0.5.5

PostgreSQL metric exporter for Prometheus
11 minutes ago
the-bus-telemetry-2.0.0

Library for handling data exchange with the api (called telemetry) of the simulation software The Bus
14 minutes ago
plot_starter-0.34.4

A simple library to quickly plot data using `egui_plot`.
14 minutes ago
askama-markdown-cmark-0.2.0

Askama filter for markdown, using pulldown-cmark.
15 minutes ago
embed_anything-0.6.5

Embed anything at lightning speed
17 minutes ago
oxdraw-0.1.0

CLI and Web View for Declaritive Diagramming
18 minutes ago
processors-rs-0.6.5

Embed anything at lightning speed
18 minutes ago