Stars
The PHP framework that gets out of your way 🌊
Tamarin Prover Tutorial for the 2024 Summer School on real-world crypto and privacy, Vodice, Croatia
🎉 performant confetti animation in the browser
A microarchitectural leakage detection framework using dynamic instrumentation.
Develop Desktop, Embedded, Mobile and WebAssembly apps with C# and XAML. The most popular .NET UI client technology
Polyas-Checker is a tool to verify the bulletin boards of the POLYAS 3.0 E-Voting System for universal verifiability, see also the original publication.
Polyas-Verifier is a web application for the individual second-device verification of the POLYAS 3.0 E-Voting System for individual verifiability, see also the publication on the implementation pro…
A new markup-based typesetting system that is powerful and easy to learn.
A collection of chaos event / nerd culture related stickers.
The entrance repository of Markdown presentation ecosystem
The first implementation of a fully distributed provably secure and universally verifiable mix-net based on the El Gamal cryptosystem.
Browser extension that automatically fills out cookie popups based on your preferences
A fully featured React components library
🏕 Opinionated Vite + Vue Starter Template
A model factory library for creating expressive, auto-completable, on-demand dev/test fixtures with Symfony and Doctrine.
Verifiable online voting system. This is a mirror of https://gitlab.inria.fr/belenios/belenios
The headless rich text editor framework for web artisans.
An AWS hosted Minecraft server that will only run when players are active. Players can start the server through a simple UI accessed through free Heroku server hosting.
A modern, fast, RFC 4180 compliant parser for JS
Shopware 6 is an open commerce platform based on Symfony Framework and Vue and supported by a worldwide community and more than 1.500 community extensions
Yet another toast notification plugin for Vue.js 🌷
Vue.js component for Flatpickr datetime picker 📆
This bundles enables efficient loading of Doctrine fixtures in functional test-cases for Symfony applications