Skip to content
View amirebrahimi's full-sized avatar

Highlights

  • Pro

Organizations

@GGJ2018-TeamHost @adgt

Block or report amirebrahimi

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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

Mathematics

15 repositories

Group theory visualization software in the browser

JavaScript 234 26 Updated Mar 17, 2024

💥 Fast matrix-multiplication as a self-contained Python library – no system dependencies!

C 220 38 Updated Dec 16, 2024

Fast zero-overhead bindings between NumPy and Eigen

Python 138 16 Updated Aug 29, 2024

A performant NumPy extension for Galois fields and their applications

Python 349 32 Updated Dec 11, 2024

A Julia package for large-scale tensor computations, with a hint of category theory

Julia 255 41 Updated Dec 19, 2024

tools for graph theory and network science with many generation models

Python 18 5 Updated Jun 25, 2024

A computer algebra system written in pure Python

Python 13,142 4,487 Updated Dec 21, 2024
Python 5 3 Updated Oct 12, 2024

The Z3 Theorem Prover

C++ 10,496 1,479 Updated Dec 23, 2024

A comprehensive open source computer algebra system for computations in algebra, geometry, and number theory.

Julia 375 130 Updated Dec 20, 2024

Solution for Quantum Computation and Quantum Information by Nielsen and Chuang

TeX 258 66 Updated Jan 7, 2022
C++ 15 6 Updated Jun 17, 2024

ACL2 System and Books as Maintained by the Community

Common Lisp 371 101 Updated Dec 22, 2024

A Python interface to the MAGMA libraries

Python 10 3 Updated Sep 3, 2016