Master thesis template for Computer Science at TU Delft
☆13May 19, 2022Updated 3 years ago
Alternatives and similar repositories for master-thesis-template
Users that are interested in master-thesis-template are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The official SERG LaTeX template for master theses.☆23Jan 14, 2021Updated 5 years ago
- Tool for testing programs with C/C++11 Atomics☆11Dec 9, 2024Updated last year
- A web page with resources for teaching with formal methods and tools.☆14Apr 8, 2023Updated 2 years ago
- An animated toggle button for switching dark mode themes as WebComponent☆10Jul 17, 2023Updated 2 years ago
- Coq集合模型论☆11Aug 18, 2022Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- PRODeep: A Platform for Robustness Verification of Deep Neural Networks☆12Nov 11, 2020Updated 5 years ago
- CAV'22 paper to speed up Neural Network Verification.☆13Dec 19, 2022Updated 3 years ago
- Simplify writing quantum assembly code☆13Nov 13, 2020Updated 5 years ago
- A program logic for concurrent randomized programs☆14Nov 9, 2018Updated 7 years ago
- ESP32 HAL for MATRIX VOICE - https://www.matrix.one/products/voice☆19Sep 13, 2021Updated 4 years ago
- A Mathematica package to perform numerical computations on quantum many body physics problems☆12Jul 5, 2020Updated 5 years ago
- dicom library in javascript☆36Nov 19, 2013Updated 12 years ago
- A simple DICOM Study Viewer based on the cornerstone platform☆13Sep 9, 2014Updated 11 years ago
- This is a python script for getting sensor values from the TI SensorTag using a Raspberry Pi 3 Model B☆10Aug 6, 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.
- extending laughbot project to encoder-based transformer model finetuned on same dataset for humor classification☆10Jan 4, 2023Updated 3 years ago
- A Python implementation of the DICOM networking protocol☆10Mar 7, 2026Updated 3 weeks ago
- Display Dicom Images using the cornerstone Core library and React☆12Jan 22, 2018Updated 8 years ago
- A formally verified Raft specification in SPIN, as course project of Software Formal Verification, 2020 Autumn, Tsinghua University☆17May 11, 2021Updated 4 years ago
- Quantum Inspire SDK☆77Updated this week
- Scripts that were used for preparing and converting the Wikipedia documents that are part of the CLIN28 shared task on spelling correctio…☆10Jan 20, 2018Updated 8 years ago
- Program your MATRIX device with Python!☆14Dec 12, 2023Updated 2 years ago
- Type stubs for the tensorflow library☆17Aug 30, 2018Updated 7 years ago
- Ultra light weight small device firmware. Well architected to support MMU, SMP, low power idle. Can be run on various CPU architectures.☆20Aug 5, 2025Updated 7 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- SymSpell Compound implementation in Python☆11Feb 6, 2018Updated 8 years ago
- Python Matrix Creator / Voice HAL☆12May 10, 2018Updated 7 years ago
- Deep Neural Network that classifies a person's native language based on their accent☆12Oct 17, 2017Updated 8 years ago
- vue-pwa running on Flask backend☆11Jul 13, 2018Updated 7 years ago
- Anaphones are like anagrams, but for sounds.☆21Jun 10, 2021Updated 4 years ago
- A curated implementation of quantum algorithms with Yao.jl☆109Aug 21, 2023Updated 2 years ago
- Python Implementation of RPCA☆13Apr 15, 2015Updated 10 years ago
- jgtextrank: Yet another Python implementation of TextRank☆13Nov 27, 2019Updated 6 years ago
- A curated list of awesome Synthetic Aperture Radar (SAR) software, libraries, and resources.☆18Aug 7, 2022Updated 3 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.
- Project analyzing Airbnb Rental data☆19Sep 6, 2019Updated 6 years ago
- Flying Drones☆23Apr 7, 2024Updated last year
- Specifying and Verifying the consensus algorithm in PaxosStore using TLA+☆21Mar 30, 2021Updated 4 years ago
- Mathematica Game Package☆26Apr 17, 2022Updated 3 years ago
- Word Error Rate Estimation☆16Aug 25, 2020Updated 5 years ago
- 我的 OI 课件 (slides for Olympiad in Informatics)☆23Mar 17, 2026Updated last week
- Quantum compiler using the Solovay-Kitaev algorithm for n-qubits, i.e. SU(d=2^n)☆29Nov 23, 2018Updated 7 years ago