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.