Search:

sci-mathematics/boolector

Fast SMT solver for bit-vectors, arrays and uninterpreted functions

sci-mathematics/btor2tools

Generic parser and tools for the BTOR2 format

games-emulation/bsnes-jg

Jolly Good Fork of bsnes

games-emulation/gambatte-jg

Jolly Good Fork of Gambatte

dev-python/ase

Set of Python modules for atomistic simulations

dev-python/pycairo-python2

Python bindings for the cairo library

media-sound/libpd

Turning Pure Data into an embeddable audio synthesis library.

dev-cpp/msgpack-cxx

MessagePack for C++

dev-python/pkgcraft

Python bindings for pkgcraft

dev-libs/cutlass

CUDA Templates for Linear Algebra Subroutines

sci-physics/photos

Monte Carlo for bremsstrahlung in the decay of particles and resonances

dev-haskell/nanovg

Haskell bindings for nanovg

dev-python/endesive

Sign and verify digital signatures in mail, PDF and XML documents

dev-haskell/hw-kafka-client

Kafka bindings for Haskell

dev-python/pycoin

Utilities for Bitcoin addresses and transaction manipulation

dev-python/mkdocstrings-crystal

Crystal language doc generator for mkdocstrings

app-crypt/opgpcard

Create VCard, QR code, printable business cards with OpenPGP key and fingerprint

dev-python/btrfs

Python module to inspect btrfs filesystems

sci-libs/or-tools

Google's Operations Research tools

media-libs/audaspace

A high level and feature rich audio library written in C++ with language bindings

dev-python/click-aliases

Add (multiple) aliases to a click_ group or command.

sci-physics/powheg-box-v2-W

POWHEG BOX V2 W process

sci-physics/powheg-box-v2-Z

POWHEG BOX V2 Z process

sci-physics/powheg-box-v2-Zj

POWHEG BOX V2 Zj process

sci-physics/powheg-box-v2-dijet

POWHEG BOX V2 dijet process

sci-physics/powheg-box-v2-directphoton

POWHEG BOX V2 directphoton process

sci-physics/powheg-box-v2-hvq

POWHEG BOX V2 hvq process

sci-physics/powheg-box-v2-trijet

POWHEG BOX V2 trijet process

virtual/powheg-box-v2

NLO calculations in shower Monte Carlo programs according to the POWHEG method

dev-python/hcloud

Official Hetzner Cloud python library

dev-libs/libfx2

chip support package for Cypress EZ-USB FX2 series microcontrollers

dev-python/apache-libcloud

Unified Interface to the Cloud - python support libs

sci-physics/hell

A small-x resummation code

net-libs/paho-mqtt-c

An Eclipse Paho C client library for MQTT for Windows, Linux and MacOS.

dev-libs/radeon-pro-render-sdk

AMD Radeontm ProRender is a powerful physically-based rendering engine

dev-libs/radeon-pro-image-filter

AMD Radeon Image Filter SDK

sci-libs/oce

Development platform for CAD/CAE, 3D surface/solid modeling and data exchange

perl-core/Math-BigInt

Arbitrary size floating point math package

dev-gap/GAPDoc

GAP documentation structure and tooling

dev-gap/HAPcryst

A HAP extension for crytallographic groups

dev-gap/gbnp

Compute Gröbner bases of noncommutative polynomials

dev-gap/genss

GAP implementation of the randomized Schreier-Sims algorithm

dev-gap/io

Bindings for low level C library I/O routines

dev-gap/nq

Nilpotent Quotients of finitely-presented groups

dev-gap/orb

GAP methods to enumerate orbits

dev-gap/qpa

Quivers and Path Algebras in GAP

dev-python/telephonie

Framework to create telephony applications using FreeSWITCH

dev-ruby/xmpp4r

An XMPP library for Ruby

sys-cluster/hetzner-hb

Hetzner hetzner-hb daemon

dev-python/tables

Hierarchical datasets for Python