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:
- Quacee quantum computing language☆11Updated 8 years ago
- a git implementation in rust. yeah, I know..☆12Updated 9 years ago
- Shell Protocol Designs☆9Updated 6 years ago
- Experimental APL interpreter in Rust☆15Updated 11 years ago
- An introduction to the basic ideas of commutative algebra☆17Updated 5 years ago
- Bitfield that allocates a series of small buffers.☆11Updated 4 years ago
- A λ-calculus shell (because I love writing shells).☆11Updated 5 years ago
- An inference engine for extensional untyped λ-calculus☆3Updated this week
- shapechecking neural net DSL using Hindley-Milner type system(compiles to pytorch as proof of concept)☆51Updated 2 years ago
- A python tool to create drawings in the hyperbolic disk (e.g. for inclusion in LaTex documents). The output is either a Tikz figure (a .…☆10Updated last year
- Experimental html based terminal emulator using pyte and webkit.☆29Updated 8 years ago
- Locate local installations of the Wolfram Language.☆16Updated 4 months ago
- MinCaml Compiler implementation by Haskell☆11Updated 13 years ago
- custom type systems for python in prolog: http://alehander42.me/prolog_type_systems☆24Updated 9 years ago
- Haskell binding for PADS☆19Updated 6 years ago
- Chearch is a simple search engine written in Cray's Chapel language.☆34Updated 3 years ago
- A list of compilers with some metadata.☆12Updated last year
- Julia Implementation of Unums☆42Updated 8 years ago
- Find common stylistic problems in english texts. Works well for technical or scientific documents.☆33Updated 9 years ago
- 📟 Encoding/Decoding tool for Martin David's theoretical S language programs.☆16Updated 8 years ago
- Example of injecting x64 shellcode into Amazon Redshift☆16Updated 7 years ago
- Propositional calculus in Haskell☆11Updated 8 years ago
- tiny command-line skeleton/snippet thing☆21Updated 6 years ago
- A dynamic language inspired by Python and E.☆79Updated 4 years ago
- A powered by emoji, written in Rust☆39Updated 6 years ago
- Pijul <-> Git proxy☆22Updated 6 years ago
- A Lisp in Crystal☆8Updated 9 years ago
- the enlightened pager. less paging. more content. read widely.☆21Updated 5 years ago
- Brainfuck with Actors☆36Updated 6 years ago
- knot theory and computational algebra software☆37Updated 11 years ago