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
Sorting:
- Coqで様々な数学の定理を証明☆18Nov 13, 2022Updated 3 years ago
- 61種類のプログラミング言語でハノイの塔を実装【どなたでもプルリクお待ちしています☺️】☆19Apr 3, 2020Updated 5 years ago
- ☆20Feb 16, 2026Updated 2 weeks ago
- RDF data for Knowledge Graph Reasoning Challenge.☆21Feb 28, 2025Updated last year
- Quantum Computer Simulator☆23Jan 9, 2023Updated 3 years ago
- WIP: 一週間でなれる！スパコンプログラマ Rust版☆26May 8, 2021Updated 4 years ago
- Japanese translation for the "TeX Live Guide"☆27Updated this week
- Testing tool to verify the search qualities of the Elasticsearch indices☆29Jan 8, 2023Updated 3 years ago
- ☆30Jan 29, 2026Updated last month
- ☆30Jul 22, 2025Updated 7 months ago
- 日本十進分類法のIME辞書☆11Dec 8, 2022Updated 3 years ago
- The C3, SMT/SAT solver written in C.☆35Aug 10, 2025Updated 6 months ago
- ☆10Sep 25, 2023Updated 2 years ago
- [2.3] UNOFFICIAL repo of FeynRules written by Christensen, Duhr, Fuks, et al.☆11Jul 10, 2025Updated 7 months ago
- LINE: Loop Integrals Numerical Evaluation☆11Jun 18, 2025Updated 8 months ago
- Scanning tool for BSM models☆11Jun 18, 2019Updated 6 years ago
- ☆13Dec 28, 2022Updated 3 years ago
- ☆13Feb 7, 2016Updated 10 years ago
- Old mirror of SVN repository, pre-migration to Git☆12Apr 15, 2023Updated 2 years ago
- Official PyTorch code for UAI 2023 paper "Concurrent Misclassification and Out-of-Distribution Detection for Semantic Segmentation via En…☆12Nov 10, 2023Updated 2 years ago
- A Python framework that uses machine learning algorithms to implement the metadata recovery attack against obfuscated programs.☆11Jul 25, 2016Updated 9 years ago
- 👻 Use Neovim to write in your browser. Everything you type in Neovim will be instantly updated in the browser (and vice versa).☆12May 1, 2025Updated 10 months ago
- A template for creating new SBTs inheriting from the Masa SBT smart contracts, using ZKP.☆11Nov 25, 2024Updated last year
- zkSnark circuit compiler☆12Feb 19, 2026Updated last week
- AllTheModium for Minecraft 1.16+☆17Jan 16, 2026Updated last month
- A toolkit to help upload files to Catbox.moe☆14Feb 12, 2024Updated 2 years ago
- Mathching & Running☆10Oct 31, 2024Updated last year
- A Z80 CPU implemented in Chisel.☆11Sep 20, 2020Updated 5 years ago
- ☆11Jul 4, 2022Updated 3 years ago
- 古橋研究室（古橋ゼミ）に興味のある学生は、最初に読んでください。これを熟読できていない学生は指導対象から外します。☆24Mar 11, 2025Updated 11 months ago
- React tutorial app implemented in ClojureScript☆10Jan 6, 2023Updated 3 years ago
- Feed the hundreds of millions of domains in the Common Crawl to zgrab☆10Aug 3, 2019Updated 6 years ago
- Cloud Haskell Supervision Trees☆11Sep 3, 2024Updated last year
- A C++ library to perform rational function interpolation over finite fields with a rational number reconstruction to promote the coeffici…☆11May 26, 2025Updated 9 months ago
- ☆12Feb 27, 2022Updated 4 years ago
- This repository is for D-Case Editor, an assurance case editor. See www.dcase.jp!☆10Mar 31, 2015Updated 10 years ago
- Software for building the IR Anthology.☆11Sep 19, 2023Updated 2 years ago
- blog: https://1planet.co.jp/tech-blog/applevisionpro-oneplanet-mac-spatialvideo☆10May 1, 2024Updated last year
- RDK X3 ROS2 Robot Car with Mecanum Wheel☆14Sep 26, 2025Updated 5 months ago