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
Sorting:
- A λ-calculus shell (because I love writing shells).☆11Updated 5 years ago
- Simple demo of noise-rs and rustbox☆22Updated 6 years ago
- Rust bindings for libquantum☆11Updated 7 years ago
- An introduction to the basic ideas of commutative algebra☆17Updated 5 years ago
- formalization of theorems of higher algebraic K-theory☆8Updated 11 years ago
- An algorithm for generating random doubles.☆12Updated 8 years ago
- Bitfield that allocates a series of small buffers.☆11Updated 4 years ago
- A hypothetical, distributed, encrypted, instant messaging protocol.☆61Updated 6 years ago
- shapechecking neural net DSL using Hindley-Milner type system(compiles to pytorch as proof of concept)☆51Updated 2 years ago
- Experimental APL interpreter in Rust☆15Updated 11 years ago
- Propositional calculus in Haskell☆11Updated 8 years ago
- Pijul <-> Git proxy☆19Updated 5 years ago
- A binding of the physics engine Chipmunk for Julia☆10Updated 9 years ago
- Find common stylistic problems in english texts. Works well for technical or scientific documents.☆33Updated 8 years ago
- Passerine's package manager.☆22Updated 2 years ago
- A sub-second static blogging framework☆29Updated 3 years ago
- A list of compilers with some metadata.☆12Updated 11 months ago
- a git implementation in rust. yeah, I know..☆12Updated 8 years ago
- A general purpose relational language☆19Updated 5 years ago
- Stereo lithography file support for Rust.☆11Updated last year
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 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
- sam keeps your ooc repos up-to-date☆14Updated 9 years ago
- A Go bot written in Rust with Monte Carlo Tree Search & a brain dump on go bot optimizations☆27Updated 7 years ago
- A programming language.☆20Updated 7 years ago
- Quacee quantum computing language☆11Updated 8 years ago
- A drop-in replacement for `cargo` which yet uses crates.io index☆15Updated 8 years ago
- Rust Library for locating URLs in character streams☆19Updated 4 years ago
- sorear's Metamath system engine - version 3 Rust☆24Updated last year
- This implements the python subprocess.communicate tool for rust☆13Updated 8 years ago