#science

OxiZ is a high-performance Satisfiability Modulo Theories (SMT) solver written entirely in Rust. This project is part of an initiative to reimplement Z3 in Pure Rust. Pure Rust is a fundamental requirement - no C/C++ dependencies, no FFI bindings, just clean, safe Rust code.

Timeseries forecasting in Rust

Pure Go Astropy-inspired astronomy and observatory-planning toolkit

No repository description published.

[WIP] Molcrafts rust kernel

Verifiable knowledge graph for scientific experiments

Jupyter widget to interactively view molecular structures and trajectories

Rust tools for SuperDARN DMAP file operations.

No repository description published.

Mathematical library in rust

Generative-AI abstraction (LLM, agents, image/audio/video)

Rust traits I write way too often

Collection of algorithms and routines for (ultrafast) electron diffraction and scattering

Generate restraints to be used in HADDOCK

A Rust library for parsing PDB (Protein Data Bank) files

Parse, manage, and deduplicate academic citations

Numeric traits for generic mathematics in Rust

Procedural macros to derive numeric traits in Rust

Canonical YAML task store with pluggable adapters + mermaid graphs

Rust astronomical plate solver

A pure Rust MILP solver

Numeric traits for generic mathematics in Rust

All nearest-neighbor search using neighborhood graphs

No repository description published.

Search engine

WebGL protein viewer

Parallel Barnes-Hut t-SNE implementation written in Rust.

No repository description published.

No repository description published.