cvc5-bestperformance
|
1.1.2-1 |
0 |
0.00
|
An open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems configured for highest performance. |
Neferin
|
2024-03-17 13:37 (UTC) |
cvmconfigurator-git
|
0.8.2.r0.g890fbeb-1 |
0 |
0.00
|
A configuration utility for managing CVMEngine versions |
complover116
|
2022-03-30 21:46 (UTC) |
cvodes
|
2.7.0-1 |
0 |
0.00
|
CVODES is a solver for stiff and nonstiff ODE systems given in explicit form y’ = f(t,y,p) with sensitivity analysis capabilities (both forward and adjoint modes). |
Phaotee
|
2020-05-05 00:09 (UTC) |
cvsync
|
0.24.19-1 |
0 |
0.00
|
portable CVS repository synchronization utility |
czarkoff
|
2015-10-16 14:07 (UTC) |
cv_to_cc.lv2-git
|
r1.04adeed-1 |
0 |
0.00
|
Convert LV2 CV to MIDI CV |
milkii
|
2020-12-01 03:07 (UTC) |
cw-cloudwatch
|
4.1.3-1 |
0 |
0.00
|
The best way to tail AWS CloudWatch Logs from your terminal |
richardmurri
|
2023-05-04 14:03 (UTC) |
cwalk
|
1.2.9-1 |
0 |
0.00
|
Path library for C/C++. Cross-Platform for Linux, FreeBSD, Windows and MacOS. Supports UNIX and Windows path styles on those platforms. |
likle
|
2024-02-03 09:21 (UTC) |
cweather
|
0.2.0-1 |
0 |
0.00
|
Simple weather utility written in C - read the source code for more info |
raptor8134
|
2021-08-24 03:24 (UTC) |
cwe_checker
|
0.6-1 |
0 |
0.00
|
finds vulnerable patterns in binary executables |
AronYoung
|
2023-06-23 13:26 (UTC) |
cwordle-git
|
r18.87322fe-1 |
0 |
0.00
|
Wordle clone for Unix Terminals in C |
fuero
|
2022-02-28 17:47 (UTC) |
cwplus
|
2-1 |
0 |
0.00
|
The GUI version of OpenCW/CW-I |
VPeti1
|
2024-04-27 15:15 (UTC) |
cwsim-git
|
r105.be867e1-3 |
0 |
0.00
|
Cross-platform amateur radio WPX CW contest simulator written in python, based on Morse Runner. |
f4iey
|
2024-02-29 20:03 (UTC) |
cwtch-autobindings-git
|
0.0.14.r1.g7a65efa-1 |
0 |
0.00
|
Automatically-generated C bindings for the Cwtch library (git) |
iamawacko
|
2024-03-13 16:05 (UTC) |
cwtch-git
|
1.14.7.r0.g69b7ddb2-1 |
0 |
0.00
|
UI for Privacy Preserving Infrastructure for Asynchronous, Decentralized and Metadata Resistant Applications (git) |
iamawacko
|
2024-03-13 16:11 (UTC) |
cwtch-server-git
|
1.4.5.r0.gae0aa7a-1 |
0 |
0.00
|
Server for Privacy Preserving Infrastructure for Asynchronous, Decentralized and Metadata Resistant Applications (git) |
iamawacko
|
2024-03-13 15:48 (UTC) |
cx-bin
|
0.7.1-7 |
0 |
0.00
|
CX Blockchain Programming Language; latest binary release. skycoin.com/cx |
moe_narrow
|
2022-01-04 19:42 (UTC) |
cx-chains
|
0.22.0-1 |
0 |
0.00
|
Execute CX programs on blockchain. https://github.com/skycoin/cx-chains |
moe_narrow
|
2021-06-04 17:05 (UTC) |
cx-game
|
autogenerated-1 |
0 |
0.00
|
Skycoin NFT game prototype |
moe_narrow
|
2022-01-05 17:21 (UTC) |
cx-latest
|
autogenerated-1 |
0 |
0.00
|
CX Skycoin Blockchain Programming Language - most recent github commits (+opengl) |
moe_narrow
|
2021-02-23 01:56 (UTC) |
cxbqn
|
0.11.0-2 |
0 |
0.00
|
BQN VM written in C++. |
orphan
|
2022-05-13 18:15 (UTC) |
cxltx-styles
|
1.4.7-1 |
0 |
0.00
|
A (hopefully) sensible collection of basic XeLaTeX style sheets. |
LeSimon
|
2019-02-05 16:35 (UTC) |
cxx-common
|
0.4.1-1 |
0 |
0.00
|
Common dependency management for various Trail of Bits C++ codebases |
orphan
|
2023-06-25 19:40 (UTC) |
cxx2flow-gui-bin
|
0.1.5-1 |
0 |
0.00
|
GUI for cxx2flow. |
mgt
|
2022-05-02 14:08 (UTC) |
cxxitimer
|
2.0.2-1 |
0 |
0.00
|
A C++ Library to handle linux interval timer |
shiradv0r
|
2024-03-31 18:11 (UTC) |
cxxopts-git
|
2.2.0.r40.ged85f04-1 |
0 |
0.00
|
Lightweight C++ command line option parser |
bartus
|
2021-01-21 09:39 (UTC) |
cxxsemaphore
|
2.0.2-1 |
0 |
0.00
|
A C++ library to handle POSIX named semaphores |
shiradv0r
|
2024-03-30 19:40 (UTC) |
cxxshm
|
2.0.2-1 |
0 |
0.00
|
A C++ library to handle POSIX shared memory |
shiradv0r
|
2024-03-30 18:52 (UTC) |
cyber-bin
|
0.3-1 |
0 |
0.00
|
Fast and concurrent scripting. |
orphan
|
2023-12-21 12:08 (UTC) |
cyber-dkms
|
42.1729.1939-1 |
0 |
0.00
|
CYBER for your system (DKMS) |
fmorgner
|
2023-07-10 21:51 (UTC) |
cyber-dkms-git
|
v42.1729.1939.r8.g006399d-1 |
0 |
0.00
|
CYBER for your system (DKMS) |
fmorgner
|
2023-07-13 09:17 (UTC) |
cyberark-summon-keyring
|
0.2.1-1 |
0 |
0.00
|
Cross-platform provider for Summon that talks to keyrings. |
clofresh
|
2018-08-29 05:05 (UTC) |
cyberchef-web-cn-git
|
10.5.2-1 |
0 |
0.00
|
The Cyber Swiss Army Knife - a web app for encryption, encoding, compression and data analysis |
dnrops
|
2023-09-24 04:45 (UTC) |
cyberdrop-dl
|
0.3.2-2 |
0 |
0.00
|
Cyberdrop downloader |
misobarisic
|
2022-01-26 15:16 (UTC) |
cyberdrop-dl-git
|
0.3.2.r1.g6b831ff-1 |
0 |
0.00
|
Cyberdrop downloader |
misobarisic
|
2022-01-26 15:11 (UTC) |
cyberscript
|
0.3-1 |
0 |
0.00
|
A fast, efficient, and concurrent scripting language |
grawlinson
|
2023-12-11 21:02 (UTC) |
cycligent-git-tool
|
0.5.2-1 |
0 |
0.00
|
Cross-platform, Actionable, Graphical Git Dashboard |
liberodark
|
2018-08-28 14:45 (UTC) |
cyclonedds
|
0.8.1-1 |
0 |
0.00
|
Eclipse Cyclone DDS is a very performant and robust open-source DDS implementation. |
Manifolds
|
2021-11-30 02:11 (UTC) |
cycode
|
2.0.4-3 |
0 |
0.00
|
A web-based HTML Editor, Markdown Editor, and WYSIWYG Editor,a code editor with a primary focus on web development. |
zxp19821005
|
2024-03-21 04:20 (UTC) |
cydownload
|
1.1.1-1 |
0 |
0.00
|
Download deb packages from repo straight to your device |
sunflsks
|
2021-04-05 18:47 (UTC) |
cypher-shell-git
|
3.4.5.r7.g31a7bef-1 |
0 |
0.00
|
A command line shell where you can execute Cypher against an instance of Neo4j (install from git) |
melling
|
2018-07-31 19:32 (UTC) |
cyrus-imapd2
|
2.5.17-1 |
0 |
0.00
|
Cyrus IMAP mail server - 2.5 |
pa314159
|
2021-09-26 20:23 (UTC) |
cython-git
|
3.0.0b2.r40.gd0bbecb7f-1 |
0 |
0.00
|
C-Extensions for Python |
Chocobo1
|
2023-04-10 14:46 (UTC) |
c_g1awrapper-git
|
1.0-1 |
0 |
0.00
|
A wrapper for g1a files |
CoiledSpring
|
2016-12-27 14:06 (UTC) |
c_otp
|
v1.1-2 |
0 |
0.00
|
HOTP / TOTP pure C implementation |
fmount
|
2022-12-07 08:07 (UTC) |
c_template_library
|
0.1.0-1 |
0 |
0.00
|
C Template Library |
wolf
|
2019-02-23 14:31 (UTC) |
otf-d-din
|
1.1-1 |
0 |
0.00
|
Package for the D-DIN font family OTF |
awewanwo
|
2021-03-10 00:02 (UTC) |
ttf-d-din
|
1.1-1 |
0 |
0.00
|
Package for the D-DIN font family TTF |
awewanwo
|
2021-03-10 00:02 (UTC) |
d-hidapi
|
1.0.3-1 |
0 |
0.00
|
D bindings for HIDAPI |
FFY00
|
2019-07-22 14:20 (UTC) |
d-spy-git
|
1.6.0.r4.g3d393d9-1 |
0 |
0.00
|
A D-Bus explorer for GNOME |
tallero
|
2023-06-29 12:54 (UTC) |
libdspy-git
|
1.6.0.r4.g3d393d9-1 |
0 |
0.00
|
D-Spy library for IDE integration |
tallero
|
2023-06-29 12:54 (UTC) |