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:
- One consensus test generator☆12Dec 8, 2018Updated 7 years ago
- Parallel implementation of Nearest Neighbour Search algorithm☆14May 2, 2021Updated 5 years ago
- It is mainly for data visualization projects of Atmospheric Science, Marine Science, Environmental Science or other majors.☆10May 1, 2022Updated 4 years ago
- A collaborative effort to organize and distribute Matlab tools for the Oceanographic Community☆11Sep 12, 2019Updated 6 years ago
- Science description of the "AED" water quality model☆16Apr 4, 2026Updated last month
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- This repository are used to retrieve the chlorophyll-a concentration from Landsat-8 OLI.☆11Sep 29, 2025Updated 7 months ago
- Data and scripts extending the ManyBugs and Defects4J benchmarks for evaluating applicability of automated program repair techniques.☆16Dec 10, 2017Updated 8 years ago
- A Dataset of 600k Java Source Code Changes Categorized by Diff Size http://arxiv.org/pdf/2108.04631☆22Mar 22, 2024Updated 2 years ago
- A SPH based 2D fulid simulation including WCSPH and PCISPH implmented using taichi.☆16Jul 20, 2022Updated 3 years ago
- Marine ecosystem observations and models☆13Jul 12, 2023Updated 2 years ago
- MATLAB codes shown in the thesis.☆16Feb 18, 2021Updated 5 years ago
- Harmonic tidal analysis and prediction☆23Mar 26, 2026Updated last month
- ☆12Oct 8, 2020Updated 5 years ago
- A MATLAB function to download hycom data easily☆16Sep 17, 2025Updated 7 months 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.
- 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
- ☆22Nov 13, 2021Updated 4 years ago
- OLSQ (pronounced all-s-k): Optimal Layout Synthesis for Quantum Computing☆26Jul 23, 2022Updated 3 years ago
- This repository is for an earth analytics applications project focused on flood detection and analysis☆14May 24, 2019Updated 6 years ago
- Single-header C++ library for parameter file☆17Jan 11, 2025Updated last year
- Advent of Code 2023 (Mojo)☆12Sep 30, 2024Updated last year
- Toy demo of lexing/parsing in Coq☆12Jul 3, 2019Updated 6 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- 🎯 Cursor AI-Assisted Development Wiki — From beginner to expert, master AI-assisted programming best practices☆59Mar 16, 2026Updated last month
- Node.js API Table☆10Sep 16, 2021Updated 4 years ago
- Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]☆13Oct 31, 2025Updated 6 months ago
- A formalization of (homotopy) limits in Homotopy Type Theory☆11Jan 11, 2015Updated 11 years ago
- ☆17Oct 16, 2018Updated 7 years ago
- みんなが見たアニメ一覧をまとめて見れるやつ☆11Nov 19, 2025Updated 5 months ago
- European Regional Seas Ecosystem Model☆29Apr 28, 2026Updated last week
- A Implementation of ICCV-2021(Parallel Rectangle Flip Attack: A Query-based Black-box Attack against Object Detection)☆29Aug 27, 2021Updated 4 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
- 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.
- ☆18Apr 19, 2024Updated 2 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
- The LM Contamination Index is a manually created database of contamination evidences for LMs.☆82Apr 11, 2024Updated 2 years ago