26 Repositories
Rust relational-algebra Libraries
Theorem relational dependencies automatic extraction and visualization as a graph for Lean4.
Lean Graph Interactive visualization of dependencies for any theorem/definitions in your Lean project. How to use In your browser: lean-graph.com Or r
Putting the 1992 Putnam Test question A-6 into code.
Problem If you choose 4 points on a sphere and consider the tetrahedron with these points as it's vertices, what is the probability that the center of
A perfect smoother; A discrete time version of spline smoothing for equally spaced data
Whittaker Smoother Aka Whittaker-Henderson, Whittaker-Eilers Smoother is known as the perfect smoother. Its a discrete-time version of spline smoothin
Linear algebra crate for Rust.
cayley - generic, stack-allocated linear algebra in Rust cayley is a crate that fills a small niche: it provides a generic matrix type that allocates
Python+Rust implementation of the Probabilistic Principal Component Analysis model
Probabilistic Principal Component Analysis (PPCA) model This project implements a PPCA model implemented in Rust for Python using pyO3 and maturin. In
A general-purpose, transactional, relational database that uses Datalog and focuses on graph data and algorithms
cozo A general-purpose, transactional, relational database that uses Datalog for query and focuses on graph data and algorithms. Features Relational d
Yet Another Kalman Filter Implementation. As well as Lie Theory (Lie group and algebra) on SE(3). [no_std] is supported by default.
yakf - Yet Another Kalman Filter Yet Another Kalman Filter Implementation, as well as, Lie Theory (Lie group, algebra, vector) on SO(3), SE(3), SO(2),
Simple type-safe relational algebra evaluator built entirely in Rust
ra-evaluator A simple type-safe relational algebra evaluator. Relational algebra provides the theoretical foundation for relational databases and the
A linear algebra library with excellent type safety
Static L.A. (Linear Algebra) A fast minimal ultra type safe linear algebra library. While ndarray offers no compile time type checking on dimensionali
Static Linear Algebra System
SLAS Static Linear Algebra System Provides statically allocated vector, matrix and tensor types, for interfacing with blas/blis, in a performant manor
Pipelined Relational Query Language, pronounced "Prequel"
PRQL Pipelined Relational Query Language, pronounced "Prequel". PRQL is a modern language for transforming data — a simpler and more powerful SQL. Lik
A simple and fast linear algebra library for games and graphics
glam A simple and fast 3D math library for games and graphics. Development status glam is in beta stage. Base functionality has been implemented and t
A linear algebra library written in Rust
rulinalg This library is no longer actively maintained The crate is currently on version 0.4.2. Read the API Documentation to learn more. Summary Ruli
Rust Statistics and Vector Algebra Library
Rstats Usage Insert rstats = "^1" in the Cargo.toml file, under [dependencies]. Use in source files any of the following structs, as needed: use rstat
A naive (read: slow) implementation of Word2Vec. Uses BLAS behind the scenes for speed.
SloWord2Vec This is a naive implementation of Word2Vec implemented in Rust. The goal is to learn the basic principles and formulas behind Word2Vec. BT
An object-relational in-memory cache, supports queries with an SQL-like query language.
qlcache An object-relational in-memory cache, supports queries with an SQL-like query language. Warning This is a rather low-level library, and only p
Library for Rubik's cube applications.
Rubik Master cube-demo3.mov Do you like to solve Rubik's cube? I do. As a cuber and programmer, I want to build a toolset to build applications like S
Rust implementation of µKanren, a featherweight relational programming language.
µKanren-rs This is a Rust implementation of µKanren, a featherweight relational programming language. See the original Scheme implementation here for
A linear algebra and mathematics library for computer graphics.
cgmath-rs A linear algebra and mathematics library for computer graphics. The library provides: vectors: Vector2, Vector3, Vector4 square matrices: Ma
sparse linear algebra library for rust
sprs, sparse matrices for Rust sprs implements some sparse matrix data structures and linear algebra algorithms in pure Rust. The API is a work in pro
Rust numeric library with R, MATLAB & Python syntax
Peroxide Rust numeric library contains linear algebra, numerical analysis, statistics and machine learning tools with R, MATLAB, Python like macros. W
Cleora AI is a general-purpose model for efficient, scalable learning of stable and inductive entity embeddings for heterogeneous relational data.
Cleora Cleora is a genus of moths in the family Geometridae. Their scientific name derives from the Ancient Greek geo γῆ or γαῖα "the earth", and metr
Rust version of the Haskell ERD tool. Translates a plain text description of a relational database schema to dot files representing an entity relation diagram.
erd-rs Rust CLI tool for creating entity-relationship diagrams from plain text markup. Based on erd (uses the same input format and output rendering).
Experimental type-safe geometric algebra for Rust
Projective Geometric Algebra This library is a Rust code generator, generating the mathematics you need for a geometric algebra library. I made it mos
Wrappers for LAPACK (Fortran)
LAPACK The package provides wrappers for LAPACK (Fortran). Architecture Example use lapack::*; let n = 3; let mut a = vec![3.0, 1.0, 1.0, 1.0, 3.0, 1
Wrappers for BLAS (Fortran)
BLAS The package provides wrappers for BLAS (Fortran). Architecture Example use blas::*; let (m, n, k) = (2, 4, 3); let a = vec![ 1.0, 4.0, 2