Jaxan

OLStar

Output-decomposed Learning of Mealy Machines based on L*

alg

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

pysat

A toolkit for SAT-based prototyping in Python

aoc-68

Advent of Code 2021 solutions in ALGOL 68

species

boltzmann-brain

Analytic sampler compiler for combinatorial systems

pbt-frameworks

An overview of property-based testing functionality

monoid-learner

Learns a monoid with an L*-like algorithm

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.

whichever-compiles

KiesKompas_PCA

PCA of parties pov for Dutch 2021 elections

thanks

Celebrate Rust contributors.

lstar

quiver

A modern commutative diagram editor for the web.

zotero-deb

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

flexfringe-colab

Colab Notebook for flexfringe

haskell-torch

Practical Deep Learning in Haskell now!

learnlib

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

nominal

Haskell implementation of nominal datatypes and functions

uBlock

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

hanabi

ltsmin

The LTSmin model checking toolset

mCRL2

The Git repository for the mCRL2 toolset.

RawTherapee

A powerful cross-platform raw photo processing program

MuseScore

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

sbv

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

mopidy-spotify

Mopidy extension for playing music from Spotify

pygitea

Gitea API wrapper for Python

mopidy

Mopidy is an extensible music server written in Python

mopidy-musicbox-webclient

Web Client for Mopidy Music Server and the Pi MusicBox