-
-
quartz Public template
Forked from jackyzha0/quartz🌱 a fast, batteries-included static-site generator that transforms Markdown content into fully functional websites
TypeScript MIT License UpdatedJun 18, 2025 -
-
cadiback Public
Forked from meelgroup/cadibackCaDiCaL BackBone Analyzer
C++ MIT License UpdatedJul 11, 2024 -
approxmc Public
Forked from meelgroup/approxmcApproximate Model Counter
C++ Other UpdatedApr 18, 2024 -
aeskeyschedule Public
Calculate the AES-128 key schedule given any round key
-
skinny-c Public
Forked from rweather/skinny-cSKINNY tweakable block cipher
-
hotcrp.vim Public
vim plugin to provide syntax highlighting for HotCRP review forms
-
-
ansible-zfs-auto-snapshot Public archive
Forked from ccremer/ansible-zfs-auto-snapshotAnsible role for installing and configuring zfs-auto-snapshot
-
-
config-files Public archive
My personal config files
Shell GNU General Public License v2.0 UpdatedJan 9, 2018 -
-
{{ message }}