gfngfn/cs-thesis external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

gfngfn/cs-thesis

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/gfngfn/cs-thesis)

Close

gfngfn / cs-thesisView on GitHubMore

• External links
• Readme badge

A SATySFi class file for writing CS master theses at The University of Tokyo

☆29Sep 13, 2018Updated 7 years ago

Alternatives and similar repositories for cs-thesis

Users that are interested in cs-thesis are comparing it to the libraries listed below

• shoudai / bib-satysfi

  View on GitHub
  Citation in SATySFi like BibTeX
  ☆12Oct 5, 2019Updated 6 years ago
• amutake / docker-satysfi

  View on GitHub
  Docker images for SATySFi and Satyrographos
  ☆26Dec 11, 2025Updated 2 months ago
• wejournal / lamb

  View on GitHub
  A statically typed and lazy evaluated implementation of Lambda Calculus.
  ☆21Sep 15, 2018Updated 7 years ago
• seccamp / seccamp.jp

  View on GitHub
  Unofficial website of security camp
  ☆14Aug 19, 2025Updated 6 months ago
• monaqa / satysfi-easytable

  View on GitHub
  A SATySFi package to build simple tables.
  ☆17Apr 30, 2022Updated 3 years ago
• seccamp2018-tls13 / seccamp2018-tls13

  View on GitHub
  XII : TLS1.3/暗号ゼミ [全国大会2018-集中開発コース]
  ☆16Dec 22, 2018Updated 7 years ago
• konn / satysfi-steamer

  View on GitHub
  Steamer: presentation in SATySFi
  ☆14May 9, 2019Updated 6 years ago
• gfngfn / the_satysfibook

  View on GitHub
  The manuscript for The SATySFi​book (1st edition for the Web)
  ☆36Aug 27, 2024Updated last year
• monaqa / slydifi

  View on GitHub
  Create a slide with SATySFi!
  ☆56Dec 16, 2022Updated 3 years ago
• nekketsuuu / satysfi-matrix

  View on GitHub
  Math matrix library for SATySFi
  ☆14Oct 15, 2019Updated 6 years ago
• sp4ghet / raytracing_in_one_weekend

  View on GitHub
  Raytracing in One Weekend in GLSL using veda
  ☆22Jun 5, 2020Updated 5 years ago
• puripuri2100 / mdbook-satysfi

  View on GitHub
  A mdbook backend for generating SATySFi documents.
  ☆19Feb 5, 2023Updated 3 years ago
• Yoshiharu-Ikutani / DecodingCodeFromTheBrain

  View on GitHub
  MATLAB code used for preprocessing and decoding analyses in our paper: "Expert programmers have fine-tuned cortical representations of so…
  ☆11Dec 2, 2020Updated 5 years ago
• qnighy / logic-solver-rs

  View on GitHub
  ☆46Jan 9, 2023Updated 3 years ago
• tmu-nlp / paraphrase-corpus

  View on GitHub
  Tokyo Metropolitan University Paraphrase Corpus (TMUP)
  ☆11Jun 12, 2017Updated 8 years ago
• m3dev / techbook-templete

  View on GitHub
  m3 techbook templete
  ☆10May 2, 2023Updated 2 years ago
• ntddk / angr-doc-ja

  View on GitHub
  ☆10Oct 30, 2016Updated 9 years ago
• kaityo256 / pptxgrep

  View on GitHub
  Find keywords in pptx files.
  ☆11Feb 21, 2019Updated 7 years ago
• takonomura / nasa.so

  View on GitHub
  なさそう
  ☆11Apr 30, 2024Updated last year
• maekawatoshiki / lit-x86

  View on GitHub
  Lit is a programming language designed fast & light weight with LLVM
  ☆26Mar 15, 2017Updated 8 years ago
• ksk / Rho

  View on GitHub
  Programs for checking the ρ property
  ☆17Feb 28, 2021Updated 5 years ago
• fetburner / type-infer

  View on GitHub
  A Formal Verification of Algorithm W
  ☆17Mar 10, 2021Updated 4 years ago
• moisutsu / arxiv-rs

  View on GitHub
  Wrapper of the arXiv API for Rust
  ☆18Nov 7, 2025Updated 4 months ago
• MasWag / pandoc-satysfi-template

  View on GitHub
  A pandoc custom writer and template for SATySFi
  ☆10Feb 7, 2026Updated 3 weeks ago
• uetchy / binyl

  View on GitHub
  🔬 Bitwise UTF-8 string inspector
  ☆12Mar 7, 2022Updated 3 years ago
• theoria24 / TootCloud

  View on GitHub
  あなたのトゥートからワードクラウドを作成
  ☆14Mar 22, 2024Updated last year
• gfngfn / SATySFi

  View on GitHub
  A statically-typed, functional typesetting system
  ☆1,242Dec 15, 2025Updated 2 months ago
• qnighy / satysfi-cross-windows

  View on GitHub
  Crosscompiling SATySFi from Ubuntu to Windows
  ☆16Jul 8, 2018Updated 7 years ago
• todesking / typesafe_parser

  View on GitHub
  An experimental TypeScript parser combinator library. Powered by template literal types(TS 4.1+).
  ☆15Dec 20, 2020Updated 5 years ago
• ocaml-ppx / ocaml-syntax-shims

  View on GitHub
  Backport new syntax to older compilers
  ☆14Dec 9, 2019Updated 6 years ago
• hsjoihs / c-compiler

  View on GitHub
  seccamp2018 c compiler
  ☆57Aug 11, 2022Updated 3 years ago
• yuki-yano / dps-slack-status.vim

  View on GitHub
  ☆14May 27, 2021Updated 4 years ago
• tinyco / tiny_code_editor

  View on GitHub
  code editor in console.
  ☆15Jan 10, 2017Updated 9 years ago
• fms-cat / chroma-shader

  View on GitHub
  Light up your Razer keyboard using your shader
  ☆14Jan 7, 2023Updated 3 years ago
• 0918nobita / psyche-fs

  View on GitHub
  Programming language
  ☆13Dec 6, 2020Updated 5 years ago
• bydriv / mhc

  View on GitHub
  Minimal Haskell Compiler
  ☆63Mar 26, 2018Updated 7 years ago
• tsg-ut / tsgctf

  View on GitHub
  The full set of files that supported TSG CTF challenges
  ☆32Dec 8, 2019Updated 6 years ago
• melpon / myself-release-notes

  View on GitHub
  じぶんリリースノート
  ☆10Oct 1, 2020Updated 5 years ago
• fetburner / Udon

  View on GitHub
  A Hobby implementation of ML
  ☆16Dec 19, 2015Updated 10 years ago