Discover Strilanc/stim-paper Open Source project

Futures, for Objective-C, that automatically collapse so it's nearly impossible to mix up the level of future nesting despite the lack of generics.

838

ObjC-CollapsingFutures

Objective-C

107

May

An option type for .Net

Tinker

Warcraft 3 game hosting bot

Visual Basic .NET

PickleJar

A parser/packer combinator library for .net, where "Jars" (a serializer paired with a deserializer) are created by combining and augment primitive jars into complex jars. The resulting combinators are optimized and compiled at runtime.

quantumpseudocode

An experimental python library for succinctly specifying quantum algorithms in an imperative pythonic style.

Simple python implementation of Scott Aaronson et al's CHP simulator.

python-chp-stabilizer-simulator

Implements types and extension methods for working with IReadOnlyList, IReadOnlyCollection, and IReadOnlyDictionary in a functional style.

LinqToCollections

honeycomb_threshold

Code for estimating the threshold of the honeycomb code

Interesting methods and types that aren't large enough to warrant their own repositories, but that I want to link to.

Methods

Wc3PowerTowers

Various resources extracted from my Warcraft 3 map, Power Towers.

Quantum-Pseudo-Telepathy

Code demonstrating the quantum process used to consistently win a game that can only be won 8 times out of 9 classically.

PaperImpl-2017-DirtyPeriodFinding

Example ProjectQ implementation of the constructions described in my preprint "Factoring with n+2 clean qubits and n-1 dirty qubits".

Tracking nesting depth to allow efficient array slicing, with no memory leaks and logarithmic slicing costs.

IntervalReferences

qbp_np_younes_test

Simulated implementation of a claimed NP=BQP algorithm, showing that it doesn't work.

Represent Clifford operations using a table.

CliffordTableau

A simple implementation of a disjoint set data structure in C#.

UnionFind-.Net

quantum-karatsuba-2019

Reversible Karatsuba multiplication in O(n) space and O(n^lg(3)) operations.

A simple library for working with directions and rotations in 2d.

Angle

Hand-Qubits

Qubits you can hold in your hands.

C++

Strilanc.github.io

Algorithmic Assertions - Craig Gidney's Computer Science Blog

HTML

PolyNumber

Representing numbers as the roots of polynomials with integer coefficients. More interesting than efficient or useful, especially considering the inability to represent sqrt(2) without also having -sqrt(2).

honeycomb-boundaries

Simulates the algorithm from the paper 'A linear time quantum algorithm for 3SAT', which is actually exponential time.

NP-vs-Quantum-Simulation-Walters-Algorithm

efficient-quantum-factoring-2019

Latex and etc for the paper "How to factor 2048 bit numbers in 8 hours with 20 million noisy qubits"

A game made in 48 hours at the 2013 halifax game jam.

Solomonoff-Mad-Scientist

For science!

GameJam2013-AtTheCore

AnimatronTheTerrible

Creates and records visualizations. Warning: the code is not cleaned up or intended to be readable/usable by others, as it is made up of many layers of experimentation and hackery.

matching-example

Minimum weight perfect matching in Euclidean space

A surface code simulator.

Snitch

Example of minimum weight embedded matching in python.

slowmatch

An example implementation of UI virtualizing to make a fast search in windows store apps.

Example-Custom-Virtualizing-Search-for-Windows-Store-Apps

Rational-Secret-Sharing-Master-s-Thesis

My master's thesis on rational secret sharing. Includes the thesis itself (latex and pdf), an implementation of the protocols described (C#), as well as the slides from my defense.

A pedagogical repository, containing examples of types that are monads (i.e. have wrapping, transforming, flattening methods) and also types that aren't (at least, not in a natural or desirable way).

NotAMonad

AS3-Async-Tasks

.Net-style tasks for action script 3

ActionScript

ZigXag

A point-and-click ZX calculus graph editor with built-in simulation and circuit export tooling.

A library for reading MPQ files (targeted at wc3 maps)

MpqLibrary

Visual Basic

Quantum-Optics-Simulator

A hacky optical interferometry simulator based on quantum mechanics.

stability-sims-2022

Code for "Stability Experiments: The Overlooked Dual of Memory Experiments"

Random bits of code I used when trying to find preimages for the outputs of a hash function included in a particular WarCraft 3 map.

Toy-Hash-Break

Java-Cancel-Tokens

An implementation of a cancel token, an object to conveniently register and invoke cleanup methods, in java.

Eve-Quantum-Clone-Computer

As you ask Eve to perform operations and measurements, she keeps track of what has and hasn't been ruled out about the current state. Sometimes she ends up knowing enough to make a near-perfekt clone.

Code to find and check for universal ternary gates.

UniversalTernaryGates

Qubery

Controlling a simulated quantum computer with visually tracked origami checkerboard cubes.

An interactive JavaScript/html widget for trying classical and quantum strategies in the CHSH bell test game.

Bell-Tester

Hacky code that animates an FFT-based multiplication on a user entered number.

Schonhage-Strassen-Animation

An example of using secure multi party computation to compute fog of war in a peer to peer setting without ever sending private unit positions.

SecureMultiPartyFogOfWar

Croslyn

Creating and testing neat C# refactorings using the Roslyn CTP.

linked-chain-erasure-survival

Demonstrating it's possible to correct erasure errors that form a chain link fence across a surface code patch.

A mish-mash of code I wrote in python that's interesting enough to keep.

Python-Mish-Mash

Experimental surface code simulator where the user activates/deactivates stabilizer configurations.

SurfaceCodeTurnTable

A lookahead adder that parallelizes over blocks of bits instead of over every bit.

quantum-block-lookahead-adder

Demo of benchmarking the heavy hex code with stim.

heavy-hex-demo