-
slidev-addon-gsap Public
A GSAP + Two.js addon for Slidev. It gives you click-driven animation timelines, reactive element anchors, arrows/paths/circles, and magic-move morphs.
TypeScript GNU General Public License v3.0 UpdatedJul 17, 2026 -
-
slidev-component-progress Public
Forked from Smile-SA/slidev-component-progressProgress component for Slidev
Vue MIT License UpdatedJul 7, 2026 -
resignation Public
re[sign]ation: A script to create digital signatures
-
slidev Public
Forked from slidevjs/slidevPresentation Slides for Developers
TypeScript MIT License UpdatedApr 16, 2026 -
markdown-it-footnote Public
Forked from markdown-it/markdown-it-footnoteFootnotes plugin for markdown-it markdown parser
JavaScript MIT License UpdatedApr 13, 2026 -
-
pdf.js Public
Forked from mozilla/pdf.jsPDF Reader in JavaScript
JavaScript Apache License 2.0 UpdatedDec 29, 2025 -
koika Public
Forked from Barkhausen-Institut/koikaA core language for rule-based hardware design 🦑
-
gitalias Public
Forked from GitAlias/gitaliasGit alias commands for faster easier version control
Shell UpdatedJul 17, 2025 -
coq-sail Public
Forked from rems-project/coq-sailCoq support library for Sail instruction set models
Rocq Prover Other UpdatedJun 23, 2025 -
bbv Public
Forked from mit-plv/bbvBedrock Bit Vector Library
Rocq Prover MIT License UpdatedJun 17, 2025 -
-
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection & NixOS
Nix MIT License UpdatedJun 5, 2024 -
mett-eagle Public
Mett-Eagle is a Serverless platform to execute functions on top of the Fiasco.OC microkernel using the L4Re Framework
-
-
-
prism Public
Forked from prismmodelchecker/prismThe main development version of the PRISM model checker.
Java GNU General Public License v2.0 UpdatedApr 4, 2023 -
{{ message }}