dimpase Goto Github PK

kenzo

A repackaged version of the Kenzo program by Francis Sergeraert and collaborators.

knotscap

kpage-crossing

Sage code for our work on crossing numbers

lcalc

lean-work

leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.

lftcm2020

Lean for the Curious Mathematician 2020

libhomfly

Library to compute the homfly polynomial of a link.

libsemigroups

C++ library for semigroups and monoids

libzmq

ZeroMQ core engine in C++, implements ZMTP/3.1

linbox

LinBox - C++ library for exact, high-performance linear algebra

lxd

Powerful system container and virtual machine manager

m2

The primary source code repository for Macaulay2

macaulay2-web-site

The Macaulay2 web site

mariannaspyrakou.github.io

mathics

a general-purpose computer algebra system

matplotlib

matplotlib: plotting with Python

mmgroup

Python implementation of the monster group

mpir

Multiple Precision Integers and Rationals

mpmath

Python library for arbitrary-precision floating-point arithmetic

msc

msolve

Library for Polynomial System Solving through Algebraic Methods

nauty

unofficial repository of nauty and traces, the graph automorphism tools. We aspire to track the official repos closely, but for the latest please visit the official homepage.

nauty_sagemath

nauty sources to make nauty standard sagemath package -- no logner relevant, please use the normal nauty distro instead

nemoweb

Nemo website

networkx

Network Analysis in Python

notebooks

jupyter/sage/ipython notebooks

ntu_tex

various useful NTU-specific (La)TeX sources and templates

numpy

Numpy main repository

offlineimap

Read/sync your IMAP mailboxes [Python]