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