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.☆24Jan 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 3 years ago
- Coq集合模型论☆11Aug 18, 2022Updated 3 years ago
- Cross-platform Python client for the CodeReef.ai portal to manage portable workflows, reusable automation actions, software detection plu…☆11Mar 27, 2020Updated 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.
- Simple P4Runtime controller demonstrating the packet-in/packet-out functionality☆15Jun 13, 2022Updated 3 years ago
- An animated toggle button for switching dark mode themes as WebComponent☆10Jul 17, 2023Updated 2 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
- Starter 📄☆16May 2, 2026Updated last week
- 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 5 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.
- a fast and light-weighted key-value store library☆48Apr 21, 2026Updated 2 weeks ago
- Programming exercises for kids (no prior programming experience required)☆17Jul 13, 2024Updated last year
- extending laughbot project to encoder-based transformer model finetuned on same dataset for humor classification☆10Jan 4, 2023Updated 3 years ago
- Python scripts for Nano (coin)☆15Feb 29, 2024Updated 2 years ago
- DIY Smart Mirror built with Electron☆12Sep 22, 2016Updated 9 years ago
- Dicom gateway. The script acts like a web service allowing to perform c-find queries to a Dicom Query / Retrieve SCP☆22Oct 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
- Type stubs for the tensorflow library☆17Aug 30, 2018Updated 7 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.
- 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 9 months ago
- Testing and benchmarking tool for logic-related programs.☆30Updated this week
- Supplementary material for MSR2017 paper Structure and Evolution of Package Dependency Networks☆18Oct 8, 2018Updated 7 years ago
- A verified polyhedral scheduling validator in Coq. Vibing proving in progress: https://github.com/Hughshine/PolCert/tree/extractor. Codex…☆23Mar 9, 2026Updated 2 months 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
- Proof-of-concept formal verification using Hoare logic☆21Feb 29, 2020Updated 6 years ago
- A curated implementation of quantum algorithms with Yao.jl☆109Aug 21, 2023Updated 2 years ago
- A Swift library for the Nano cryptocurrency.☆26Jul 22, 2021Updated 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.
- Python Implementation of RPCA☆13Apr 15, 2015Updated 11 years ago
- A curated list of awesome Synthetic Aperture Radar (SAR) software, libraries, and resources.☆18Aug 7, 2022Updated 3 years ago
- Flying Drones☆26Apr 7, 2024Updated 2 years ago
- Implements SemRe-Rank: improving automatic term extraction by incorporating semantic relatedness with personalised pagerank☆16Apr 7, 2018Updated 8 years ago
- Specifying and Verifying the consensus algorithm in PaxosStore using TLA+☆21Mar 30, 2021Updated 5 years ago
- large vocabulary automatic chord estimation with deep learning☆18Jun 2, 2021Updated 4 years ago
- Word Error Rate Estimation☆16Aug 25, 2020Updated 5 years ago