Integrated MIDI piano roll editor and sequencer engine

dino

Integrated MIDI piano roll editor and sequencer engine

libompl15

Open Motion Planning Library (OMPL)

libghc-shelly-prof

shell-like (systems) programming in Haskell; profiling libraries

Shelly provides convenient systems programming in Haskell, similar in spirit to POSIX shells. Shelly:

krb5-gss-samples

MIT Kerberos GSS Sample applications

Kerberos is a system for authenticating users and services on a network. Kerberos is a trusted third-party service. That means that there is a third party (the Kerberos server) that is trusted by all the entities on the network (users and services, usually called "principals").

libboost-mpi-python1.60.0

C++ interface to the Message Passing Interface (MPI), Python Bindings

This package forms part of the Boost C++ Libraries collection.

libpcscada0.7.4

Ada bindings to PC/SC middleware