timeroot Goto Github PK

4statesin4qubits

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

clqo

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

computablereal

computable implementation of real numbers in Lean4

dvfs_pace2022

Directed Feedback Vertex Set (for PACE 2022)

equanimity3000

Evolved QUantum Adversarial Neural Incrypted Messages In The Year 3000

fastquantumreversal

Speedier quantum reversal, a-la arxiv:2103.03264

flt

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

generalizedhartreefock

Generalized Hartree Fock simulations. Written in Julia.

jna_scip

Java bindings for the SCIP optimization library

julia

The Julia Language: A fresh approach to technical computing.

jupyter_server

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

lean-descartes-signs

Lean 4 proof of Descartes' Rule of Signs

lean-quantuminfo

Quantum information theory in Lean 4

othello

polynomials.jl

Polynomial manipulations in Julia

pseudostates

tergiversative

Experimental SAT solver

theorem_proving_in_lean4

Theorem Proving in Lean 4

timeroot.github.io

Personal website

tutorials

Some Lean tutorials

twinwidth

Graph Twinwidth computation, for PACE 2023.

zooclasses

Machine-readable Complexity Zoo, and viewer