A hybrid functional/object-oriented language for the JVM

Updated 7 months ago

A library of SAT solvers written in Java

Updated 2 months ago

Unnamed repository

Updated 3 days ago

Common functionality to Rspec series

Updated 5 months ago

RSpec's 'test double' framework (mocks and stubs)

Updated 11 months ago

RSpec expectations (should and matchers)

Updated 11 months ago

Rspec-2 runner and formatters

Updated 3 months ago

RPM dependency generator hooks for MPI packages

Updated 11 months ago

Set of interfaces for unified system management

Updated 3 days ago

A persistent key-value database

Updated 5 months ago

Red Hat specific rpm configuration files

Updated 3 days ago

Qt5 - Complete documentation

Updated 5 months ago

Qt5 meta package

Updated 5 months ago

Unnamed repository

Updated 6 months ago

PyQt5 is Python bindings for Qt5

Updated 5 months ago

Documentation for the Python programming language

Updated 1 year ago

XML processing library combining libxml2/libxslt with the ElementTree API

Updated 2 days ago

An interpreted, interactive, object-oriented programming language

Updated 3 days ago

Utilities for monitoring process activities

Updated 11 months ago

The Point-to-Point Protocol daemon

Updated 11 months ago