Pinned Repositories
carettah
Carettah := Make your presentation more fun!
coqtactic-injectfalse
Custom tactic named "ij_injectfalse" injects False into the hypothesis
masterq-docs
My documents
practice-static-code-analysis
readPurelyFunctionalDataStructures
master-q's Repositories
master-q/masterq-docs
My documents
master-q/practice-static-code-analysis
master-q/ATS-Postiats
ATS2: Unleashing the Potentials of Types and Templates
master-q/cpubook-code
書籍「作ろう！CPU」のサンプルコード
master-q/nreserbook
横浜市立図書館の予約件数を表示
master-q/practice-gloss
master-q/sbisec_scraping
SBI証券をスクレイピングする何か
master-q/ATS-blockchain
⛓️ Blockchain + Smart contracts from scratch
master-q/compare-vcc-verifast
master-q/ddskk
Simple Kana to Kanji conversion program
master-q/infer
A static analyzer for Java, C, C++, and Objective-C
master-q/kremlin
KreMLin is a tool for extracting low-level F* programs to readable C code
master-q/lv_binding_rust
LVGL bindings for Rust. A powerful and easy-to-use embedded GUI with many widgets, advanced visual effects (opacity, antialiasing, animations) and low memory requirements (16K RAM, 64K Flash).
master-q/master-q.github.io
masterq profile page
master-q/masterq-profilepage
master-q/masterq-utils
My utilities
master-q/mf-rebalance
マネーフォワードに登録しているポートフォリオから積立投資を提案します
master-q/practice-rust
master-q/practice-vala
master-q/PSoC6_CE220465_compiled
master-q/rms-support-letter.github.io
An open letter in support of Richard Matthew Stallman being reinstated by the Free Software Foundation
master-q/statusicon-xmodmap
StatusIcon for custom keymap user to run xmodmap
master-q/STM32F746G-DISCO-STM32CubeMX
master-q/test-openacc-gcc
master-q/test-openacc-hs
master-q/test-openacc-pthread
master-q/verifast
Research prototype tool for modular formal verification of C and Java programs
master-q/wolfssl
wolfSSL (formerly CyaSSL) is a small, fast, portable implementation of TLS/SSL for embedded devices to the cloud. http://www.wolfssl.com
master-q/wolfssl-tutorial-2.2
master-q/z3
The Z3 Theorem Prover