agda-categories
|
0.1.4-1 |
0 |
0.00
|
A new Categories library for Agda |
berberman
|
2020-11-11 11:06 (UTC) |
afb-libhelpers-git
|
9.99.1+20+g6cc5d85-1 |
0 |
0.00
|
useful utilities to integrate in your afb bindings development. |
benierc
|
2020-12-21 14:51 (UTC) |
afb-libcontroller-git
|
9.99.1+34+g0088350-1 |
0 |
0.00
|
useful utilities to integrate in your afb bindings development. |
benierc
|
2020-12-21 14:53 (UTC) |
afb-libafb-git
|
4.0.0beta5-1 |
0 |
0.00
|
Core library of Application Framework Binder |
benierc
|
2020-12-21 14:29 (UTC) |
afb-helpers-git
|
8.0.0-1 |
0 |
0.00
|
Library providing some helpful functions for apps using Application Framework Binder |
benierc
|
2019-09-03 13:35 (UTC) |
aegisub-yutils
|
2023.06.25-2 |
0 |
0.00
|
Yutils library for the Aegisub Automation interface |
FichteFoll
|
2023-06-25 20:27 (UTC) |
aegisub-subinspector-git
|
v0.5.2.r11.c1154a0-1 |
0 |
0.00
|
Subinspector library for the Aegisub Automation interface |
FichteFoll
|
2019-04-02 12:18 (UTC) |
adwdialog-git
|
r6.b2e9309-1 |
0 |
0.00
|
Display GTK4/libadwaita dialogs from terminal and scripts. |
igor-dyatlov
|
2022-12-05 19:36 (UTC) |
adol-c-git
|
20201112-1 |
0 |
0.00
|
ADOL-C automatic differentiation library |
x2b
|
2020-11-16 22:09 (UTC) |
adns-git
|
1:adns.r1.6.0.0.gccaa001-1 |
0 |
0.00
|
An asyncronous replacement resolver library |
nandub
|
2023-10-02 19:57 (UTC) |
adaptagrams-git
|
r1249.d00ce593-1 |
0 |
0.00
|
A library for adaptive diagramming applications |
mschu
|
2023-12-15 22:04 (UTC) |
adaogg
|
2021.10.14-1 |
0 |
0.00
|
A complete interface layer that brings the Ogg, Vorbis, and Theora libraries to the Ada 2012 programming language. |
charlie5
|
2024-05-31 07:01 (UTC) |
act-tracelib-git
|
0.0.1.r29.c8af854-2 |
0 |
0.00
|
A simulation trace file writer interface. |
TheBitFighter
|
2024-06-05 17:13 (UTC) |
act-stdlib-git
|
0.0.1.r62.99d8416-4 |
0 |
0.00
|
ACT stdlib provides the base ACT libraries which the rest of the toolchain uses. |
TheBitFighter
|
2024-06-05 16:17 (UTC) |
act-expropt-git
|
0.1.r66.b4f4b14-1 |
0 |
0.00
|
The ExprOpt Library is used to optimize the sets of expressions by using external synthesis tools. |
TheBitFighter
|
2024-06-06 14:10 (UTC) |
act-core-git
|
0.1.r1866.3b3d028-2 |
0 |
0.00
|
ACT core provides the core library for the ACT AVLSI toolflow. |
TheBitFighter
|
2024-06-10 17:38 (UTC) |
abseil-cpp11
|
20220623.1-2 |
0 |
0.00
|
Common C++ libraries (legacy for C++11) |
osamc
|
2024-01-21 15:43 (UTC) |
abseil-cpp-git
|
r1653.7152f9bc-3 |
0 |
0.00
|
Collection of C++ library code designed to augment the C++ standard library |
FabioLolix
|
2023-07-09 15:36 (UTC) |
abpoa
|
1.5.1-1 |
0 |
0.00
|
SIMD-based C library for fast partial order alignment. https://dx.doi.org/10.1093/bioinformatics/btaa963 |
kbipinkumar
|
2024-01-16 06:03 (UTC) |
aarch64be-glibc-bleeding-edge-toolchain
|
2024.02-1 |
0 |
0.00
|
Ready-to-use cross-compilation toolchain provided by bootlin.com |
gportay
|
2024-05-31 05:55 (UTC) |
aarch64-zlib
|
1.3.1-1 |
0 |
0.00
|
A compression/decompression Library (aarch64) |
kovdan01
|
2024-05-06 18:56 (UTC) |
aarch64-linux-gnu-armcl-opencl+neon
|
20.02.1-1 |
0 |
0.00
|
ARM Computer Vision and Machine Learning Library (arm64-v8a OpenCL + NEON Backends) |
orphan
|
2020-04-17 22:51 (UTC) |
aarch64-glibc-bleeding-edge-toolchain
|
2024.02-1 |
0 |
0.00
|
Ready-to-use cross-compilation toolchain provided by bootlin.com |
gportay
|
2024-05-31 05:29 (UTC) |
aarch64-elf-newlib-linaro-bin
|
2019.12-1 |
0 |
0.00
|
A C standard library implementation intended for use on embedded systems ARM64 (bare metal) |
feherneoh
|
2020-12-27 14:52 (UTC) |
aaflib
|
0.1-1 |
0 |
0.00
|
An implementation of the mathematical construct of affine arithmetics in C++. |
orphan
|
2019-10-08 18:35 (UTC) |
3dmeshmetric-bin
|
1.4.3-1 |
0 |
0.00
|
A visualization tool based on the VTK library. |
hottea
|
2019-11-08 09:18 (UTC) |