-
metal
Rust bindings for Metal
-
prio
aggregation system core: https://crypto.stanford.edu/prio/
-
reactive_graph
A fine-grained reactive graph for building user interfaces
-
zenoh-backend-influxdb-v1
Backend for Zenoh using InfluxDB v1.x
-
dvcompute_branch
Discrete event simulation library (nested simulation)
-
incremental
computations, based on Jane Street's incremental
-
zenoh-backend-rocksdb
Backend for Zenoh using RocksDB
-
rever
Interpreter and REPL for the Rever language
-
dvcompute
Discrete event simulation library (sequential simulation)
-
ra_ap_salsa
A generic framework for on-demand, incrementalized computation (experimental)
-
dvcompute_gpss_branch
Discrete event simulation library (support of GPSS-like DSL language for nested simulation)
-
compose-rt
A positional memoization runtime similar to Jetpack Compose Runtime
-
urm-sim
A parser and interpreter for Unlimited Register Machine (URM) programs
-
opendp
differential privacy algorithms for the statistical analysis of sensitive private data
-
dvcompute_gpss
Discrete event simulation library (support of GPSS-like DSL language for sequential simulation)
-
rust-analyzer-salsa
A generic framework for on-demand, incrementalized computation (experimental)
-
csc
Command Line Scientific Calculator
-
bevy_heavy
Mass property computation for Bevy's geometric primitives
-
compute-it
define a lazy evaluated computation graph
-
zenu-matrix
Matrix library for ZeNu
-
capy-graph
A framework for constructing arithmetic circuits on-the-fly
-
salsa
A generic framework for on-demand, incrementalized computation (experimental)
-
del-geo
2D/3D geometry utility codes
-
simplepir
A fast and efficient implementation of SimplePIR in Rust
-
colink
SDK
-
simpl_cache
caching tools
-
travelling_salesman
Travelling Salesman Problem Solvers
-
depends
Ergonomic, performant, incremental computation between arbitrary types
-
ckks-engine
that provides an implementation of the CKKS (Cheon-Kim-Kim-Song) homomorphic encryption scheme. This enables encrypted computations on real numbers and strings while preserving the privacy of the underlying data…
-
del-geo-nalgebra
2D/3D geometry utility codes
-
gad
Generic automatic differentiation for Rust
-
scale_std
datastructures and algorithms to be run on the SCALE engine
-
benaloh-challenge
Implements the Benaloh Challenge (also known as an Interactive Device Challenge), a crytographic technique to ensure the honesty of an untrusted device
-
sqrtx
Square root calculation
-
gpca
'Async Hyper-Graph Cellular Automata' computational model
-
logaddexp
stable implementations of logaddexp and logsumexp
-
hmath
Big Integers and Rational Numbers
-
dag-scheduler
a scheduler of dag computation graph
-
fenris-solid
Solid mechanics functionality for fenris
-
dioxus-use-computed
Run resource-expensive computations in the most efficient way possible in Dioxus 🧬 apps 🦀
-
filum
Easy GPGPU powered by Vulkan
-
geocraft
Geocraft
-
fffft
Number theoretic transform for PrimeField types (from ff crate)
-
scale_documentation
structured SCALE assembly documentation
-
regrad
backpropagate gradients through a computation graph
-
geometry_tools
Efficient computation of single precision geometric data
-
talrost
A mathematics library for embedded scientific computation
-
vcsgraph
perform various computation of a version control graph
-
interaction-calculus
A parallel model of computation
-
bcar
basic bicycle car computations
-
cargo-self
build and install a package using cargo enhanced with LLM models
-
spin4
esoteric programming language that uses 4D rotations for computations
-
collenchyma
high-performance computation on any hardware
-
static-graph
Generate static parallel computation graph from DSL at compile time
-
voro_rs
binding for voro++ library
-
fenris-paradis
Parallel processing of disjoint indices for the fenris library
-
scicrypt
Lightweight cryptographic building blocks for proof of concept implementations in multi-party computation
-
para
A dataflow/pipeline parallelization framework
-
lazy-st
Single-threaded lazy evaluation
-
zenoh-task
Internal crate for zenoh
-
reductionist
S3 Active Storage server
-
collenchyma-nn
collenchyma plugin providing Neural Network operations
-
two_phase_channel
A safe synchronisation-free parallel communication channel by statically forbidding conflicting accesses
-
gc-sequence
a system for encoding safe points for computations running on gc-arena
-
abstract-calculus
A programming language and model of computation that matches the abstract algorithm perfectly
-
vecfx
Extra batteries for a vec of floats
-
savage
A primitive computer algebra system (REPL)
-
zenoh-link-quic
Internal crate for zenoh
-
tdiag-connect
Helpers to obtain traces suitable for diagnostics from timely / differential
-
gluon-salsa
A generic framework for on-demand, incrementalized computation (experimental)
-
fenris-geometry
Geometry functionality for fenris
-
parenchyma
A high-performance computing (HPC) framework
-
easy-gpgpu
computations on the gpu
-
symmetric-interaction-calculus
A programming language and model of computation that matches the abstract algorithm perfectly
-
waterworks
A small library for chaining together computation stage into a pipeline
-
tdiag
Tools to inspect a timely-dataflow computation
-
arthroprod
Clifford Algebra based computation for the theory of Absolute Relativity
-
dge-gen
building a computational graph to be executed distributely
-
secretarium
tools for building and using Secretarium-based applications
-
fenris-optimize
Optimization functionality used by fenris
-
st2-logformat
Adapter-agnostic definitions for data types used by ST2
-
cairo-lang-sierra-to-casm
Emitting of CASM instructions from Sierra code
-
qc_file_parsers
providing libraries for parsing file formats used in computation chemistry
-
cairo-lang-test-utils
writing tests in the Cairo compiler project
-
cargo-zenoh-flow
Zenoh-Flow: a Zenoh-based data flow programming framework for computations that span from the cloud to the device
-
cairo-run
Runner executable for the Cairo programming language
-
collenchyma-blas
Collenchyma library for full BLAS support
-
opendp-ffi
Foreign function interfaces for the OpenDP library
-
measurement
unit safe computation in rust
-
brute-force
brute forcing arbitrary computations
-
finite-fields
Traits and types for computations on finite fields
-
cairo-lang-sierra-gas
Sierra gas computation
-
open-cl-low-level
OpenCL low-level bindings
-
cairo-lang-lowering
Cairo lowering phase
-
ipcs-apidefs
API type definitions for IPCS HTTP api
-
vector_calculus
A single easy-to-use library for all vector calculus computations
-
type-vec
A type-safe vector with type-level length
-
cairo-lang-utils
General utilities for the Cairo compiler project
-
zenoh-flow-plugin
Zenoh-Flow: a Zenoh-based data flow programming framework for computations that span from the cloud to the device
-
hypercpu
Distributed symbolic computation
-
duval-rs
Duval algorithm in Rust
-
geo-aid-math
The mathematics engine for Geo-AID
-
del-fem
finite element method (FEM) utility codes
-
cairo-lang-sierra-type-size
Sierra type sizes computation
-
vec_security
Vector_security ensure that user data remain secure. security is a key component of development
-
pca
principal component computation using SVD
-
fenris-traits
Core traits used by fenris
-
euphony-graph
parallel graph computation framework
-
rayon-progress
Adatper that allows Rayon ParallelIterators to display progress bars
-
cairo-lang-diagnostics
Diagnostic utilities
-
xwt-cert-fingerprint
Certificate fingerprint computation algoritms related to WebTransport. Not directly required to use xwt, but can be helpful. Also usable without xwt. Inteded to work with both wasm and native.
-
cairo-lang-language-server
Cairo language server
-
mpc-bench
Multi-party computation experimentation library
-
cairo-lang-sierra-ap-change
Sierra AP change computation
-
taskio
Abstractions for non-blocking tasks and IO
-
cairo-language-server
The Cairo Language Server
-
hashell
MRSL's hashing function ported to rust
-
transaction
abstraction library (a.k.a. transaction monad)
-
del-fem-core
finite element method (FEM) utility codes
-
turbosloth
On-demand computation
-
computation-graph
Computation graph library
-
chksum-core
Core traits and functions for straightforward hash computation of bytes, files, directories and more
-
coaster-nn
coaster plugin providing Neural Network operations
-
starknet_api
Starknet Rust types related to computation and execution
-
coaster
high-performance computation on any hardware
-
dag_compute
construction of arbitrary computation DAGs and the expression of dataflow graphs
-
stirling_approximation
Stirling's approximation to factorials
-
open-cl-core
OpenCL thread-safe, memory-safe Rust bindings
-
meritrank
computing merit scores and rankings in a directed graph
-
ipcs-api
Client for IPCS HTTP API
-
ipcs-executor
Executor of IPCS functions
-
cellular_env
An enviroment for simulation of physical systems (and possibly general purpose computation) using cellular automata, written in Rust
Try searching with DuckDuckGo.