A template (example) for Master/PhD thesis in LaTeX for The University of Tokyo.
☆20May 15, 2018Updated 7 years ago
Alternatives and similar repositories for Thesis-template
Users that are interested in 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:
- Learn to Recover Visible Color for Video Surveillance in a Day, ECCV 2020(oral),☆16Jan 16, 2021Updated 5 years ago
- CVE List Found by Team Code4Block☆12Dec 19, 2022Updated 3 years ago
- ☆13Dec 20, 2022Updated 3 years ago
- A Dataset of 600k Java Source Code Changes Categorized by Diff Size http://arxiv.org/pdf/2108.04631☆23Mar 22, 2024Updated 2 years ago
- ☆10Sep 19, 2021Updated 4 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.
- ☆22Mar 3, 2018Updated 8 years ago
- ☆12Oct 8, 2020Updated 5 years ago
- Fast Setup for Proof by Reflection, in Two Lines of Ltac.☆14Jan 12, 2021Updated 5 years ago
- Exploring Automatic Differentiation with Racket☆12Jan 9, 2022Updated 4 years ago
- Reversible programming in Agda☆13Jun 22, 2023Updated 2 years ago
- Advent of Code 2023 (Mojo)☆12Sep 30, 2024Updated last year
- Coq code accompanying several articles on semantics of functional programming languages☆11Oct 15, 2018Updated 7 years ago
- Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]☆13Oct 31, 2025Updated 5 months ago
- みんなが見たアニメ一覧をまとめて見れるやつ☆11Nov 19, 2025Updated 4 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- TVMFuzz: fuzzing tensor-level intermediate representation in TVM☆32May 24, 2020Updated 5 years ago
- A tool allowing students of Coursera's Heterogeneous Parallel Programming to work on homework using a machine without a CUDA GPU.☆11Mar 11, 2015Updated 11 years ago
- A Formal Library about Elliptic Curves for the Mathematical Components Library.☆15Nov 10, 2021Updated 4 years ago
- Build Status A Haskell implementation of the ZKBoo protocol for non-interactive zero-knowledge arguments of boolean circuits.☆18Sep 1, 2018Updated 7 years ago
- Selective applicative functors laws and theorems☆15Mar 12, 2020Updated 6 years ago
- Logical inference system based on event semantics and degree semantics in formal semantics☆10Jan 22, 2023Updated 3 years ago
- Demos of neural image editing☆11Mar 15, 2021Updated 5 years ago
- Extract MDX metadata without using babel or webpack loaders.☆10Sep 20, 2021Updated 4 years ago
- A shareable Renovate config for Cybozu☆11Updated this week
- 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.
- The LM Contamination Index is a manually created database of contamination evidences for LMs.☆82Apr 11, 2024Updated 2 years ago
- Twitter スペースでコメントを読み上げるツール (VOICEVOX 使用)☆12Jul 19, 2022Updated 3 years ago
- Functional algorithms - definitions and implementations☆13Oct 17, 2025Updated 5 months ago
- A libary of mechanical material models for finite element simulations.☆15Jan 23, 2025Updated last year
- FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513☆35Mar 30, 2026Updated 2 weeks ago
- Demonstrates a fix for the mutating divide-and-conquer COW problem☆14Apr 12, 2020Updated 6 years ago
- Check and warn if a Pull Request will conflict with another Pull Request when they get merged.☆10Updated this week
- m3 techbook templete☆10May 2, 2023Updated 2 years ago
- Llama-Mimi is a speech language model that uses a unified tokenizer (Mimi) and a single Transformer decoder (Llama) to jointly model sequ…☆30Sep 20, 2025Updated 6 months 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.
- Custom JS and CSS made by hideo54.☆10Sep 22, 2022Updated 3 years ago
- msglm makes it a little easier to create messages for language models like Claude and OpenAI GPTs.☆14Apr 6, 2026Updated last week
- Regex base tail written in Rust☆10Mar 20, 2023Updated 3 years ago
- SupercolorpixelisticXDRidocious Web Components☆13Sep 16, 2021Updated 4 years ago
- Distributed Systems☆35Nov 22, 2017Updated 8 years ago
- ☆10Sep 14, 2022Updated 3 years ago
- Some basic libraries for Coq.☆14Sep 9, 2025Updated 7 months ago