boolector-git
|
3.2.2.r18.g1a89c229-1 |
0 |
0.00
|
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions |
xiretza
|
2022-05-03 13:12 (UTC) |
bootstrap-studio
|
6.5.1-1 |
9 |
0.00
|
Bootstrap Studio is a powerful tool which web developers and designers use to create layouts and fully functional websites using the Bootstrap framework. |
rotzelbart
|
2023-10-12 11:07 (UTC) |
bouffalo-lab-dev-cube
|
1.8.5-2 |
0 |
0.00
|
A chip integrated development tool provided by Bouffalolab, which includes three major functions: IOT program download, MCU program download and RF performance test. |
yjun
|
2023-09-22 17:20 (UTC) |
brewstillery
|
8.1.0-1 |
0 |
0.00
|
BrewStillery is a brewer's, vintner's, and distiller's calculator. It has a multitude of great functions, such as calculating ABV, determining carbonation, and total sparge water needed. |
TheDarkula
|
2019-02-10 19:53 (UTC) |
brother-dcpj562dw
|
1.0.0-3 |
4 |
0.00
|
Driver for the Brother DCP-J562DW wifi multifunctional printer |
shaddow
|
2018-03-03 13:35 (UTC) |
brother-dcpj572dw
|
1.0.5-1 |
2 |
0.00
|
Driver for the Brother DCP-J772DW wifi multifunctional printer |
pointhi
|
2019-06-08 10:37 (UTC) |
brother-dcpj785dw
|
1.0.0_0-1 |
1 |
0.00
|
Driver for the Brother DCP-J785DW wifi/usb multifunctional printer |
dsalewski
|
2017-10-22 06:26 (UTC) |
brother-mfc6490cw-cupswrapper
|
1.1.2_2-5 |
1 |
0.00
|
LPR-to-CUPS wrapper for Brother MFC-6490CW multifunction network printer |
m4ng0squ4sh
|
2016-10-23 13:59 (UTC) |
brother-mfc6490cw-lpr
|
1.1.2_2-3 |
1 |
0.00
|
LPR driver for Brother MFC-6490CW multifunction network printer |
m4ng0squ4sh
|
2016-10-23 13:57 (UTC) |
brp-pacu
|
2.1.1-3 |
0 |
0.00
|
A cross platform dual channel FFT based Acoustic Analysis Tool to help engineers analyze live professional sound systems using the transfer function. One feature is the ability to capture four sample plots, average them, and invert to aid in final EQ. |
dynaMIX
|
2019-04-16 09:53 (UTC) |
bsdconv-git
|
11.4.r4.g9d91889-1 |
0 |
0.00
|
BSD licensed charset/encoding converter library with more functionalities than libiconv |
pkmx
|
2016-07-28 17:10 (UTC) |
buildbox-common
|
1.0.7-1 |
1 |
0.00
|
Shared protocol-buffer definitions and various helper functions |
marko10_000
|
2023-12-16 15:22 (UTC) |
bux
|
1.6.8-1 |
0 |
0.00
|
A supplemental C++ library with functionalities not directly supported from Modern C++ standard. |
buck.yeh
|
2023-02-23 15:29 (UTC) |
c++-gtk-utils
|
2.2.20-1 |
1 |
0.00
|
Classes and functions for programming in GTK+ |
adsun
|
2022-10-02 22:15 (UTC) |
c++-gtk-utils-gtk2
|
2.0.29-1 |
6 |
0.00
|
Classes and functions for programming in GTK+ |
bidulock
|
2015-12-14 11:57 (UTC) |
calicoctl-bin
|
3.27.3-1 |
1 |
0.01
|
command line tool to manage Calico resources and perform administrative functions |
grainrigi
|
2024-04-15 03:42 (UTC) |
cargo-llvm-lines
|
0.4.32-1 |
2 |
0.00
|
Count the number of lines of LLVM IR across all instantiations of a generic function |
jonasmalacofilho
|
2023-08-06 14:25 (UTC) |
carto-tiler
|
2.87.1.r13.34424e71-1 |
0 |
0.00
|
CARTO Maps API tiler. It extends Windshaft with some extra functionality |
javitonino
|
2017-02-03 17:13 (UTC) |
casaos-local-storage
|
0.4.3-1 |
2 |
0.01
|
Local Storage service provides local storage and disk management functionalities to CasaOS. |
Ns2Kracy
|
2023-05-19 11:30 (UTC) |
casaos-user-service
|
0.4.2-1 |
2 |
0.01
|
Provides user management functionalities to CasaOS. |
Ns2Kracy
|
2023-05-19 15:02 (UTC) |
ccalc
|
1.6.5-0 |
1 |
0.00
|
Calculator with expression simplification that lets you define new functions and constants |
PhilippHochmann
|
2021-06-15 15:34 (UTC) |
cdd
|
2018.april.2-1 |
0 |
0.00
|
The Conserved Domain Database is a resource for the annotation of functional units in proteins. Its collection of domain models includes a set curated by NCBI, which utilizes 3D structure to provide insights into sequence/structure/function relationships. |
anadon
|
2018-04-04 20:26 (UTC) |
cdtool
|
2.1.8+debian8-1 |
0 |
0.00
|
Control the audio functions of a CDROM drive from the command line. Contains 'cdplay', 'cdstop', 'cdeject' and many other tools. |
dreieck
|
2023-11-19 15:48 (UTC) |
certmanager-bin
|
1.0.0-4 |
1 |
0.00
|
A simple and efficient local certificate management tool that provides functions such as certificate installation, certificate management, and certificate verification.一款简单高效的本地证书管理工具,提供证书安装、证书管理、证书验证等功能,支持国密证书. |
zxp19821005
|
2024-02-28 02:43 (UTC) |
chaos
|
0.2.0-1 |
1 |
0.00
|
A purely functional programming language that achieves zero cyclomatic complexity |
orphan
|
2021-08-16 18:02 (UTC) |
chicken-clojurian
|
3-1 |
0 |
0.00
|
Syntax and utility functions inspired by Clojure for Chicken Scheme |
Junker
|
2024-01-03 02:02 (UTC) |
chicken-srfi-94
|
0.1-1 |
0 |
0.00
|
SRFI 94: Type-Restricted Numerical Functions for Chicken Scheme |
Junker
|
2024-01-02 15:25 (UTC) |
cl-alexandria-git
|
r264.f35e232-1 |
8 |
0.00
|
A set of common-lisp help functions |
fabi
|
2021-03-05 17:20 (UTC) |
clasht
|
1.20.0-1 |
0 |
0.00
|
A rule-based tunnel in Go. Provide you with powerful and fast network functions. Convenient for you to witness the larger network world |
orphan
|
2023-11-17 23:35 (UTC) |
clasht-bin
|
1.20.0-1 |
0 |
0.00
|
A rule-based tunnel in Go. Provide you with powerful and fast network functions. Convenient for you to witness the larger network world |
orphan
|
2023-11-17 23:35 (UTC) |
clasht-git
|
1.20.0-1 |
0 |
0.00
|
A rule-based tunnel in Go. Provide you with powerful and fast network functions. Convenient for you to witness the larger network world |
orphan
|
2023-11-17 23:36 (UTC) |
clblas
|
2.12-3 |
10 |
0.00
|
A software library containing BLAS functions written in OpenCL |
lsr
|
2020-02-29 13:40 (UTC) |
clean-itasks-dev-bin
|
20191209-1 |
0 |
0.00
|
Provides the functional programming language Clean and the iTasks system. |
orphan
|
2019-12-09 10:52 (UTC) |
clean-lang-bin
|
3.1-1 |
2 |
0.00
|
Provides the general purpose, pure and lazy functional programming language Clean. |
hv15
|
2022-02-08 14:27 (UTC) |
clfft
|
2.12.2-2 |
3 |
0.00
|
A software library containing FFT functions written in OpenCL |
acxz
|
2022-07-02 17:04 (UTC) |
clfft-git
|
2.12.2.r29.gc59712e-1 |
0 |
0.00
|
A software library containing FFT functions written in OpenCL (git) |
acxz
|
2022-07-31 22:59 (UTC) |
clio-lang
|
0.1.6-1 |
1 |
0.00
|
a pure functional lazy-evaluated programming language |
siever
|
2019-12-19 23:46 (UTC) |
cnijfilter-ip100
|
3.70-1 |
1 |
0.00
|
Canon IJ Printer Driver for Pixma ip100 (MG2140, MG2150, etc) multifunction |
nicholascw
|
2020-07-19 04:44 (UTC) |
cnijfilter-ip1800series
|
2.70-1 |
1 |
0.00
|
Canon IJ Printer Driver for Pixma IP1800 series multifunction |
severach
|
2018-07-05 18:33 (UTC) |
cnijfilter-mg2100
|
3.60-2 |
1 |
0.00
|
Canon IJ Printer Driver for Pixma mg2100 (MG2140, MG2150, etc) multifunction |
oberon2007
|
2015-09-21 21:45 (UTC) |
cnijfilter-mp550
|
3.20-14 |
10 |
0.00
|
Canon IJ Printer Driver (For Multifunction MP550 series) |
orphan
|
2020-01-26 20:02 (UTC) |
cnijfilter-mp640
|
3.20-5 |
2 |
0.00
|
Canon IJ Printer Driver (For Multifunction MP640 series) |
orphan
|
2020-01-26 19:50 (UTC) |
cnijfilter-mx920
|
3.90-3 |
3 |
0.00
|
Canon IJ printer driver (multifunction MX920 series) |
maxqia
|
2020-01-26 20:40 (UTC) |
coconut-lang
|
1.6.0-1 |
1 |
0.00
|
Simple, elegant, Pythonic functional programming. |
orphan
|
2022-03-04 08:41 (UTC) |
coconut-lang-git
|
0.r1602.36f9240-1 |
1 |
0.00
|
Simple, elegant, Pythonic functional programming. |
orphan
|
2016-06-23 15:57 (UTC) |
code-eli-git
|
r836.7ea8de1-1 |
0 |
0.00
|
Collection of C++ libraries that provide a variety of functionalities. |
acxz
|
2022-02-23 01:41 (UTC) |
complex_bessel
|
0.7.0_beta-1 |
3 |
0.00
|
A C++ library to evaluate the Bessel functions of real order and complex argument. |
valandil
|
2021-04-06 00:43 (UTC) |
correlation-git
|
r146.f0965a0-1 |
0 |
0.00
|
Program calculates the main correlation functions of a material |
MineralwaterXu
|
2022-05-20 11:39 (UTC) |
cotp-git
|
1.4.5.r1.g16963ad-2 |
0 |
0.00
|
Trustworthy, encrypted, command-line TOTP/HOTP authenticator app with import functionality |
alerque
|
2024-03-26 08:56 (UTC) |
cplot
|
2.0-1 |
1 |
0.00
|
Function plotter for real and complex mathematical functions |
hilgenberg
|
2022-11-19 14:31 (UTC) |