Stars
egg is a flexible, high-performance e-graph library
ndarray: an N-dimensional array with array views, multidimensional slicing, and efficient operations
Extremely fast Query Engine for DataFrames, written in Rust
Multi-platform high-performance compute language extension for Rust.
Burn is a next generation tensor library and Deep Learning Framework that doesn't compromise on flexibility, efficiency and portability.
Import Rust source files directly from Python!
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
A Python toolbox for performing gradient-free optimization
Run Windows apps such as Microsoft Office/Adobe in Linux (Ubuntu/Fedora) and GNOME/KDE as if they were a part of the native OS, including Nautilus integration. Hard fork of https://github.com/Fmst…
A Git-compatible VCS that is both simple and powerful
Nabla is a Distributed-Tensor and Scientific-Computing Framework; built from scratch on top of Mojo and MAX
A Rule-Based Integrator Built On An If-Then-Else Decision Tree
An open-source Mathematica Kernel. This repository contains the Python modules for WL Built-in functions, variables, core primitives, e.g. Symbol, a parser to create Expressions, and an evaluator t…
A library for pattern matching on symbolic expressions in Python.
🧑🚀 Authentication and authorization infrastructure for SaaS and AI apps, built on OIDC and OAuth 2.1 with multi-tenancy, SSO, and RBAC.
A Python Finance Library that focuses on the pricing and risk-management of Financial Derivatives, including fixed-income, equity, FX and credit derivatives.
📝A simple and elegant markdown editor, available for Linux, macOS and Windows.
A playbook for systematically maximizing the performance of deep learning models.
Interpolation and function approximation with JAX
Lévy's alpha-stable distribution for the Jax numerical framework
Approximate inference for Markov Gaussian processes using iterated Kalman smoothing, in JAX