Beast code in Giters

Alex Meiburg's repositories

CLQO

Solver for Unconstrained Binary Quadratic Optimization (UBQO, BQO, QUBO) and Max 2-SAT, based on semidefinite relaxation with constraint learning.

Language:C++15 20

Lean-QuantumInfo

Quantum information theory in Lean 4

Language:LeanMIT6 2 1

DVFS_PACE2022

Directed Feedback Vertex Set (for PACE 2022)

Language:JavaMIT2 10

JNA_SCIP

Java bindings for the SCIP optimization library

Language:JavaMIT2 1 2

4StatesIn4Qubits

Companion code for https://arxiv.org/abs/2101.08381

Language:Mathematica1 20

EQUANIMITY3000

Evolved QUantum Adversarial Neural Incrypted Messages In The Year 3000

Language:Python1 20

FastQuantumReversal

Speedier quantum reversal, a-la arxiv:2103.03264

Language:Python1 20

generalizedHartreeFock

Generalized Hartree Fock simulations. Written in Julia.

Language:Mathematica1 20

julia

The Julia Language: A fresh approach to technical computing.

Language:JuliaMIT1 10

lean-descartes-signs

Lean 4 proof of Descartes' Rule of Signs

Language:Lean1 20

othello

Language:Java1 20

Polynomials.jl

Polynomial manipulations in Julia

Language:JuliaNOASSERTION100

Tergiversative

Experimental SAT solver

Language:C++MPL-2.01 20

tutorials

Some Lean tutorials

Language:LeanApache-2.01 10

Twinwidth

Graph Twinwidth computation, for PACE 2023.

Language:JavaMIT1 10

ZooClasses

Machine-readable Complexity Zoo, and viewer

Language:Jupyter Notebook1 10

ComputableReal

computable implementation of real numbers in Lean4

Language:Lean010

FLT

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

Language:TeXApache-2.0000

jupyter_server

The backend—i.e. core services, APIs, and REST endpoints—to Jupyter web applications.

BSD-3-Clause000

Pseudostates

Language:Jupyter NotebookMIT000

Timeroot.github.io

Personal website

Language:HTML020