guile-library

Library of useful Guile modules

A set of various-purpose library modules for Guile. Covered areas include:

python3-annotated-types

Reusable constraint types to use with typing.Annotated

Extension to Python's type annotation system, leveraging the capabilities of typing.Annotated to incorporate metadata and constraints directly into type hints. This package facilitates the representation of common constraints such as value bounds (e.g., greater than, less than), length restrictions on collections, and predicates for runtime checks, among others. Designed to enhance the expressiveness and utility of type annotations for both static analysis tools and runtime validation libraries.

python3-srptools

Tools to implement Secure Remote Password (SRP) authentication

Provides tools to implement the Secure Remote Password (SRP) protocol for secure password-based authentication and key exchange in Python. SRP is a password-authenticated key agreement protocol (PAKE) that enhances security by allowing for secure password-based authentication and key exchange.

libsingular4m4n0

Computer Algebra System for Polynomial Computations -- library package

SINGULAR is a Computer Algebra System (CAS) for polynomial computations with emphasis on the special needs of commutative algebra, algebraic geometry, and singularity theory.

tuxblocs

program to display tens, hundreds, thousands as 3D blocks

Tuxblocs helps students in K-12 schools to understand the positional numeration system.

r-cran-incidence

GNU R compute, handle, plot and model incidence of dated events

Provides functions and classes to compute, handle and visualise incidence from dated events for a defined time interval. Dates can be provided in various standard formats. The class 'incidence' is used to store computed incidence and can be easily manipulated, subsetted, and plotted. In addition, log-linear models can be fitted to 'incidence' objects using 'fit'. This package is part of the RECON (<http://www.repidemicsconsortium.org/>) toolkit for outbreak analysis.