Pinned Repositories
ax7z
A susie plugin to extract 7z and other archives - modified version
axffmpeg
Susie Plugin to invoke external FFmpeg, in order to handle a movie file as an image container
axpdfium
A susie plugin for PDF, using PDFium rendering engine
cf_userjs
UserJS scripts for Codeforces
etckeeper-freebsd
etckeeper, a collection of tools to let /etc be stored in a DVCS repo, whose original version is at https://etckeeper.branchable.com/ with modification for FreeBSD
ifmd
A Susie plugin for Markdown document
odstream
C++ stream using OutputDebugString Win32 API
privoxy-enhanced
privoxy (see http://www.privoxy.org/ ) with some enhancement, such as forward configuration selection
sf
Mirror of Software Foundations in PDF
Test-Kwalitee-Extra
Run Kwalitee tests including optional indicators and prereq_matches_use
yak1ex's Repositories
yak1ex/cf_userjs
UserJS scripts for Codeforces
yak1ex/privoxy-enhanced
privoxy (see http://www.privoxy.org/ ) with some enhancement, such as forward configuration selection
yak1ex/etckeeper-freebsd
etckeeper, a collection of tools to let /etc be stored in a DVCS repo, whose original version is at https://etckeeper.branchable.com/ with modification for FreeBSD
yak1ex/sf
Mirror of Software Foundations in PDF
yak1ex/crr
Revisit old articles of Computer Recreations by Scientific American
yak1ex/imprecise_introduction_of_coq
Materials for imprecise introduction of coq, which will be presented in regular meeting by DomusLogica.
yak1ex/algebra1_group_thoery
My solutions for exercises in ISBN 978-4535786592
yak1ex/algyan_7th
yak1ex/AWS-CDK-v2
yak1ex/competitive_programming
In order to accumulate competitive programming materials including templates, because they are split into some my PCs, almost for GCJ.
yak1ex/configurator
yak1ex/cygport-usrlocal
cygport extension for prefix /usr/local and OCaml modules
yak1ex/cygports
My Cygwin ports
yak1ex/dynamicprompts
Templating language for generating prompts for text to image generators such as Stable Diffusion
yak1ex/EC2-Image-Builder
yak1ex/lmdbxx
C++17 wrapper for the LMDB embedded B+ tree database library
yak1ex/math2001-exercise
Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
yak1ex/misc-genai
Miscellaneous resources for generative AI matters
yak1ex/misc_hobby_electronics
Miscellaneous hobby electronics works, not necessary for individual repositories
yak1ex/open-webui
User-friendly WebUI for LLMs (Formerly Ollama WebUI)
yak1ex/q7z
yak1ex/sagemath-vscode-enhanced
Bringing the power of SageMath to VS Code with this extension that offers specialized syntax highlighting, quick run capabilities, and additional coding tools.
yak1ex/scoop-bucket
Personal scoop bucket
yak1ex/SearchExtender
Chrome Extension for search/jump by omnibox and context menus
yak1ex/ssreflect_study
Working memo for SSReflect study session by coqtokyo
yak1ex/StabilityMatrix
Multi-Platform Package Manager for Stable Diffusion
yak1ex/tauri-trial
yak1ex/templates
My template files
yak1ex/userjs
Miscellaneous userjs scripts
yak1ex/www-history
History info for http://yak3.mydns.jp:8080/junks/