maruyama097/coq-tutorial 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

maruyama097/coq-tutorial

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/maruyama097/coq-tutorial)

Close

maruyama097 / coq-tutorialView on GitHubMore

• External links
• Readme badge

coq-tutorial

☆17Nov 11, 2019Updated 6 years ago

Alternatives and similar repositories for coq-tutorial

Users that are interested in coq-tutorial are comparing it to the libraries listed below

• kn1cht / doctor-funding-calendar

  View on GitHub
  Calendar of doctoral students funding programs
  ☆14Oct 21, 2025Updated 5 months ago
• akhepcat / Miscellaneous

  View on GitHub
  Random one-offs that need a temporary home
  ☆12Jan 28, 2026Updated last month
• contaconta / PCA_lecture

  View on GitHub
  ☆10Jun 12, 2015Updated 10 years ago
• x86taka / xdp-etherip

  View on GitHub
  Implementation of EtherIP with XDP
  ☆13Mar 14, 2026Updated last week
• oreilly-japan / OpenEndedCodebook

  View on GitHub
  ☆13Jan 12, 2024Updated 2 years ago
• KnowledgeGraphJapan / KGRC-RDF

  View on GitHub
  RDF data for Knowledge Graph Reasoning Challenge.
  ☆21Feb 28, 2025Updated last year
• shumaikunkun / Hanoi

  View on GitHub
  61種類のプログラミング言語でハノイの塔を実装【どなたでもプルリクお待ちしています☺️】
  ☆19Apr 3, 2020Updated 5 years ago
• samn33 / qlazy

  View on GitHub
  Quantum Computer Simulator
  ☆23Jan 9, 2023Updated 3 years ago
• itleigns / CoqLibrary

  View on GitHub
  Coqで様々な数学の定理を証明
  ☆18Nov 13, 2022Updated 3 years ago
• fcitx / fcitx-skk

  View on GitHub
  ☆23Apr 16, 2024Updated last year
• wtsnjp / texlive-ja

  View on GitHub
  Japanese translation for the "TeX Live Guide"
  ☆27Mar 3, 2026Updated 2 weeks ago
• ir-anthology / ir-anthology

  View on GitHub
  Software for building the IR Anthology.
  ☆11Sep 19, 2023Updated 2 years ago
• termoshtt / sevendayshpc.rs

  View on GitHub
  WIP: 一週間でなれる！スパコンプログラマ Rust版
  ☆26May 8, 2021Updated 4 years ago
• utelecon / utelecon.github.io

  View on GitHub
  ☆58Updated this week
• maropu / hivemall-spark

  View on GitHub
  A Hivemall wrapper for Spark
  ☆31Apr 21, 2016Updated 9 years ago
• RKX1209 / c3

  View on GitHub
  The C3, SMT/SAT solver written in C.
  ☆35Aug 10, 2025Updated 7 months ago
• harveyconnor / curve25519-js

  View on GitHub
  Curve25519 signatures with X25519 keys.
  ☆29Mar 3, 2023Updated 3 years ago
• yuyay / DEIM2022_XAI_tutorial

  View on GitHub
  ☆12Feb 27, 2022Updated 4 years ago
• nvedant07 / Fairness-Through-Robustness

  View on GitHub
  Official code for FAccT'21 paper "Fairness Through Robustness: Investigating Robustness Disparity in Deep Learning" https://arxiv.org/abs…
  ☆13Mar 9, 2021Updated 5 years ago
• cometscome / DLAP2020

  View on GitHub
  ☆30Jan 29, 2026Updated last month
• microsoft / MSMARCO-Passage-Ranking-Submissions

  View on GitHub
  Submission archive for the MS MARCO passage ranking leaderboard
  ☆13Apr 21, 2023Updated 2 years ago
• ppasupat / web-entity-extractor-ACL2014

  View on GitHub
  ☆13Jun 14, 2016Updated 9 years ago
• YuheiNakasaka / sb2md-rs

  View on GitHub
  ☆11Jul 4, 2022Updated 3 years ago
• nonNoise / akilib

  View on GitHub
  This Library is Hardware Library. and You can buy parts in Japan Akihabara .
  ☆25May 12, 2017Updated 8 years ago
• takashi-miyamoto-naviplus / spml4dm

  View on GitHub
  Statistics and Machine Learning for Data Mining
  ☆24Sep 30, 2019Updated 6 years ago
• ciniml / seccamp_2022_riscv_cpu

  View on GitHub
  セキュリティキャンプ 2022 Y4 RISC-V CPU自作ゼミ 講義資料
  ☆29Aug 13, 2024Updated last year
• konabuta / Automated-ML-Workshop

  View on GitHub
  AutoML Workshop (Azure Machine Learning mainly)
  ☆13Jan 5, 2020Updated 6 years ago
• ashablovskiy / zkBOX

  View on GitHub
  Artemis Academy capstone project
  ☆10Sep 10, 2022Updated 3 years ago
• fumieval / liszt

  View on GitHub
  Publish & Subscribe
  ☆13Dec 15, 2020Updated 5 years ago
• TristanCacqueray / hadertoy

  View on GitHub
  Haskell implementation of Glumpy
  ☆12Jun 21, 2021Updated 4 years ago
• GemsLab / MultiLENS

  View on GitHub
  Framework for latent network summarization: bridging network embedding and summarization
  ☆10Sep 20, 2019Updated 6 years ago
• yamadapc / haskell-hspec-setup

  View on GitHub
  Add a hspec test-suite in one command
  ☆10Aug 22, 2016Updated 9 years ago
• shunk031 / huggingface-datasets_JGLUE

  View on GitHub
  JGLUE: Japanese General Language Understanding Evaluation for huggingface datasets
  ☆12Mar 31, 2025Updated 11 months ago
• avramidis / sodecl

  View on GitHub
  SODECL is a library of ordinary differential equation (ODE) and stochastic differential equation (SDE) solvers in OpenCL.
  ☆11Jul 4, 2020Updated 5 years ago
• textlint / textlint-plugin-mdx

  View on GitHub
  textlint plugin to lint MDX
  ☆13Updated this week
• plby / lean-proofs

  View on GitHub
  Some Lean proofs
  ☆24Updated this week
• virtualsecureplatform / MitouDocument

  View on GitHub
  未踏応募書類と成果報告書
  ☆49Feb 20, 2024Updated 2 years ago
• DigitalNatureGroup / Remote_Voice_Recognition

  View on GitHub
  リモートミーティングでの音声認識の活用事例
  ☆60Mar 17, 2022Updated 4 years ago
• jshosomichi / react-native-zen-router

  View on GitHub
  ☆17Jan 3, 2023Updated 3 years ago