Git Product home page Git Product logo

Matthias Köppe's Projects

flint2 icon flint2

FLINT (Fast Library for Number Theory)

fplll icon fplll

Lattice algorithms using floating-point arithmetic

fpylll icon fpylll

A Python interface for https://github.com/fplll/fplll (personal fork)

fricas icon fricas

Temp fork of the FriCAS computer algebra system

gmpy icon gmpy

General Multi-Precision arithmetic for Python 2.6+/3+ (GMP, MPIR, MPFR, MPC)

gnumake-tokenpool icon gnumake-tokenpool

jobclient and jobserver for the GNU make tokenpool protocol (personal fork)

homebrew-core icon homebrew-core

🍻 Default formulae for the missing package manager for macOS (or Linux)

ipython icon ipython

Official repository for IPython itself. Other repos in the IPython organization contain things like the website, documentation builds, etc.

jiawei-computational-results icon jiawei-computational-results

Computational results supporting Chapters 2 and 3 of Jiawei Wang's dissertation "Subadditivity of Piecewise Linear Functions", UC Davis, Ph.D. program in Mathematics, 2020. Various branches are included as submodules in https://github.com/mkoeppe/jiawei-computations

jiawei-computations icon jiawei-computations

Computations supporting Chapters 2 and 3 of Jiawei Wang's dissertation "Subadditivity of Piecewise Linear Functions", UC Davis, Ph.D. program in Mathematics, 2020

jupymake icon jupymake

A small python wrapper for the polymake shell

lidia icon lidia

LiDIA --- A library for computational number theory, developed 1994-2004 by Johannes Buchmann's group at TU Darmstadt, relicensed to GPL 2+ in 2006/2010. Not under active development. Minimal patches for using it within the LattE integrale project.

lidia-history icon lidia-history

LiDIA --- A library for computational number theory, developed 1994-2004 by Johannes Buchmann's group at TU Darmstadt. Not under active development. This repository has been converted from the SVN repository at TU Darmstadt. For maintenance, see https://github.com/mkoeppe/LiDIA

lrslib icon lrslib

Reverse search algorithm for vertex enumeration/convex hull problems by David Avis (http://cgm.cs.mcgill.ca/~avis/C/lrs.html). Git history on branch "upstream" created from release archives. Branch "autoconfiscation" adds autotools build system by Matthias Köppe.

mpmath icon mpmath

Python library for arbitrary-precision floating-point arithmetic (personal fork)

msolve icon msolve

Library for Polynomial System Solving through Algebraic Methods

nauty icon nauty

nauty + Traces by Brendan McKay and Adolfo Piperno. Fork with autotoolization patches from Debian, for use in SageMath.

nbclient icon nbclient

A client library for executing notebooks. Formally nbconvert's ExecutePreprocessor

normaliz icon normaliz

Normaliz is a open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.