Skip to content
View arindas's full-sized avatar
:octocat:
Focusing
:octocat:
Focusing

Organizations

@solidstatedb

Block or report arindas

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Stars

scientific

124 repositories

Cold atom simulation code

Rust 53 17 Updated Sep 26, 2025

Lossless codec for numerical data

Rust 444 28 Updated Dec 19, 2025

ndarray: an N-dimensional array with array views, multidimensional slicing, and efficient operations

Rust 4,135 358 Updated Dec 16, 2025

A STARK prover and verifier for arbitrary computations

Rust 882 220 Updated Jul 19, 2025

Automatically exported from code.google.com/p/farmhash

C++ 645 104 Updated Oct 9, 2021

Framework and implementation for mathematical optimization and solving non-linear systems of equations.

Rust 50 5 Updated Aug 23, 2025

Brotli compression format

TypeScript 14,494 1,318 Updated Dec 18, 2025

Open-source repository of Orbiter Space Flight Simulator

C++ 1,822 248 Updated Dec 19, 2025

A proof-of-concept for building Orbiter spaceflight simulator addons in Rust

Rust 13 2 Updated Jan 30, 2022

This library provides implementations of many algorithms and data structures that are useful for bioinformatics. All provided implementations are rigorously tested via continuous integration.

Rust 1,764 214 Updated Nov 3, 2025

📖 🧬 SSHash is a compressed, associative, exact, and weighted dictionary for k-mers.

C++ 90 18 Updated Dec 19, 2025

High-performance automatic differentiation of LLVM and MLIR.

LLVM 1,515 149 Updated Dec 19, 2025

Libint: high-performance library for computing Gaussian integrals in quantum mechanics

C++ 258 103 Updated Oct 13, 2025

Refinements of the WFA alignment algorithm with better complexity

C++ 26 Updated Mar 31, 2022

Balloon Hash in rust with Blake2b

Rust 8 Updated Jul 13, 2021

Forest Fire Model, SOC cellular automaton

Rust 82 Updated Feb 15, 2025

A Lisp interpreter implemented in Conway's Game of Life

C 484 8 Updated Jan 17, 2022

Early-stage b-rep CAD kernel, written in the Rust programming language.

Rust 2,377 126 Updated Dec 20, 2025

Deep Learning for Symbolic Mathematics

Python 550 119 Updated Sep 1, 2021

Code for Parameter Prediction for Unseen Deep Architectures (NeurIPS 2021)

Python 491 63 Updated Jul 11, 2023

Mathematical Optimization in Julia. Local, global, gradient-based and derivative-free. Linear, Quadratic, Convex, Mixed-Integer, and Nonlinear Optimization in one simple, fast, and differentiable i…

Julia 810 96 Updated Dec 15, 2025

Library for audio processing and synthesis

Rust 1,039 58 Updated Nov 18, 2024

A community-maintained Python framework for creating mathematical animations.

Python 36,059 2,572 Updated Dec 16, 2025

Numerical differential equation solvers in JAX. Autodifferentiable and GPU-capable. https://docs.kidger.site/diffrax/

Python 1,857 164 Updated Dec 19, 2025

Python toolbox for optimization on Riemannian manifolds with support for automatic differentiation

Python 875 160 Updated Jun 2, 2025

Graph convolutional neural network for multirelational link prediction

Jupyter Notebook 466 150 Updated Nov 21, 2022
Lean 194 33 Updated Jan 23, 2023

A neural network software for using Molecular labelling to improve pathological annotation of H and E tissues

Jupyter Notebook 32 7 Updated Jan 29, 2025

A tiny, fast, zero-dep library for random number generation

Rust 243 23 Updated Jun 8, 2025