alois/CoqResearch
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

feat: migration vers template academic-homepage original
Build and Deploy Jekyll / deploy (push) Successful in 42s
Details

Browse Source
This commit is contained in:
Aloïs Coquillard
2026-05-25 20:23:42 +02:00
parent 8500659207
commit b3c00734c2
78 changed files with 3458 additions and 188 deletions
Download Patch File Download Diff File Expand all files Collapse all files
assets/js/blog.js
+57
View File
@@ -0,0 +1,57 @@
(function () {
var tocList = document.querySelector('.blog-toc-list');
if (!tocList) return;
var content = document.querySelector('.blog-content');
var headings = content.querySelectorAll('h1, h2, h3');
var navbarHeight = 90;
if (headings.length === 0) {
document.getElementById('blog-toc').style.display = 'none';
return;
}
// Add scroll-margin to all headings so anchor links clear the navbar
headings.forEach(function (heading, i) {
if (!heading.id) {
heading.id = 'heading-' + i;
}
heading.style.scrollMarginTop = navbarHeight + 'px';
var li = document.createElement('li');
var a = document.createElement('a');
a.href = '#' + heading.id;
a.textContent = heading.textContent;
a.className = 'toc-' + heading.tagName.toLowerCase();
a.addEventListener('click', function (e) {
e.preventDefault();
var target = document.getElementById(heading.id);
if (target) {
window.scrollTo({
top: target.offsetTop - navbarHeight,
behavior: 'smooth'
});
history.pushState(null, null, '#' + heading.id);
}
});
li.appendChild(a);
tocList.appendChild(li);
});
// Highlight active heading on scroll
var tocLinks = tocList.querySelectorAll('a');
function updateActive() {
var scrollPos = window.scrollY + navbarHeight + 10;
var current = null;
headings.forEach(function (heading) {
if (heading.offsetTop <= scrollPos) {
current = heading.id;
}
});
tocLinks.forEach(function (link) {
link.classList.toggle('toc-active', link.getAttribute('href') === '#' + current);
});
}
window.addEventListener('scroll', updateActive, { passive: true });
updateActive();
})();
assets/js/bubble_visual_hash.js
+122
View File
@@ -0,0 +1,122 @@
// Formatted version of a popular md5 implementation
// Original copyright (c) Paul Johnston & Greg Holt.
function md5(inputString) {
var hc = "0123456789abcdef";
function rh(n) { var j, s = ""; for (j = 0; j <= 3; j++) s += hc.charAt((n >> (j * 8 + 4)) & 0x0F) + hc.charAt((n >> (j * 8)) & 0x0F); return s; }
function ad(x, y) { var l = (x & 0xFFFF) + (y & 0xFFFF); var m = (x >> 16) + (y >> 16) + (l >> 16); return (m << 16) | (l & 0xFFFF); }
function rl(n, c) { return (n << c) | (n >>> (32 - c)); }
function cm(q, a, b, x, s, t) { return ad(rl(ad(ad(a, q), ad(x, t)), s), b); }
function ff(a, b, c, d, x, s, t) { return cm((b & c) | ((~b) & d), a, b, x, s, t); }
function gg(a, b, c, d, x, s, t) { return cm((b & d) | (c & (~d)), a, b, x, s, t); }
function hh(a, b, c, d, x, s, t) { return cm(b ^ c ^ d, a, b, x, s, t); }
function ii(a, b, c, d, x, s, t) { return cm(c ^ (b | (~d)), a, b, x, s, t); }
function sb(x) {
var i; var nblk = ((x.length + 8) >> 6) + 1; var blks = new Array(nblk * 16); for (i = 0; i < nblk * 16; i++) blks[i] = 0;
for (i = 0; i < x.length; i++) blks[i >> 2] |= x.charCodeAt(i) << ((i % 4) * 8);
blks[i >> 2] |= 0x80 << ((i % 4) * 8); blks[nblk * 16 - 2] = x.length * 8; return blks;
}
var i, x = sb("" + inputString), a = 1732584193, b = -271733879, c = -1732584194, d = 271733878, olda, oldb, oldc, oldd;
for (i = 0; i < x.length; i += 16) {
olda = a; oldb = b; oldc = c; oldd = d;
a = ff(a, b, c, d, x[i + 0], 7, -680876936); d = ff(d, a, b, c, x[i + 1], 12, -389564586); c = ff(c, d, a, b, x[i + 2], 17, 606105819);
b = ff(b, c, d, a, x[i + 3], 22, -1044525330); a = ff(a, b, c, d, x[i + 4], 7, -176418897); d = ff(d, a, b, c, x[i + 5], 12, 1200080426);
c = ff(c, d, a, b, x[i + 6], 17, -1473231341); b = ff(b, c, d, a, x[i + 7], 22, -45705983); a = ff(a, b, c, d, x[i + 8], 7, 1770035416);
d = ff(d, a, b, c, x[i + 9], 12, -1958414417); c = ff(c, d, a, b, x[i + 10], 17, -42063); b = ff(b, c, d, a, x[i + 11], 22, -1990404162);
a = ff(a, b, c, d, x[i + 12], 7, 1804603682); d = ff(d, a, b, c, x[i + 13], 12, -40341101); c = ff(c, d, a, b, x[i + 14], 17, -1502002290);
b = ff(b, c, d, a, x[i + 15], 22, 1236535329); a = gg(a, b, c, d, x[i + 1], 5, -165796510); d = gg(d, a, b, c, x[i + 6], 9, -1069501632);
c = gg(c, d, a, b, x[i + 11], 14, 643717713); b = gg(b, c, d, a, x[i + 0], 20, -373897302); a = gg(a, b, c, d, x[i + 5], 5, -701558691);
d = gg(d, a, b, c, x[i + 10], 9, 38016083); c = gg(c, d, a, b, x[i + 15], 14, -660478335); b = gg(b, c, d, a, x[i + 4], 20, -405537848);
a = gg(a, b, c, d, x[i + 9], 5, 568446438); d = gg(d, a, b, c, x[i + 14], 9, -1019803690); c = gg(c, d, a, b, x[i + 3], 14, -187363961);
b = gg(b, c, d, a, x[i + 8], 20, 1163531501); a = gg(a, b, c, d, x[i + 13], 5, -1444681467); d = gg(d, a, b, c, x[i + 2], 9, -51403784);
c = gg(c, d, a, b, x[i + 7], 14, 1735328473); b = gg(b, c, d, a, x[i + 12], 20, -1926607734); a = hh(a, b, c, d, x[i + 5], 4, -378558);
d = hh(d, a, b, c, x[i + 8], 11, -2022574463); c = hh(c, d, a, b, x[i + 11], 16, 1839030562); b = hh(b, c, d, a, x[i + 14], 23, -35309556);
a = hh(a, b, c, d, x[i + 1], 4, -1530992060); d = hh(d, a, b, c, x[i + 4], 11, 1272893353); c = hh(c, d, a, b, x[i + 7], 16, -155497632);
b = hh(b, c, d, a, x[i + 10], 23, -1094730640); a = hh(a, b, c, d, x[i + 13], 4, 681279174); d = hh(d, a, b, c, x[i + 0], 11, -358537222);
c = hh(c, d, a, b, x[i + 3], 16, -722521979); b = hh(b, c, d, a, x[i + 6], 23, 76029189); a = hh(a, b, c, d, x[i + 9], 4, -640364487);
d = hh(d, a, b, c, x[i + 12], 11, -421815835); c = hh(c, d, a, b, x[i + 15], 16, 530742520); b = hh(b, c, d, a, x[i + 2], 23, -995338651);
a = ii(a, b, c, d, x[i + 0], 6, -198630844); d = ii(d, a, b, c, x[i + 7], 10, 1126891415); c = ii(c, d, a, b, x[i + 14], 15, -1416354905);
b = ii(b, c, d, a, x[i + 5], 21, -57434055); a = ii(a, b, c, d, x[i + 12], 6, 1700485571); d = ii(d, a, b, c, x[i + 3], 10, -1894986606);
c = ii(c, d, a, b, x[i + 10], 15, -1051523); b = ii(b, c, d, a, x[i + 1], 21, -2054922799); a = ii(a, b, c, d, x[i + 8], 6, 1873313359);
d = ii(d, a, b, c, x[i + 15], 10, -30611744); c = ii(c, d, a, b, x[i + 6], 15, -1560198380); b = ii(b, c, d, a, x[i + 13], 21, 1309151649);
a = ii(a, b, c, d, x[i + 4], 6, -145523070); d = ii(d, a, b, c, x[i + 11], 10, -1120210379); c = ii(c, d, a, b, x[i + 2], 15, 718787259);
b = ii(b, c, d, a, x[i + 9], 21, -343485551); a = ad(a, olda); b = ad(b, oldb); c = ad(c, oldc); d = ad(d, oldd);
}
return rh(a) + rh(b) + rh(c) + rh(d);
}
// This script is inspired by https://github.com/dakridge/identicon
createHashGroupForString = function (str) {
var hashGroup = [];
var hash = md5(str);
for (var i = 0; i < hash.length; i += 1) {
var byte = parseInt(hash[i], 16);
hashGroup.push(byte);
}
return hashGroup;
}
createBubbleInfo = function (hashGroup, n, w, h) {
var maxN = hashGroup.length / 2;
n = n < maxN ? n : maxN;
var wh = w < h ? w : h;
var scaleX = function (v) { return (w / 16) * v; };
var scaleY = function (v) { return (h / 16) * v; };
var radius = function (v) { var min = 10; var max = wh / 2; return min + ((v / 16) * (max - min)); };
var color = function (i) {
var c = [
"#1f77b4", "#aec7e8", // blue
"#ff7f0e", "#ffbb78", // orange
"#2ca02c", "#98df8a", // green
"#d62728", "#ff9896", // red
"#9467bd", "#c5b0d5", // purple
"#8c564b", "#c49c94", // brown
// "#e377c2", "#f7b6d2", // pink
// "#7f7f7f", "#c7c7c7", // gray
"#bcbd22", "#dbdb8d", // yellow
"#17becf", "#9edae5", // cyan
];
return c[i % c.length];
};
var bubbleInfo = [];
for (var i = 0; i < n; i++) {
var xRel = hashGroup[2 * i];
var yRel = hashGroup[2 * i + 1];
bubbleInfo.push({
x: scaleX(xRel),
y: scaleY(yRel),
radius: radius(hashGroup[(xRel * yRel) % hashGroup.length]),
color: color(xRel + yRel)
});
}
return bubbleInfo;
}
drawBubble = function (svg, bubbleInfo) {
// Sort bubbles by radius in descending order
bubbleInfo.sort(function (a, b) {
return b.radius - a.radius;
});
for (var i = 0; i < bubbleInfo.length; i++) {
var bubble = bubbleInfo[i];
var circle = document.createElementNS("http://www.w3.org/2000/svg", "circle");
circle.setAttribute("cx", bubble.x);
circle.setAttribute("cy", bubble.y);
circle.setAttribute("r", bubble.radius);
circle.setAttribute("fill", bubble.color);
circle.setAttribute("fill-opacity", 0.75);
svg.appendChild(circle);
}
}
var canvases = document.querySelectorAll(".bubble-visual-hash");
canvases.forEach(function (canvas) {
var hash = canvas.getAttribute("data-bubble-visual-hash");
var width = canvas.viewBox.baseVal.width;
var height = canvas.viewBox.baseVal.height;
var bubbleInfo = createBubbleInfo(createHashGroupForString(hash), 8, width, height);
drawBubble(canvas, bubbleInfo);
});
assets/js/common.js
+42
View File
@@ -0,0 +1,42 @@
// aHR0cHM6Ly9naXRodWIuY29tL2x1b3N0MjYvYWNhZGVtaWMtaG9tZXBhZ2U=
$(function () {
lazyLoadOptions = {
scrollDirection: 'vertical',
effect: 'fadeIn',
effectTime: 300,
placeholder: "",
onError: function(element) {
console.log('[lazyload] Error loading ' + element.data('src'));
},
afterLoad: function(element) {
if (element.is('img')) {
// remove background-image style
element.css('background-image', 'none');
element.css('min-height', '0');
} else if (element.is('div')) {
// set the style to background-size: cover;
element.css('background-size', 'cover');
element.css('background-position', 'center');
}
}
}
$('img.lazy, div.lazy:not(.always-load)').Lazy({visibleOnly: true, ...lazyLoadOptions});
$('div.lazy.always-load').Lazy({visibleOnly: false, ...lazyLoadOptions});
$('[data-toggle="tooltip"]').tooltip()
var $grid = $('.grid').masonry({
"percentPosition": true,
"itemSelector": ".grid-item",
"columnWidth": ".grid-sizer"
});
// layout Masonry after each image loads
$grid.imagesLoaded().progress(function () {
$grid.masonry('layout');
});
$(".lazy").on("load", function () {
$grid.masonry('layout');
});
})
assets/js/semantic_scholar_citation_count.js
+68
View File
@@ -0,0 +1,68 @@
const citationCountElements = document.querySelectorAll('[data-semantic-scholar-id]');
citationCountElements.forEach(element => {
const id = element.getAttribute('data-semantic-scholar-id');
if (id) {
element.setAttribute('data-semantic-scholar-id', id.toLowerCase());
}
});
const semanticScholarIds = new Set(Array.from(citationCountElements).map(element => element.getAttribute('data-semantic-scholar-id')).filter(id => id));
let uncachedSemanticScholarIds = [];
semanticScholarIds.forEach(id => {
const cacheKey = `semanticScholarCitationCount:${id}`;
const cachedData = localStorage.getItem(cacheKey);
if (cachedData) {
const { _, timestamp } = JSON.parse(cachedData);
// If cached data is older than 1 hour, consider it uncached
if (Date.now() - timestamp > 1 * 60 * 60 * 1000) {
uncachedSemanticScholarIds.push(id);
}
} else {
uncachedSemanticScholarIds.push(id);
}
});
let showSemanticScholarCitationCount = () => {
// Update the DOM with the cached citation counts
semanticScholarIds.forEach(id => {
const cacheKey = `semanticScholarCitationCount:${id}`;
const cachedData = localStorage.getItem(cacheKey);
if (cachedData) {
const { citationCount } = JSON.parse(cachedData);
const elements = document.querySelectorAll(`[data-semantic-scholar-id="${id}"]`);
elements.forEach(element => {
element.innerHTML = `<a class="badge badge-pill badge-publication badge-info" href="https://www.semanticscholar.org/paper/${id}" target="_blank"><i class="ai ai-semantic-scholar"></i> ${parseInt(citationCount).toLocaleString()} citations</a>`;
});
}
});
};
if (uncachedSemanticScholarIds.length > 0) {
fetch('https://api.semanticscholar.org/graph/v1/paper/batch?fields=citationCount', {
method: 'POST',
headers: {
'Content-Type': 'application/json'
},
body: JSON.stringify({
ids: Array.from(semanticScholarIds)
})
}).then(response => {
return response.json();
}).then(data => {
data.forEach(paper => {
console.log(paper);
// Cache citation count data
const cacheKey = `semanticScholarCitationCount:${paper.paperId}`;
const cacheData = {
citationCount: paper.citationCount,
timestamp: Date.now()
};
localStorage.setItem(cacheKey, JSON.stringify(cacheData));
});
}).catch(error => {
console.error('Error fetching Semantic Scholar data:', error);
}).finally(showSemanticScholarCitationCount);
} else {
showSemanticScholarCitationCount();
}