tudelft-pl / master-thesis-templateView external linksLinks
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
Sorting:
- The official SERG LaTeX template for master theses.☆23Jan 14, 2021Updated 5 years ago
- A dataset of energy efficiency patterns on mobile applications☆17Oct 12, 2021Updated 4 years ago
- A mini-PACS web system using javascript and python☆12Jun 10, 2021Updated 4 years ago
- Given a text, wrap it into phrases and send them to Yandex's search engine. If it yields a "did you mean:", substitute the original phras…☆11Dec 13, 2018Updated 7 years ago
- An Actor Model framework for Elm☆12Dec 12, 2022Updated 3 years ago
- Python Matrix Creator / Voice HAL☆12May 10, 2018Updated 7 years ago
- Code for my blog☆11Feb 26, 2017Updated 8 years ago
- 基于红外、可见光双光源的车辆目标检测☆16Apr 20, 2022Updated 3 years ago
- CAV'22 paper to speed up Neural Network Verification.☆13Dec 19, 2022Updated 3 years ago
- lazy generators with observation☆14Nov 2, 2023Updated 2 years ago
- PRODeep: A Platform for Robustness Verification of Deep Neural Networks☆12Nov 11, 2020Updated 5 years ago
- ☆12May 7, 2023Updated 2 years ago
- Display Dicom Images using the cornerstone Core library and React☆12Jan 22, 2018Updated 8 years ago
- The Stroscot Programming Language☆13Jan 15, 2024Updated 2 years ago
- DIY Smart Mirror built with Electron☆12Sep 22, 2016Updated 9 years ago
- SymSpell Compound implementation in Python☆11Feb 6, 2018Updated 8 years ago
- Program your MATRIX device with Python!☆14Dec 12, 2023Updated 2 years ago
- Python Implementation of RPCA☆13Apr 15, 2015Updated 10 years ago
- Advent of Code in Roc☆14Feb 16, 2022Updated 3 years ago
- Supplementary material for MSR2017 paper Structure and Evolution of Package Dependency Networks☆18Oct 8, 2018Updated 7 years ago
- Word Error Rate Estimation☆16Aug 25, 2020Updated 5 years ago
- Programming exercises for kids (no prior programming experience required)☆17Jul 13, 2024Updated last year
- Deep Residual Learning Model for ECG signal classification☆16Mar 3, 2020Updated 5 years ago
- A curated list of awesome Synthetic Aperture Radar (SAR) software, libraries, and resources.☆18Aug 7, 2022Updated 3 years ago
- Quadcopter control with RL☆16Nov 8, 2021Updated 4 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
- ☆14May 29, 2019Updated 6 years ago
- Proof-of-concept formal verification using Hoare logic☆21Feb 29, 2020Updated 5 years ago
- Simple Seq2Seq implementation for Keras☆19Mar 19, 2017Updated 8 years ago
- ☆22Sep 26, 2018Updated 7 years ago
- Official implementation of the paper "Sparse Feature Factorization for Recommender Systems with Knowledge Graphs"☆21Oct 13, 2022Updated 3 years ago
- Testing and benchmarking tool for logic-related programs.☆28Updated this week
- Using word embeddings (word2vec) for ontology learning☆20Jan 10, 2017Updated 9 years ago
- MagicMirror Module for Playing Music☆20May 5, 2016Updated 9 years ago
- Live visualization of the training of Keras models☆22Feb 8, 2017Updated 9 years ago
- ☆22Jan 31, 2018Updated 8 years ago
- Pratt / Top-Down Operator Precedence parsing for elm/parser☆26Apr 22, 2020Updated 5 years ago
- 我的 OI 课件 (slides for Olympiad in Informatics)☆22Apr 18, 2025Updated 9 months ago
- A verified polyhedral scheduling validator in Coq.☆23Oct 2, 2024Updated last year