yak1ex

Japan

Pinned Repositories

ax7z
A susie plugin to extract 7z and other archives - modified version
Language:C12 4 212
axffmpeg
Susie Plugin to invoke external FFmpeg, in order to handle a movie file as an image container
Language:C++2 2 170
axpdfium
A susie plugin for PDF, using PDFium rendering engine
Language:C++4 2 30
cf_userjs
UserJS scripts for Codeforces
Language:JavaScript7 3 85
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
Language:Shell2 2 20
ifmd
A Susie plugin for Markdown document
Language:C++2 2 80
odstream
C++ stream using OutputDebugString Win32 API
Language:C++3 3 101
privoxy-enhanced
privoxy (see http://www.privoxy.org/ ) with some enhancement, such as forward configuration selection
Language:C4 2 51
sf
Mirror of Software Foundations in PDF
Language:HTML2 1 01
Test-Kwalitee-Extra
Run Kwalitee tests including optional indicators and prereq_matches_use
Language:Perl2 2 188

yak1ex's Repositories

yak1ex/cf_userjs
UserJS scripts for Codeforces
Language:JavaScript7 3 85
yak1ex/privoxy-enhanced
privoxy (see http://www.privoxy.org/ ) with some enhancement, such as forward configuration selection
Language:C4 2 51
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
Language:Shell2 2 20
yak1ex/sf
Mirror of Software Foundations in PDF
Language:HTML2 1 01
yak1ex/crr
Revisit old articles of Computer Recreations by Scientific American
Language:HTML1 2 230
yak1ex/imprecise_introduction_of_coq
Materials for imprecise introduction of coq, which will be presented in regular meeting by DomusLogica.
Language:Coq1 2 10
yak1ex/algebra1_group_thoery
My solutions for exercises in ISBN 978-4535786592
Language:Coq2 3
yak1ex/algyan_7th
Language:C1 0
yak1ex/AWS-CDK-v2
1 0
yak1ex/competitive_programming
In order to accumulate competitive programming materials including templates, because they are split into some my PCs, almost for GCJ.
2 0
yak1ex/configurator
Language:PowerShell2 80
yak1ex/cygport-usrlocal
cygport extension for prefix /usr/local and OCaml modules
Language:Makefile3 7
yak1ex/cygports
My Cygwin ports
Language:Shell2 14
yak1ex/dynamicprompts
Templating language for generating prompts for text to image generators such as Stable Diffusion
yak1ex/EC2-Image-Builder
0 0
yak1ex/lmdbxx
C++17 wrapper for the LMDB embedded B+ tree database library
Language:C++1 0
yak1ex/math2001-exercise
Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
Language:HTML
yak1ex/misc-genai
Miscellaneous resources for generative AI matters
Language:Python
yak1ex/misc_hobby_electronics
Miscellaneous hobby electronics works, not necessary for individual repositories
Language:C2 11
yak1ex/open-webui
User-friendly WebUI for LLMs (Formerly Ollama WebUI)
yak1ex/q7z
Language:Rust1 2
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.
Language:TypeScript0 0
yak1ex/scoop-bucket
Personal scoop bucket
Language:PowerShell3 131
yak1ex/SearchExtender
Chrome Extension for search/jump by omnibox and context menus
Language:JavaScript2 12
yak1ex/ssreflect_study
Working memo for SSReflect study session by coqtokyo
Language:Coq3 2
yak1ex/StabilityMatrix
Multi-Platform Package Manager for Stable Diffusion
Language:C#
yak1ex/tauri-trial
Language:Rust2 0
yak1ex/templates
My template files
Language:Perl3 26
yak1ex/userjs
Miscellaneous userjs scripts
Language:JavaScript2 0
yak1ex/www-history
History info for http://yak3.mydns.jp:8080/junks/
Language:Perl2 3