-
magdalena-jirku Public
Personal website of Magdalena Jirku (https://github.com/Keshyx).
-
yeger Public
Monorepo for @yeger/ NPM packages
-
jan-mueller Public
Personal website of Jan Müller.
-
yarn-setup-action Public
GitHub Action for setting up a Yarn environment. Caches dependencies for reduced execution times.
-
pnpm-setup-action Public
GitHub Action for setting up a pNPM environment. Caches dependencies for reduced execution times.
-
apollo-backend Public
A web application for first-order model checking in graph structures.
-
apollo-frontend Public
A web application for first-order model checking in graph structures.
-
vitest Public
Forked from vitest-dev/vitestA Vite-native test framework. It's fast!
-
apollo Public
A web application for first-order model checking in graph structures.
-
badgen.net Public
Forked from badgen/badgen.netFast badge service
TypeScript ISC License UpdatedFeb 6, 2024 -
github-readme-stats Public
Forked from anuraghazra/github-readme-stats⚡ Dynamically generated stats for your github readmes
JavaScript MIT License UpdatedJan 22, 2024 -
-
MiniCheck Public
MiniCheck is a CLI for CTL and bounded LTL model checking on transition systems.
-
astro Public
Forked from withastro/astroBuild faster websites with Astro's next-gen island architecture 🏝✨
TypeScript Other UpdatedMay 20, 2023 -
noted Public
Markdown note-taking with syntax highlighting and real-time preview.
-
finwa Public
FinWa visualizes monthly expenses and incomes for easier management of personal finances.
-
apollo-admin Public
A web application for first-order model checking in graph structures.
-
vue-persistent-storage-manager Public archive
Vue plugin that wraps the StorageManager API and provides the state of the persistent-storage permission alongside a storage estimate.
-
vue-marmoset-viewer Public archive
A responsive and configurable Marmoset Viewer component for Vue.
-
-
resumon Public archive
A tiny TypeScript result monad.
-
d3-graph-controller Public archive
A TypeScript library for visualizing and simulating directed, interactive graphs.
-
-
vecti Public archive
A tiny TypeScript library for 2D vector math.
-
debounce Public archive
A tiny TypeScript library for debouncing functions.
-
eslint-config Public archive
My ESLint config preset based on @antfu/eslint-config
-
-
vue2-masonry-wall Public archive
Responsive masonry layout with SSR support and zero dependencies for Vue 2.
-
-
wsl-export Public
Interactive CLI for exporting WSL distributions.
{{ message }}