mkoeppe

Professor of Mathematics, @sagemath core developer.

University of California, DavisDavis, CA, USA

Pinned Repositories

latte
LattE integrale, software for counting lattice points and integration over convex polytopes
Language:C++38 6 2613
bliss
bliss - compute graph automorphisms - by Tommi Junttila, Petteri Kaski - with patches from Debian and for SageMath. Archived because upstream has become active again in 2021.
Language:C++41
cl-bibtex
A compatible re-implementation of the BibTeX program in Common Lisp, with a BST-to-CL compiler. By Matthias Köppe
Language:Common Lisp26 4 22
cutgeneratingfunctionology
Python code for computation and experimentation with cut-generating functions, in particular the Gomory-Johnson infinite group problem. By M. Köppe, Y. Zhou, C.Y. Hong, J. Wang with contributions by undergrad programmers
Language:Sage12 4 8011
cysignals
cysignals: interrupt and signal handling for Cython
Language:Python2 2 00
fpylll
A Python interface for https://github.com/fplll/fplll (personal fork)
Language:Cython10
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.
Language:C++28 7 88
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.
Language:Roff14 6 52
SageMath.jl
Julia package providing SageMath
Language:Julia2 4 10
sage-numerical-backends-gurobi
Gurobi mixed integer linear programming backend for SageMath - can be installed on top of distributions providing SageMath. See also https://github.com/sagemath/sage-numerical-backends-cplex and https://github.com/sagemath/sage-numerical-backends-coin
Language:Cython7 4 96

mkoeppe's Repositories

mkoeppe/cutgeneratingfunctionology
Python code for computation and experimentation with cut-generating functions, in particular the Gomory-Johnson infinite group problem. By M. Köppe, Y. Zhou, C.Y. Hong, J. Wang with contributions by undergrad programmers
Language:Sage12 4 8011
mkoeppe/cysignals
cysignals: interrupt and signal handling for Cython
Language:Python2 2 00
mkoeppe/linbox
LinBox - C++ library for exact, high-performance linear algebra
Language:C++1
mkoeppe/sage
Personal fork of the SageMath main repository
Language:Python12
mkoeppe/cmr
Combinatorial Matrix Recognition
Language:C
mkoeppe/CyLP
A Python interface to CLP, CBC, and CGL to solve LPs and MIPs.
Language:C++
mkoeppe/cypari2
Python interface to the number theory library PARI/GP (personal fork)
mkoeppe/fflas-ffpack
FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package
mkoeppe/flint2
FLINT (Fast Library for Number Theory)
Language:C
mkoeppe/gap
Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
mkoeppe/givaro
Givaro - C++ library for arithmetic and algebraic computations
mkoeppe/gnumake-tokenpool
jobclient and jobserver for the GNU make tokenpool protocol (personal fork)
Language:C++1 0
mkoeppe/gsoc
NumFOCUS Google Summer of Code Materials
mkoeppe/ipython
Official repository for IPython itself. Other repos in the IPython organization contain things like the website, documentation builds, etc.
Language:Python
mkoeppe/jupyter-renderers
Renderers and renderer extensions for JupyterLab
Language:HTML
mkoeppe/mathics-core
An open-source Mathematica. 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 to execute them.
mkoeppe/mathics-scanner
Tokenizer, and character tables, and conversion routines for the Wolfram Language.
Language:Python
mkoeppe/memory_allocator
Language:Cython1 0
mkoeppe/Normaliz
Normaliz is a open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
Language:C++
mkoeppe/pari-jupyter
Jupyter kernel for PARI/GP
mkoeppe/PyNormaliz
Python bindings for LibNormaliz
Language:C++
mkoeppe/pyodide
Pyodide is a Python distribution for the browser and Node.js based on WebAssembly
Language:Python
mkoeppe/PySCIPOpt
Python interface for the SCIP Optimization Suite
Language:Cython3 0
mkoeppe/python-flint
Python bindings for Flint and Arb
Language:Cython
mkoeppe/repology-updater
Repology backend service to update repository and package data
mkoeppe/SCIP-SDP
mixed integer semidefinite programming plugin for SCIP
Language:C1 0
mkoeppe/Singular
sources for the Singular computer algebra system
Language:C++
mkoeppe/soplex
Sequential object-oriented simPlex
mkoeppe/surface-dynamics
Teichmüller dynamics in SageMath
Language:Python
mkoeppe/website
this is the code for the sagemath.org website
Language:HTML2 0