tcfraser Goto Github PK

autoenv

Directory-based environments.

causality

course-notes

A collection of course notes taken by me.

cvxopt

CVXOPT -- Python Software for Convex Optimization

definiteextensionprocedure

eliminations_and_optimizations

feathers

User interface components for Starling Framework

hardy-fritz-triangle-paper

latex_packages

These are my custom latex packages.

latextools

LaTeX plugin for Sublime Text 2 and 3

matplotlib

matplotlib: plotting with Python

mosek.pip

PIP MOSEK installer

ncpol2sdpa

Solve global polynomial optimization problems of either commutative variables or noncommutative operators through a semidefinite programming (SDP) relaxation

pd2report

A PD2 report template that incorporates all formatting necessary for students in the course, so that they can focus on the actual content instead of worrying about less important details.

pearl_and_dynamic_causality

This repository contains a collection of thoughts about the relationships between Pearl's notion of causality and the notion of causality in dynamical systems.

picos

PICOS -- a python interface to conic optimization solvers

polya-conjecture

Some code used to explore the Polya Conjecture

polytope

Geometric operations on polytopes of any dimension

possibilistic_causality

processing

Source code for the Processing Development Environment (PDE)

pyaudioanalysis

Python Audio Analysis Library: Feature Extraction, Classification, Segmentation and Applications

pyzmq

PyZMQ: Python bindings for zeromq

quantum_marginals

A presentation about the quantum marginals problem.

quantum_tools

qutip

QuTiP: Quantum Toolbox in Python

sheavesandhypergraphs

This repository contains all of the files related to my research into weighted hypergraph transversals and their connection to sheaf-theory, the marginal problem, quantum contextuality and causal compatibility inequalities.

spoon-knife

This repo is for demonstration purposes only.

stellarmodellingmetallicity

Phys 375 Project

sub_words

Generates words whose prefix truncations are also words.

typographical-number-theory

An attempt to automate proof finding using typological number theory.