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:
- Moved to aliceml/aliceml☆29May 28, 2014Updated 12 years ago
- Programatically download a Google Doc and convert it to LaTeX☆16Aug 22, 2018Updated 8 years ago
- Kolu is an identification friend or foe (IFF) system for drones - European Defense Tech Hackathon 2025 LDN☆14Sep 28, 2025Updated last year
- ☆12May 7, 2021Updated 5 years 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
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A lambda calculus parser, evaluator and repl☆12Oct 30, 2021Updated 4 years ago
- Automated terminal emulator benchmarks☆23Oct 5, 2026Updated last week
- Automator app which lets you set a global hotkey to toggle muting in Zoom on Mac OS.☆12Apr 10, 2019Updated 7 years ago
- APRICOT: Advanced Protocols for Real-world Implementation of Computational Oblivious Transfers☆16Nov 17, 2016Updated 9 years ago
- Rust bindings for the Wolfram|Alpha web API☆11Nov 21, 2017Updated 8 years ago
- Programming assignments for Introduction to Recommendation Systems course on Coursera.org☆14Jun 7, 2021Updated 5 years ago
- toy implementation of bfv in rust☆27Apr 21, 2022Updated 4 years ago
- An AVR emulator☆17Feb 13, 2021Updated 5 years ago
- axolotl based on libsodium☆22Jul 25, 2016Updated 10 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.
- Cryptographic Solvency Proofs (schemes, standards, links, edu material)☆14Dec 2, 2022Updated 3 years ago
- Awesome term sheet calculator for startup valuation by @andresbarreto and @buritica for #startupweekendcol☆13Nov 21, 2011Updated 14 years ago
- Python Backtesting library for trading strategies☆11Aug 7, 2018Updated 8 years ago
- A reservoir computing implementation in Mathematica for financial time series prediction.☆12Jul 22, 2015Updated 11 years ago
- ☆25Feb 20, 2025Updated last year
- ☆16Dec 11, 2011Updated 14 years ago
- Rust Library for locating URLs in character streams☆21Jul 19, 2020Updated 6 years ago
- ☆18Apr 30, 2013Updated 13 years ago
- Start your own game of life in your terminal with PHP. https://en.wikipedia.org/wiki/Conway%27s_Game_of_Life☆16Oct 25, 2019Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 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
- Verify Cairo contracts in Lean 4☆21May 22, 2025Updated last year
- Chrome extension to help learn languages as you browse.☆16Apr 23, 2019Updated 7 years ago
- ☆40Sep 13, 2026Updated last month
- vagrant provider that calls out to shell scripts, meant to be customized; forked from vagrant-aws☆19Mar 7, 2014Updated 12 years ago
- Rust wrapper for Obliv-C☆11Feb 14, 2019Updated 7 years ago
- ☆25Updated this week
- Voice controlled chess using raspberry and arduino, similar to Harry Potter's chess☆13Jan 26, 2019Updated 7 years ago
- A basic framework to scrape renting ads.☆17Oct 22, 2019Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Duffed's Interface☆16Jul 6, 2011Updated 15 years ago
- A self-balancing robot coded in Rust☆17Feb 3, 2018Updated 8 years ago
- Dockerfiles for development☆16Apr 24, 2019Updated 7 years ago
- Julia package for the Raspberry Pi Sense HAT☆16Sep 10, 2024Updated 2 years ago
- OO jDREW: the object oriented extension of the Java Deductive Reasoning Engine for the Web (jDREW)☆15Oct 3, 2014Updated 12 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 12 years ago
- A (mildly) optimizing brainf*ck compiler implemented as Nim macros☆26Apr 9, 2026Updated 6 months ago