mossbiscuits
Follow
Starred repositories
Official repository for Spyder - The Scientific Python Development Environment
A simple, minimalistic Hugo theme. View Demo here
PWA with 12 open source frontend focused tools
TeXstudio is a fully featured LaTeX editor. Our goal is to make writing LaTeX documents as easy and comfortable as possible.
🎮 ⌨ An easy to use tool to change the behaviour of your input devices.
The main development version of the PRISM model checker.
VS Code extension to verify Rust programs with the Prusti verifier.
A static verifier for Rust, based on the Viper verification infrastructure.
Creusot helps you prove your code is correct in an automated fashion.
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…
Dafny is a verification-aware programming language
Python Bindings for the Probabilistic Model Checker Storm
Omeka S is a web publication system for universities, galleries, libraries, archives, and museums. It consists of a local network of independently curated exhibits sharing a collaboratively built p…
A flexible web publishing platform for the display of library, museum and scholarly collections, archives and exhibitions.
A modern file manager that helps users organize their files and folders.
🚀✨ Help beginners to contribute to open source projects
This is a list of projects which have curated tasks specifically for new contributors. These issues are a great way to get started with a project, or to help share the load of working on open sourc…
🐀 A link aggregator and forum for the fediverse
Your self-hosted, globally interconnected microblogging community
Zotero is a free, easy-to-use tool to help you collect, organize, annotate, cite, and share your research sources.
Joplin - the privacy-focused note taking app with sync capabilities for Windows, macOS, Linux, Android and iOS.
