SoftwareFoundationGroupAtKyotoU/kuis-thesis-cover 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

SoftwareFoundationGroupAtKyotoU/kuis-thesis-cover

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/SoftwareFoundationGroupAtKyotoU/kuis-thesis-cover)

Close

SoftwareFoundationGroupAtKyotoU / kuis-thesis-coverView on GitHubMore

• External links
• Readme badge

☆19Jan 7, 2026Updated 8 months ago

Alternatives and similar repositories for kuis-thesis-cover

Users that are interested in kuis-thesis-cover are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• CommCompEngKyotoU / kuisthesis-template

  View on GitHub
  ☆12Jan 31, 2026Updated 7 months ago
• uiur / small-c

  View on GitHub
  A small c compiler in Go
  ☆10Jun 2, 2016Updated 10 years ago
• asi1024 / competitive-library

  View on GitHub
  A library manager for competitive programming
  ☆25Jan 4, 2023Updated 3 years ago
• joisino / le3hw

  View on GitHub
  intel を越える
  ☆16Jun 4, 2017Updated 9 years ago
• ushitora-anqou / waq

  View on GitHub
  Yet another ActivityPub server implementation written in OCaml
  ☆50Updated this week
• 1-Click AI Models by DigitalOcean Gradient • Ad
  Deploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
• primenumber / kazoeage-oneesan-cuda

  View on GitHub
  GPGPU version of 数え上げお姉さん(https://github.com/primenumber/kazoeage-oneesan)
  ☆11Dec 3, 2021Updated 4 years ago
• koehlma / momba

  View on GitHub
  A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.
  ☆19Aug 3, 2024Updated 2 years ago
• YouyouCong / ppl-summer-school-2022

  View on GitHub
  ☆27Sep 29, 2022Updated 3 years ago
• OpenYo / OpenYo

  View on GitHub
  Yo のようなプロプラエタリなサービスに依存してはいけない。自由なYo 実装が必要である。 (rewrite in rails → https://github.com/openyo/openyo-rails/ )
  ☆22Dec 4, 2014Updated 11 years ago
• tech-srl / weighted_lstar

  View on GitHub
  implementation for "learning weighted deterministic automata from queries and counterexamples", neurips 2019
  ☆18Jan 8, 2020Updated 6 years ago
• kmc-jp / 2015AprilFool

  View on GitHub
  懐古するぞ
  ☆25Oct 20, 2015Updated 10 years ago
• Suikaba / SelingerQuantumLambdaCalculus

  View on GitHub
  Implementatoin of Selinger's Typed Quantum Lambda Calculus
  ☆13Oct 29, 2019Updated 6 years ago
• exfinen / zk-toolkit

  View on GitHub
  Library built from scratch to implement zk-protocols
  ☆12Dec 13, 2023Updated 2 years ago
• cos65535 / ICPCLibrary

  View on GitHub
  C++ Library for ICPC
  ☆17Sep 17, 2016Updated 10 years ago
• Managed Kubernetes at scale on DigitalOcean • Ad
  DigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
• megumish / animo

  View on GitHub
  WWWを再構築するぞ！！！
  ☆15Aug 27, 2018Updated 8 years ago
• unnohideyuki / bunny

  View on GitHub
  Haskell x Android
  ☆25Sep 18, 2022Updated 4 years ago
• mizunashi-mana / proglang-notes

  View on GitHub
  Notes of Programming Languages
  ☆11Nov 30, 2024Updated last year
• OUCC / SyaroNote

  View on GitHub
  Markdown wiki for personal and small group
  ☆36Mar 17, 2016Updated 10 years ago
• azu-lab / RD-Gen

  View on GitHub
  RD-Gen / RD-Gen+: random DAG generator for multi-rate, conditional (cDAG), and probabilistic (pDAG) DAGs for reproducible scheduling eval…
  ☆16Updated this week
• uiur / ssslack-chrome-extension

  View on GitHub
  Share slack logs
  ☆10May 24, 2015Updated 11 years ago
• sacloud-archives / sackerel

  View on GitHub
  Sackerel is integration tool of Mackerel and SakuraCloud
  ☆10Feb 12, 2018Updated 8 years ago
• primenumber / issen

  View on GitHub
  オセロAIの高速な実装
  ☆16Jan 30, 2021Updated 5 years ago
• shirakawayohane / hirou_compiler

  View on GitHub
  疲労困憊していても書ける優しいプログラミング言語のコンパイラ
  ☆11Dec 25, 2025Updated 9 months ago
• AI Agents on DigitalOcean Gradient AI Platform • Ad
  Build production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
• SRI-CSL / filia

  View on GitHub
  Translate Python and JavaScript into MLIR
  ☆20Aug 27, 2022Updated 4 years ago
• ORNL-QCI / qcor

  View on GitHub
  C++ compiler for heterogeneous quantum-classical computing built on Clang and XACC
  ☆11Dec 20, 2021Updated 4 years ago
• uiur / gyazo-cli

  View on GitHub
  Gyazo for hackers
  ☆43Jan 10, 2020Updated 6 years ago
• kmc-jp / c90-compiler

  View on GitHub
  ISO C90のコンパイラ
  ☆31Sep 23, 2016Updated 10 years ago
• isucon / isucon6-final

  View on GitHub
  ☆31Apr 22, 2017Updated 9 years ago
• havelund / tracecontract

  View on GitHub
  A Scala DSL (API) designed for monitoring event streams, such as for example log files. Based on data parameterized automata and temporal…
  ☆11Dec 21, 2020Updated 5 years ago
• hikalium / nvme_uio

  View on GitHub
  Simple implementation of NVMe Linux usermode driver
  ☆22Feb 1, 2018Updated 8 years ago
• yoichi1484 / subspace

  View on GitHub
  An implementation of "Subspace Representations for Soft Set Operations and Sentence Similarities" (NAACL 2024)
  ☆10May 31, 2024Updated 2 years ago
• charmful0x / gitpoap-gh-badge

  View on GitHub
  static GitPOAPs badge generator for Github READMEs
  ☆12Aug 25, 2022Updated 4 years ago
• Managed hosting for WordPress and PHP on Cloudways • Ad
  Managed hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
• kmc-jp / channel-killer

  View on GitHub
  長期間発言のないslackのチャンネルを殺す(archive)
  ☆10Jan 10, 2023Updated 3 years ago
• hatappi / itamae-plugin-recipe-letsencrypt

  View on GitHub
  ☆12Nov 2, 2023Updated 2 years ago
• xuchunyang / one.el

  View on GitHub
  Take a peek at HN/知乎日报/V2EX/SBBS within Emacs
  ☆13Jun 7, 2015Updated 11 years ago
• giginet / NibLoaderKit

  View on GitHub
  Tiny utility to load UIView/NSView from nibs
  ☆16Jul 4, 2018Updated 8 years ago
• kuis-isle3sw / IoPLMaterials

  View on GitHub
  Materials for the class "Implementation of Programming Languages" in Kyoto University.
  ☆171Updated this week
• hanazuki / umackereld

  View on GitHub
  A small Mackerel agent written in C for OpenWrt
  ☆12Jan 22, 2017Updated 9 years ago
• akawashiro / ros3fs

  View on GitHub
  ros3fs is a Linux FUSE adapter for AWS S3 and S3 compatible object storages.
  ☆14Oct 19, 2023Updated 2 years ago