My master's thesis, on the algebra of topological quantum computing
☆20Feb 13, 2014Updated 12 years ago
Alternatives and similar repositories for masters-thesis
Users that are interested in masters-thesis are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Implementation of freedesktop.org specifications.☆15Sep 5, 2016Updated 9 years ago
- See which processes are connected to other processes with pipes!☆16Apr 16, 2014Updated 12 years ago
- Kolu is an identification friend or foe (IFF) system for drones - European Defense Tech Hackathon 2025 LDN☆14Sep 28, 2025Updated 10 months ago
- Scrypt key derivation function in pure OCaml as defined in https://tools.ietf.org/html/draft-josefsson-scrypt-kdf-04☆17Aug 5, 2021Updated 5 years ago
- Oblivious transfer library for rust☆11Dec 19, 2019Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A λ-calculus shell (because I love writing shells).☆12Jan 2, 2020Updated 6 years ago
- List the X window tree contents☆24Aug 26, 2019Updated 6 years ago
- Automated terminal emulator benchmarks☆25Jun 22, 2026Updated last month
- toy implementation of bfv in rust☆27Apr 21, 2022Updated 4 years ago
- The world's first (and hopefully last) pure-bash implementation of the LLL algorithm☆19Aug 21, 2023Updated 2 years ago
- An AVR emulator☆17Feb 13, 2021Updated 5 years ago
- axolotl based on libsodium☆22Jul 25, 2016Updated 10 years ago
- Cryptographic Solvency Proofs (schemes, standards, links, edu material)☆14Dec 2, 2022Updated 3 years ago
- mount xml files as directory structures☆37Nov 2, 2010Updated 15 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Allows creation of a PBX to accept calls from prisoners and post their recorded messages on SoundCloud and Twitter. Makes the Bureau of P…☆20Jun 13, 2014Updated 12 years ago
- This program implements a nondeterministic Turing machine simulator in C.☆24Oct 14, 2018Updated 7 years ago
- ☆25Updated this week
- ☆40Apr 10, 2026Updated 4 months ago
- A basic framework to scrape renting ads.☆17Oct 22, 2019Updated 6 years ago
- Duffed's Interface☆16Jul 6, 2011Updated 15 years ago
- ECMAScript for Racket☆20Dec 9, 2021Updated 4 years ago
- ☆21Dec 12, 2023Updated 2 years ago
- A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety☆24Sep 22, 2014Updated 11 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- (Original: code.google.com/p/pylinda) A Linda implementation in Python.☆13Jun 16, 2022Updated 4 years ago
- Experiments in `no_std` cooperative multitasking☆23Nov 19, 2018Updated 7 years ago
- Fixed-point scalar and matrix multiplication library for SectorLISP☆15Jan 23, 2022Updated 4 years ago
- FAEST reference implementation☆21Updated this week
- ☆33Aug 12, 2026Updated last week
- Golang "Post-quantum key exchange – a new hope." (Mirror of https://gitlab.com/yawning/newhope)☆79Sep 2, 2019Updated 6 years ago
- A library for evaluating/executing programs written in the shell programming language.☆26May 24, 2021Updated 5 years ago
- APL compiler written in Standard ML☆36Jan 20, 2021Updated 5 years ago
- various toys in j☆12Apr 13, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Boost.Predef (a Boost C++ Library)☆56Updated this week
- The FreeType Project: a free, high-quality and portable font engine.☆56May 12, 2013Updated 13 years ago
- A simple brainfuck interpreter in Rust.☆23Jan 28, 2021Updated 5 years ago
- ☆14Dec 12, 2023Updated 2 years ago
- Reader for ICAO 9303 electronic machine readable travel documents.☆42Feb 21, 2025Updated last year
- A server-first virtual DOM that supports a wire format, async components, and client references out of the box.☆12Sep 12, 2023Updated 2 years ago
- speedy web micro-framework using sled, io_uring and SIMD☆13Feb 8, 2020Updated 6 years ago