Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by mkoeppe
A curated list of projects in awesome lists by mkoeppe .
https://github.com/mkoeppe/cl-bibtex
A compatible re-implementation of the BibTeX program in Common Lisp, with a BST-to-CL compiler. By Matthias Köppe
Last synced: 23 Oct 2024
https://github.com/mkoeppe/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.
Last synced: 23 Oct 2024
https://github.com/mkoeppe/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.
Last synced: 23 Oct 2024
https://github.com/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
cutting-planes integer-programming mixed-integer-programming python sagemath
Last synced: 30 Oct 2024
https://github.com/mkoeppe/topcom
TOPCOM - Triangulations Of Point Configurations and Oriented Matroids, by Jörg Rambau
Last synced: 23 Oct 2024
https://github.com/mkoeppe/nauty
nauty + Traces by Brendan McKay and Adolfo Piperno. Fork with autotoolization patches from Debian, for use in SageMath.
Last synced: 23 Oct 2024
https://github.com/mkoeppe/sage_source_loader
Source loader for .sage files
Last synced: 23 Oct 2024
https://github.com/mkoeppe/sage-numerical-interactive-mip
Interactive mixed integer linear programming solver by Peijun Xiao, Zeyi Wang, Yuan Zhou
Last synced: 23 Oct 2024
https://github.com/mkoeppe/sage-numerical-backends-namespace
Namespace package providing sage.numerical.backends.coin, gurobi, cplex - EXPERIMENTAL
Last synced: 23 Oct 2024
https://github.com/mkoeppe/sage-changelogs
Script to make changelogs for SageMath releases in the traditional format. By Jeroen Demeyer
Last synced: 23 Oct 2024
https://github.com/mkoeppe/sage-coup-2024-10
Documentation of abuses by the Sage Code of Conduct Committee (2024) and Sage Abuse Committee (2023-24)
Last synced: 23 Oct 2024
https://github.com/mkoeppe/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
hpc integer-programming reproducible-research sagemath
Last synced: 23 Oct 2024
https://github.com/mkoeppe/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
Last synced: 23 Oct 2024
https://github.com/mkoeppe/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
benchmark-framework branch-and-bound cluster cutting-planes data-analysis hpc integer-programming reproducible-research sagemath
Last synced: 23 Oct 2024