Search:
Search Results
dev-libs/tree-sitter-rust
Rust grammar for Tree-sitter
sci-mathematics/cryptominisat
Advanced SAT solver with C++ and command-line interfaces
sci-mathematics/stp
Simple Theorem Prover, an efficient SMT solver for bitvectors
net-nntp/inn
InterNetNews - the Internet meets Netnews
dev-util/myov-academia-meta
Meta package for academic packages
dev-python/gemmi
library for structural biology
dev-python/zarr
An implementation of chunked, compressed, N-dimensional arrays for Python
net-p2p/core-lightning
An implementation of Bitcoin's Lightning Network in C
sys-libs/libnvme
C Library for NVM Express on Linux
dev-libs/fastText
Library for fast text representation and classification
dev-libs/zfp
Compressed numerical arrays that support high-speed random access
dev-util/lief
Library to instrument executable formats
dev-qt/ghoul
Lightweight IDE for C++/QML development centering around Qt
sci-geosciences/navit
An open-source car navigation system with a routing engine
app-misc/domoticz
Home automation system
media-libs/openusd
Universal Scene Description
dev-libs/triton
Triton is a Dynamic Binary Analysis (DBA) framework
net-libs/nflog-bindings
High-level language bindings for libnetfilter_log
net-libs/nfqueue-bindings
High-level language bindings for libnetfilter_queue
sci-electronics/nextpnr
Portable FPGA place and route tool
dev-libs/json-parser
Very low footprint JSON parser written in portable ANSI C
sci-libs/gdcm
Cross-platform DICOM implementation
sci-physics/rivet
Rivet toolkit (Robust Independent Validation of Experiment and Theory)
sci-electronics/slang
SystemVerilog compiler and language services
dev-util/coccinelle
Program matching and transformation engine
app-forensics/libscca
Library and tools to access the Windows Prefetch File (SCCA) format.
media-gfx/netgen
Automatic 3d tetrahedral mesh generator
sys-libs/libnbd
NBD client library in userspace
sci-mathematics/libpoly
C library for manipulating polynomials
sci-mathematics/boolector
Fast SMT solver for bit-vectors, arrays and uninterpreted functions
dev-python/PTable
Represents tabular data in visually appealing ASCII tables, fork of PrettyTable
dev-python/fabio
FabIO is an I/O library for images produced by 2D X-ray detectors
dev-python/hyperspy-gui-ipywidgets
Interactive analysis of multidimensional datasets tools
dev-python/hyperspy-gui-traitsui
Provides traitsui graphic user interface (GUI) elements for hyperspy
dev-python/hyperspyUI
Provides graphic user interface (GUI) for hyperspy
dev-python/pyFAI
Libary for azimuthal integration of 2D diffraction data
dev-python/pyface
Toolkit-independent GUI abstraction layer for visualization features of Traits
dev-python/silx
Python packages collection for synchrotron data manipulation
dev-python/sparse
Sparse multi-dimensional arrays for the PyData ecosystem
dev-python/traitsui
Toolkit-independent GUI abstraction layer for visualization features of Traits
dev-python/link-traits
A fork to traitlets
dev-python/wxmplot
Provides advanced wxPython widgets for plotting based on matplotlib
dev-python/wxutils
A library of convenience functions for wxPython
dev-python/xraydb
X-ray Reference Data for the Elements using SQLite
media-sound/libpd
Turning Pure Data into an embeddable audio synthesis library.
dev-python/pyshortcuts
Pyshortcuts helps to create desktop shortcuts that will run python scripts
dev-python/rdfpy
Module for fast computation of 2D and 3D radial distribution functions
app-forensics/libbde
Library and tools to access BitLocker Drive Encryption (BDE) encrypted volumes
app-forensics/libevt
Library and tools to access the Windows Event Log (EVT) format
app-forensics/libesedb
Library and tools to access the Extensible Storage Engine Database File format.