jvns / masters-thesis
My master's thesis, on the algebra of topological quantum computing
☆20Updated 11 years ago
Alternatives and similar repositories for masters-thesis:
Users that are interested in masters-thesis are comparing it to the libraries listed below
- Pijul <-> Git proxy☆19Updated 5 years ago
- A λ-calculus shell (because I love writing shells).☆11Updated 5 years ago
- Quacee quantum computing language☆11Updated 7 years ago
- Rust bindings for libquantum☆11Updated 6 years ago
- An introduction to the basic ideas of commutative algebra☆17Updated 4 years ago
- A sub-second static blogging framework☆29Updated 3 years ago
- An inference engine for extensional untyped λ-calculus☆17Updated 2 years ago
- A DSL/LISP dialect written in Haskell☆21Updated 6 years ago
- Bitfield that allocates a series of small buffers.☆11Updated 3 years ago
- Chearch is a simple search engine written in Cray's Chapel language.☆32Updated 3 years ago
- A Go bot written in Rust with Monte Carlo Tree Search & a brain dump on go bot optimizations☆27Updated 6 years ago
- Experimental APL interpreter in Rust☆15Updated 11 years ago
- Shell Protocol Designs☆9Updated 6 years ago
- Propositional calculus in Haskell☆11Updated 8 years ago
- JavaScript MOOC simulations for the edX class Quantum Mechanics for Everyone provided by Georgetown University☆17Updated 7 years ago
- Simple demo of noise-rs and rustbox☆22Updated 6 years ago
- Refined Data Description Language (RDDL) specification and parser library.☆9Updated 7 years ago
- Bill's Utilities for Gambit Scheme☆17Updated 4 years ago
- Utilities to help working with the filesytem☆11Updated 4 years ago
- a git implementation in rust. yeah, I know..☆12Updated 8 years ago
- Programmatic Control Flow☆12Updated 7 years ago
- ☆11Updated 5 years ago
- Bridge the terminal and browser☆18Updated last year
- Passerine's package manager.☆22Updated 2 years ago
- A dirty hacky prototype to evaluate ipfs as a mechanism to distribute binaries for guixsd☆12Updated 6 years ago
- A static site generator which supports markdown with LaTeX.☆17Updated last year
- A drop-in replacement for `cargo` which yet uses crates.io index☆15Updated 8 years ago
- A list of compilers with some metadata.☆12Updated 8 months ago
- GitHub CLone: automatically fork, clone, and setup an upstream remote for a GitHub repository☆24Updated 5 years ago
- tweetr is a platform that allows you to create and queue tweets to be shared when YOU want. You create content when you have time and the…☆18Updated 6 years ago