mathieudutsik Goto Github PK

alloy

Transports, Middleware, and Networks for the Alloy project

basic_common_cpp

cddlib

An efficient implementation of the Double Description Method

delaunaypolytopeniemeier.github.io

filescripts

A few scripts used for file management

gap

Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra

gappolyhedral

Polyhedral functionality

gappolyhedralspecific

Specific code for test cases.

indefinite.jl

A few functions for working with indefinite quadratic forms.

issue_scylladb

This repository contains a sequence of operation that illustrates a problem encountered with ScyllaDb

jsonrpc

Rust JSON-RPC implementation

latexscript

A set of Perl script for editing latex files

linbox

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

linera-protocol_second

Secondary fork of the linera-protocol repository

lp_solve_cpp

This is a header only version of lp_solve based on lp_solve 5.5.2.5

lsp-grammarly

lsp-mode ❤️ grammarly

mathieudutsik.github.io

Personal website

maxcutcodes

Some Python/Sage code for handling Max Cut algorithms

minimal_example_tombstone_pb

The tombstone problem occurs in paginated queries.

ocean_works

A set of C++ programs and perl scripts for working with ocean data

permlib_mod

Modifications of the original permlib code by Thomas Rehn

permutalib

Permutation group library

permutalib_devel

Development code for permutalib

pgmcl

The source code of the Parallel Geophysical Model Coupling Library

plot_orientedmap

Program for plotting oriented maps on the sphere or torus.

polyhedral.jl

Provide access to Polyhedral functions in Oscar

polyhedral_common

A library and some programs for working polytopes and quadratic forms.

roms-interpolation

Matlab scripts by Mathieu Dutout Sikiric for interpolating from another ROMS grids or measurement locations.

roms_bfm

satisfiability

Interface to the satisfiability