|
mingw-w64-z3
|
4.12.2-1 |
0 |
0.00
|
High-performance theorem prover (mingw-w64) |
xantares
|
2023-09-04 05:48 (UTC) |
|
hmat-oss
|
1.9.0-1 |
1 |
0.00
|
A hierarchical matrix C/C++ library |
xantares
|
2023-09-07 19:17 (UTC) |
|
libcxxwrap-julia
|
0.11.0-1 |
0 |
0.00
|
C++ library for backing CxxWrap.jl |
xantares
|
2023-09-12 16:12 (UTC) |
|
mingw-w64-lld
|
1-1 |
0 |
0.00
|
MinGW wrapper for -fuse-ld=lld (mingw-w64) |
xantares
|
2023-09-14 17:55 (UTC) |
|
mingw-w64-metis
|
5.2.1-1 |
0 |
0.00
|
Serial Graph Partitioning and Fill-reducing Matrix Ordering (mingw-w64) |
xantares
|
2023-09-17 14:23 (UTC) |
|
mingw-w64-spirv-headers
|
1.3.250.1-1 |
1 |
0.00
|
SPIR-V Headers (mingw-w64) |
xantares
|
2023-09-18 18:56 (UTC) |
|
mingw-w64-glslang
|
13.0.0-1 |
2 |
0.00
|
OpenGL and OpenGL ES shader front end and validator (mingw-w64) |
xantares
|
2023-09-18 18:57 (UTC) |
|
mingw-w64-gklib
|
5.1.1-1 |
0 |
0.00
|
A library of various helper routines and frameworks used by many of the labs software (mingw-w64) |
xantares
|
2023-09-20 17:30 (UTC) |
|
mingw-w64-abseil-cpp
|
20230802.1-1 |
0 |
0.00
|
Collection of C++ library code designed to augment the C++ standard library (mingw-w64) |
xantares
|
2023-09-22 17:47 (UTC) |
|
mingw-w64-prima
|
0.7.1-1 |
0 |
0.00
|
package for solving general nonlinear optimization problems without using derivatives (mingw-w64) |
xantares
|
2023-09-22 19:59 (UTC) |
|
mingw-w64-paraview
|
5.11.2-1 |
0 |
0.00
|
Parallel Visualization Application using VTK (mingw-w64) |
xantares
|
2023-09-23 10:19 (UTC) |
|
mingw-w64-llvm
|
16.0.6-3 |
4 |
0.43
|
Collection of modular and reusable compiler and toolchain technologies (mingw-w64) |
xantares
|
2023-09-23 14:56 (UTC) |
|
mingw-w64-libharu
|
2.4.4-1 |
0 |
0.00
|
C library for generating PDF documents (mingw-w64) |
xantares
|
2023-09-29 17:00 (UTC) |
|
mingw-w64-mesa
|
23.2.1-1 |
0 |
0.00
|
An open-source implementation of the OpenGL specification (mingw-w64) |
xantares
|
2023-09-29 20:32 (UTC) |
|
mingw-w64-vtk-git
|
r86085.4bb5405e7ef-1 |
0 |
0.00
|
A software system for 3D computer graphics, image processing, and visualization (mingw-w64) |
xantares
|
2023-10-01 09:03 (UTC) |
|
mingw-w64-python311-bin
|
3.11.5-1 |
0 |
0.00
|
Next generation of the python high-level scripting language (native MSVC version) (mingw-w64) |
xantares
|
2023-10-03 16:34 (UTC) |
|
mingw-w64-python312-bin
|
3.12.0-1 |
0 |
0.00
|
Next generation of the python high-level scripting language (native MSVC version) (mingw-w64) |
xantares
|
2023-10-04 16:01 (UTC) |
|
omniorb
|
4.3.1-1 |
14 |
0.37
|
A CORBA object request broker for C++ and Python. |
xantares
|
2023-10-07 07:05 (UTC) |
|
omniorbpy
|
4.3.1-1 |
11 |
0.37
|
A CORBA object request broker for C++ and Python. |
xantares
|
2023-10-07 07:10 (UTC) |
|
prima
|
0.7.2-1 |
0 |
0.00
|
package for solving general nonlinear optimization problems without using derivatives |
xantares
|
2023-10-08 18:16 (UTC) |
|
mingw-w64-hmat-oss
|
1.9.0-1 |
0 |
0.00
|
A hierarchical matrix C/C++ library (mingw-w64) |
xantares
|
2023-10-19 16:20 (UTC) |
|
agrum
|
1.10.0-1 |
0 |
0.00
|
C++ Bayesian networks library |
xantares
|
2023-10-19 18:28 (UTC) |
|
mingw-w64-agrum
|
1.10.0-1 |
0 |
0.00
|
C++ Bayesian networks library (mingw-w64) |
xantares
|
2023-10-19 18:28 (UTC) |
|
mingw-w64-onetbb
|
2021.10.0-1 |
0 |
0.00
|
High level abstract threading library (mingw-w64) |
xantares
|
2023-10-23 17:17 (UTC) |
|
mingw-w64-zlib-ng
|
2.1.4-1 |
0 |
0.00
|
zlib replacement with optimizations for 'next generation' systems (mingw-w64) |
xantares
|
2023-10-25 22:16 (UTC) |
|
mingw-w64-coin-or-osi
|
0.108.9-1 |
0 |
0.00
|
COIN-OR Open Solver Interface (mingw-w64) |
xantares
|
2023-10-25 22:17 (UTC) |
|
mingw-w64-coin-or-clp
|
1.17.9-1 |
0 |
0.00
|
COIN-OR linear programming solver (mingw-w64) |
xantares
|
2023-10-25 22:18 (UTC) |
|
mingw-w64-coin-or-cgl
|
0.60.8-1 |
0 |
0.00
|
COIN-OR Cut Generation Library (mingw-w64) |
xantares
|
2023-10-25 22:19 (UTC) |
|
mingw-w64-coin-or-cbc
|
2.10.11-1 |
0 |
0.00
|
COIN-OR branch-and-cut mixed integer programming solver (mingw-w64) |
xantares
|
2023-10-25 22:21 (UTC) |
|
mingw-w64-coin-or-coinutils
|
2.11.10-1 |
0 |
0.00
|
COIN-OR collection of utility classes (mingw-w64) |
xantares
|
2023-10-25 22:21 (UTC) |
|
mingw-w64-vulkan-tools
|
1.3.269-1 |
0 |
0.00
|
Vulkan Utilities and Tools (mingw-w64) |
xantares
|
2023-10-26 18:06 (UTC) |
|
salome-medcoupling
|
9.11.0-1 |
1 |
0.00
|
Field data manipulation library |
xantares
|
2023-10-30 06:40 (UTC) |
|
mingw-w64-environment
|
1-5 |
8 |
0.00
|
Script providing common environment variables and functions for MinGW (mingw-w64) |
xantares
|
2023-10-30 17:08 (UTC) |
|
mingw-w64-utf8cpp
|
4.0.1-1 |
0 |
0.00
|
UTF-8 with C++ in a Portable Way (mingw-w64) |
xantares
|
2023-10-30 17:11 (UTC) |
|
mingw-w64-libsvm
|
3.32-1 |
1 |
0.00
|
A library for Support Vector Machines classification (mingw-w64) |
xantares
|
2023-11-02 18:48 (UTC) |
|
python-pythonfmu
|
0.6.2-2 |
0 |
0.00
|
packaging of Python3.x code as co-simulation FMUs |
xantares
|
2023-11-03 22:34 (UTC) |
|
mingw-w64-mumps
|
5.6.2-1 |
0 |
0.00
|
Sparse solver library using Gaussian elimination (mingw-w64) |
xantares
|
2023-11-05 08:02 (UTC) |
|
mingw-w64-proj
|
9.3.0-1 |
1 |
0.00
|
Cartographic Projections library (mingw-w64) |
xantares
|
2023-11-06 18:44 (UTC) |
|
mingw-w64-geos
|
3.12.0-1 |
0 |
0.00
|
C++ port of the Java Topology Suite (mingw-w64) |
xantares
|
2023-11-06 19:17 (UTC) |
|
mlir
|
16.0.6-1 |
2 |
0.34
|
Multi-Level IR Compiler Framework for LLVM |
xantares
|
2023-11-06 19:50 (UTC) |
|
mingw-w64-libspatialite
|
5.1.0-1 |
0 |
0.00
|
SQLite extension to support spatial data types and operations (mingw-w64) |
xantares
|
2023-11-06 19:52 (UTC) |
|
mingw-w64-hdf5
|
1.14.3-1 |
1 |
0.00
|
General purpose library and file format for storing scientific data (mingw-w64) |
xantares
|
2023-11-06 20:03 (UTC) |
|
openmodelica-omc
|
1.22.0-1 |
1 |
0.00
|
The Open Source Modelica Suite - OpenModelica Compiler |
xantares
|
2023-11-07 18:56 (UTC) |
|
openmodelica-omlibraries
|
1.22.0-1 |
1 |
0.00
|
The Open Source Modelica Suite - A collection of Modelica libraries for use with OpenModelica. |
xantares
|
2023-11-07 18:59 (UTC) |
|
coin-or-ipopt
|
3.14.13-1 |
17 |
0.00
|
Interior Point OPTimizer |
xantares
|
2023-11-08 17:01 (UTC) |
|
mingw-w64-coin-or-ipopt
|
3.14.13-1 |
0 |
0.00
|
Interior Point OPTimizer (mingw-w64) |
xantares
|
2023-11-08 17:01 (UTC) |
|
flang
|
16.0.6-1 |
1 |
0.21
|
ground-up implementation of a Fortran front end written in modern C++ |
xantares
|
2023-11-08 17:06 (UTC) |
|
mingw-w64-exiv2
|
0.28.1-1 |
2 |
0.00
|
Exif and Iptc metadata manipulation library and tools (mingw-w64) |
xantares
|
2023-11-09 05:58 (UTC) |
|
mingw-w64-suitesparse
|
7.3.1-1 |
0 |
0.00
|
A collection of sparse matrix libraries (mingw-w64) |
xantares
|
2023-11-10 18:44 (UTC) |
|
mingw-w64-ceres-solver
|
2.2.0-2 |
0 |
0.00
|
Solver for nonlinear least squares problems (mingw-w64) |
xantares
|
2023-11-10 18:45 (UTC) |