jvns / masters-thesisLinks
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
- formalization of theorems of higher algebraic K-theory☆8Updated 11 years ago
- MinCaml Compiler implementation by Haskell☆11Updated 13 years ago
- Pijul <-> Git proxy☆21Updated 6 years ago
- shapechecking neural net DSL using Hindley-Milner type system(compiles to pytorch as proof of concept)☆51Updated 2 years ago
- Haskell binding for PADS☆19Updated 5 years ago
- Simple demo of noise-rs and rustbox☆22Updated 6 years ago
- Bitfield that allocates a series of small buffers.☆11Updated 4 years ago
- An introduction to the basic ideas of commutative algebra☆17Updated 5 years ago
- Rust bindings for libquantum☆11Updated 7 years ago
- Description and analysis of some mathematical/physics phenomena by using simulation☆18Updated last year
- 🍰 Compiling your code to an Ising Hamiltonian so you don't have to!☆53Updated 5 years ago
- A DSL/LISP dialect written in Haskell☆21Updated 6 years ago
- ☆11Updated 6 years ago
- Quacee quantum computing language☆11Updated 8 years ago
- Infrastructure for explaining the outputs of differential dataflow computations☆22Updated 8 years ago
- A hands-on introduction to Support Vector Machines using Mathematica (c)☆13Updated 6 years ago
- An arbitrary-precision differentiable programming language.☆36Updated last year
- a git implementation in rust. yeah, I know..☆12Updated 8 years ago
- An encyclopedia of proofs☆60Updated 6 months ago
- Tagged union types and immutable records (product types) in Python☆11Updated 8 years ago
- A proof assistant.☆12Updated 9 years ago
- Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.☆18Updated last year
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- Tweet probabilistically generated HN post titles.☆29Updated 2 years ago
- JavaScript MOOC simulations for the edX class Quantum Mechanics for Everyone provided by Georgetown University☆17Updated 7 years ago
- Propositional calculus in Haskell☆11Updated 8 years ago
- A drop-in replacement for `cargo` which yet uses crates.io index☆15Updated 8 years ago
- A simple prolog implementation in Rust☆26Updated 4 years ago
- Blockchain Technology for the Working Mathematician☆24Updated 7 years ago