libcoq-mathcomp-abel

Abel-Galois and Abel-Ruffini theorems for Mathematical Components

This package provides proofs of the Abel-Galois (solvability by radicals and solvability of the Galois group) and of the Abel-Ruffini theorem (general unsolvability of the quintic equations) using the Mathematical Components library.

libgnuradio-uhd3.10.10

gnuradio universal hardware driver functions

The gnuradio interface to the UHD library to connect to and send and receive data between to the Ettus Research, LLC product line - including the USRP family of software radio peripheral devices. Part of the main gnuradio build.

node-lezer-python

Node.js module to provide Python grammar for the lezer parser system

The problem of parsing structured text has resisted one-size-fits all solutions for over 60 years. Lezer isn't such a solution either, but it is a very decent parser generator, especially well suited for use in code editors.

lomiri-online-accounts-plugin-carddav-generic

Online account plugin for Lomiri - Generic CardDAV

Lomiri Online Accounts is an API / library framework to mediate centralized account management for remote services.

libopen3d0.14

Library for 3D data processing

Open3D is an open-source library that supports rapid development of software that deals with 3D data. The Open3D frontend exposes a set of carefully selected data structures and algorithms in both C++ and Python. The backend is highly optimized and is set up for parallelization.

libticcutils8t64

utility functions used in the context of Natural Language Processing (library)

The TiCC utils C++ library contains useful functions and other goodies for general use in TiMBL and other parts of the TiCC software stack and beyond.