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 2 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

• CommCompEngKyotoU / kuisthesis-template

  View on GitHub
  ☆12Jan 31, 2026Updated last month
• uiur / small-c

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

  View on GitHub
  A library manager for competitive programming
  ☆26Jan 4, 2023Updated 3 years ago
• SoftwareFoundationGroupAtKyotoU / SystemFg

  View on GitHub
  Implementation of Polymorphic Gradual Typing
  ☆12Sep 16, 2018Updated 7 years ago
• joisino / le3hw

  View on GitHub
  intel を越える
  ☆16Jun 4, 2017Updated 8 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
• megumish / animo

  View on GitHub
  WWWを再構築するぞ！！！
  ☆15Aug 27, 2018Updated 7 years ago
• DES-Lab / Extracting-FSM-From-RNNs

  View on GitHub
  Black-box extraction of Finite-State Machines from RNNs.
  ☆22Apr 14, 2022Updated 3 years ago
• YouyouCong / ppl-summer-school-2022

  View on GitHub
  ☆26Sep 29, 2022Updated 3 years ago
• unnohideyuki / bunny

  View on GitHub
  Haskell x Android
  ☆25Sep 18, 2022Updated 3 years ago
• d0iasm / vulbr

  View on GitHub
  Toy browser on single process / thread
  ☆33Aug 9, 2022Updated 3 years ago
• OUCC / SyaroNote

  View on GitHub
  Markdown wiki for personal and small group
  ☆36Mar 17, 2016Updated 9 years ago
• berkeley-abc / mvsis

  View on GitHub
  A copy of the latest version of MVSIS
  ☆12Apr 18, 2021Updated 4 years ago
• justincormack / slice

  View on GitHub
  Luajit array slice implementation
  ☆20Oct 1, 2012Updated 13 years ago
• entyu / udonarium_lily

  View on GitHub
  WebRTCを使ってブラウザ間通信を行うオンセツール　ユドナリウムの変更版ユドナリウムリリィです
  ☆18Jan 22, 2026Updated last month
• jaehyungkim0 / CRT-FHE

  View on GitHub
  Proof-of-concept implementation for the paper "Homomorphic Encryption for Large Integers from Nested Residue Number Systems", presented a…
  ☆27Jun 4, 2025Updated 9 months ago
• kmc-jp / c90-compiler

  View on GitHub
  ISO C90のコンパイラ
  ☆31Sep 23, 2016Updated 9 years ago
• tyan0 / crazydiskinfo

  View on GitHub
  CrazyDiskInfo is an interactive TUI S.M.A.R.T viewer for Unix systems.
  ☆10Aug 9, 2022Updated 3 years ago
• UCF-Lou-Lab-PET / Private-Data-Prune

  View on GitHub
  ☆16Nov 8, 2024Updated last year
• TrustworthyComputing / helm

  View on GitHub
  HELM: Navigating Homomorphic Encryption through Gates and Lookup Tables
  ☆11Apr 7, 2025Updated 11 months ago
• isucon / isucon6-final

  View on GitHub
  ☆31Apr 22, 2017Updated 8 years ago
• t-hishinuma / DD-AVX_v3

  View on GitHub
  Library of High Precision Sparse Matrix Operations Accelerated by SIMD
  ☆44Jun 18, 2021Updated 4 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
• puripuri2100 / exdesign

  View on GitHub
  A class file easy to customize with SATySFi
  ☆11May 22, 2021Updated 4 years ago
• ssoelvsten / buddy

  View on GitHub
  BuDDy BDD package (with CMake support)
  ☆15May 7, 2024Updated last year
• wckansai2016 / node-wp-api

  View on GitHub
  ☆10Jul 11, 2016Updated 9 years ago
• uiur / ssslack-chrome-extension

  View on GitHub
  Share slack logs
  ☆10May 24, 2015Updated 10 years ago
• richsoni / lerna-storybook-architecture-demo

  View on GitHub
  A Demo of two different Architectures for a Lerna / React / Storybook App
  ☆10Jan 25, 2019Updated 7 years ago
• line / clova-cek-sdk-go

  View on GitHub
  SDK of the Clova CEK for Go
  ☆10Jun 6, 2019Updated 6 years ago
• janestreet / lwt-async

  View on GitHub
  Lwt with async backend
  ☆18Jan 2, 2014Updated 12 years ago
• yude / weird-pronounciation

  View on GitHub
  異常発音
  ☆10Feb 11, 2026Updated 3 weeks ago
• openzipkin-contrib / zipkin-go-sql

  View on GitHub
  SQL Wrapper for golang database/sql
  ☆12Aug 24, 2023Updated 2 years ago
• dslab-epfl / chef-symbex-python

  View on GitHub
  A modded Python interpreter that supports symbolic execution.
  ☆11Aug 23, 2015Updated 10 years ago
• shirakawayohane / hirou_compiler

  View on GitHub
  疲労困憊していても書ける優しいプログラミング言語のコンパイラ
  ☆11Dec 25, 2025Updated 2 months ago
• kuis-isle3sw / IoPLMaterials

  View on GitHub
  Materials for the class "Implementation of Programming Languages" in Kyoto University.
  ☆168Mar 2, 2026Updated last week
• aemmitt-ns / skeleton

  View on GitHub
  Skeleton (but pronounced like Peloton): A Zero-Click RCE exploit for CVE-2021-0326
  ☆20Mar 16, 2022Updated 3 years ago
• PagerDuty / python-pagerduty

  View on GitHub
  Python library supplying client classes for PagerDuty's public APIs
  ☆16Updated this week
• akicho8 / shogi-mode

  View on GitHub
  将棋の棋譜ファイルの構文に色を付けるEmacs用のモード
  ☆12Jan 28, 2024Updated 2 years ago
• giginet / NibLoaderKit

  View on GitHub
  Tiny utility to load UIView/NSView from nibs
  ☆16Jul 4, 2018Updated 7 years ago