Master thesis template for Computer Science at TU Delft
☆13May 19, 2022Updated 4 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.☆25Jan 14, 2021Updated 5 years ago
- lazy generators with observation☆14Nov 2, 2023Updated 2 years ago
- Code for my blog☆10Feb 26, 2017Updated 9 years ago
- CodeAnim is a screencast editor focused on nice incremental presentation of code☆14Feb 21, 2025Updated last year
- taskell 2.0☆15Oct 27, 2021Updated 4 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.
- 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
- A program logic for concurrent randomized programs☆17Nov 9, 2018Updated 7 years ago
- CC: Causality-Aware Coverage Criterion for Deep Neural Networks☆12Feb 15, 2023Updated 3 years ago
- This repository contains the artifacts accompanied by the paper "Fair Preprocessing"☆13Jul 20, 2021Updated 4 years ago
- A Mathematica package to perform numerical computations on quantum many body physics problems☆12Jul 5, 2020Updated 6 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
- A Python implementation of the DICOM networking protocol☆10Mar 7, 2026Updated 4 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A formally verified Raft specification in SPIN, as course project of Software Formal Verification, 2020 Autumn, Tsinghua University☆17May 11, 2021Updated 5 years ago
- Regression testing in Elm!☆22Jul 10, 2023Updated 2 years ago
- DIY Smart Mirror built with Electron☆12Sep 22, 2016Updated 9 years ago
- Quantum Inspire SDK☆77Jun 26, 2026Updated last week
- Dicom gateway. The script acts like a web service allowing to perform c-find queries to a Dicom Query / Retrieve SCP☆21Oct 30, 2016Updated 9 years ago
- 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
- SymSpell Compound implementation in Python☆11Feb 6, 2018Updated 8 years ago
- Python Matrix Creator / Voice HAL☆12May 10, 2018Updated 8 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Testing and benchmarking tool for logic-related programs.☆33Jun 15, 2026Updated 3 weeks ago
- Supplementary material for MSR2017 paper Structure and Evolution of Package Dependency Networks☆19Oct 8, 2018Updated 7 years ago
- ☆17Apr 30, 2026Updated 2 months ago
- A verified polyhedral scheduling validator in Coq. Vibing proving in progress: https://github.com/Hughshine/PolCert/tree/extractor. Codex…☆23Mar 9, 2026Updated 4 months ago
- Proof-of-concept formal verification using Hoare logic☆21Feb 29, 2020Updated 6 years ago
- A curated implementation of quantum algorithms with Yao.jl☆110Aug 21, 2023Updated 2 years ago
- Python Implementation of RPCA☆13Apr 15, 2015Updated 11 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
- 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.
- ☆34Jun 26, 2026Updated last week
- Example base for a game in Elm 0.19☆31Jan 3, 2019Updated 7 years ago
- Material for UK-TUG's LaTeX for Beginners course☆28Aug 8, 2022Updated 3 years ago
- Implements SemRe-Rank: improving automatic term extraction by incorporating semantic relatedness with personalised pagerank☆16Apr 7, 2018Updated 8 years ago
- large vocabulary automatic chord estimation with deep learning☆18Jun 2, 2021Updated 5 years ago
- Elm Regular expressions made easy☆33Aug 21, 2018Updated 7 years ago
- From word2vec to chord2vec tensorFlow implementation☆27Nov 3, 2016Updated 9 years ago