Jaxan

uBlock

uBlock Origin - An efficient blocker for Chromium and Firefox. Fast and lean.

MuseScore

MuseScore is an open source and free music notation software. For support, contribution, bug reports, visit MuseScore.org. Fork and make pull requests!

mopidy

Mopidy is an extensible music server written in Python

RawTherapee

A powerful cross-platform raw photo processing program

quiver

A modern commutative diagram editor for the web.

osxphotos

Python app to work with pictures and associated metadata from Apple Photos on macOS. Also includes a package to provide programmatic access to the Photos library, pictures, and metadata.

mopidy-spotify

Mopidy extension for playing music from Spotify

zotero-deb

Packaged versions of Zotero and Juris-M for Debian-based systems

mopidy-musicbox-webclient

Web Client for Mopidy Music Server and the Pi MusicBox

pysat

A toolkit for SAT-based prototyping in Python

sbv

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

learnlib

A free, open-source Java library for automata learning algorithms

thanks

Celebrate Rust contributors.

whichever-compiles

mCRL2

The Git repository for the mCRL2 toolset.

alg

Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.

ltsmin

The LTSmin model checking toolset

haskell-torch

Practical Deep Learning in Haskell now!

pbt-frameworks

An overview of property-based testing functionality

nominal

Haskell implementation of nominal datatypes and functions

boltzmann-brain

Analytic sampler compiler for combinatorial systems

species

flexfringe-colab

Colab Notebook for flexfringe

pygitea

Gitea API wrapper for Python

KiesKompas_PCA

PCA of parties pov for Dutch 2021 elections

aoc-68

Advent of Code 2021 solutions in ALGOL 68

hanabi

monoid-learner

Learns a monoid with an L*-like algorithm

OLStar

Output-decomposed Learning of Mealy Machines based on L*

lstar