|
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) |
|
cvc5
|
1.1.2-1 |
0 |
0.00
|
An open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems |
Neferin
|
2024-03-17 13:37 (UTC) |
|
cutefish-videoplayer-git
|
0.5.r0.gc121801-1 |
0 |
0.00
|
An open source video player built with Qt/QML and libmpv |
eyenpi
|
2022-01-15 14:03 (UTC) |
|
cura-5-beta-bin
|
5.7.0-2 |
0 |
0.00
|
Cura is an open source slicing application for 3D printers (include betaversion) |
michael.gruz
|
2024-04-05 19:58 (UTC) |
|
cubytext-bin
|
0.0.4-3 |
0 |
0.00
|
An open-source knowledge management app. |
zxp19821005
|
2024-03-18 22:40 (UTC) |
|
csky-cpu-wujian100-open
|
1.0.0-1 |
0 |
0.00
|
C-Sky CPU wujian100 open (ALL). IC design and development should be faster，simpler and more reliable. |
taotieren
|
2021-07-29 08:23 (UTC) |
|
csky-cpu-wujian100-open-doc
|
1.0.0-1 |
0 |
0.00
|
C-Sky CPU wujian100 open doc. IC design and development should be faster，simpler and more reliable. |
taotieren
|
2021-07-29 08:23 (UTC) |
|
csky-cpu-wujian100-open-fpga
|
1.0.0-1 |
0 |
0.00
|
C-Sky CPU wujian100 open FPGA. IC design and development should be faster，simpler and more reliable. |
taotieren
|
2021-07-29 08:23 (UTC) |
|
csky-cpu-wujian100-open-sdk
|
1.0.0-1 |
0 |
0.00
|
C-Sky CPU wujian100 open SDK. IC design and development should be faster，simpler and more reliable. |
taotieren
|
2021-07-29 08:23 (UTC) |
|
csky-cpu-wujian100-open-soc
|
1.0.0-1 |
0 |
0.00
|
C-Sky CPU wujian100 open SoC. IC design and development should be faster，simpler and more reliable. |
taotieren
|
2021-07-29 08:23 (UTC) |
|
csky-cpu-wujian100-open-test
|
1.0.0-1 |
0 |
0.00
|
C-Sky CPU wujian100 open test bench. IC design and development should be faster，simpler and more reliable. |
taotieren
|
2021-07-29 08:23 (UTC) |
|
csky-cpu-wujian100-open-simulation
|
1.0.0-1 |
0 |
0.00
|
C-Sky CPU wujian100 open simulation. IC design and development should be faster，simpler and more reliable. |
taotieren
|
2021-07-29 08:23 (UTC) |
|
cryptonose
|
2.23.1-1 |
0 |
0.00
|
A free and open source desktop application that keeps track of significant price changes within small time periods (5 minutes, 30 minutes) on cryptocurrency markets |
dawidmt
|
2022-01-13 14:16 (UTC) |
|
criticality_score-git
|
2.0.3.r6.g27833b0-1 |
0 |
0.00
|
Gives criticality score for an open source project |
Chocobo1
|
2024-03-18 08:58 (UTC) |
|
criticality_score-bin
|
2.0.4-1 |
0 |
0.00
|
Gives criticality score for an open source project |
Chocobo1
|
2024-04-30 04:45 (UTC) |
|
criticality_score
|
2.0.4-1 |
0 |
0.00
|
Gives criticality score for an open source project |
Chocobo1
|
2024-04-30 04:45 (UTC) |
|
crfpp-git
|
1.0-1 |
0 |
0.00
|
CRF++ is a simple, customizable, and open source implementation of Conditional Random Fields (CRFs) for segmenting/labeling sequential data. |
MarsSeed
|
2022-03-30 13:38 (UTC) |
|
craze
|
0.1.4-5 |
0 |
0.00
|
Access all the developer tools you need, free and open source, on any platform! |
zxp19821005
|
2024-03-15 07:31 (UTC) |
|
coredns-openrc
|
20230319-1 |
0 |
0.00
|
A DNS server that chains plugins - OpenRC init script |
alexcoder04
|
2023-03-19 11:39 (UTC) |
|
core-git
|
r2075.177f2737-1 |
0 |
0.00
|
Common Open Research Emulator |
orphan
|
2020-02-26 19:36 (UTC) |
|
coova-chilli-git
|
1.3.0-1 |
0 |
0.00
|
an open-source software access controller |
Sadam
|
2024-01-12 21:42 (UTC) |
|
coolprop-git
|
6.4.2dev-2 |
0 |
0.00
|
CoolProp shared library and headers; the open-source thermodynamic and transport properties database |
mantielero
|
2022-11-30 20:37 (UTC) |
|
control-toolbox
|
3.0.2-1 |
0 |
0.00
|
The Control Toolbox - An Open-Source C++ Library for Robotics, Optimal and Model Predictive Control |
acxz
|
2020-03-17 07:17 (UTC) |
|
contiki
|
1:3.1-2 |
0 |
0.00
|
Contiki, the open source OS for the Internet of Things |
michaelkuc6
|
2021-01-21 11:49 (UTC) |
|
connectd
|
2.2.5-1 |
0 |
0.00
|
Core remote.it connectivity tool for remotely connecting to any device without exposing open ports to hackers. |
orphan
|
2019-02-26 18:37 (UTC) |
|
conn-opener-go-git
|
1.0.0.r0.g42ca2f6-1 |
0 |
0.00
|
Open and maintain the specified number of connections to a network endpoint |
database64128
|
2022-11-26 04:46 (UTC) |
|
conan1
|
1.63.0-1 |
0 |
0.00
|
A distributed, open source, C/C++ package manager. Version 1, to help people transition to version 2 |
carlosala
|
2024-02-21 16:05 (UTC) |
|
comtrol-lcom
|
1.06-1 |
0 |
0.00
|
open multiple serial ports or TCP/IP connections and exercise them in different ways |
severach
|
2017-08-14 01:12 (UTC) |
|
commix
|
3.4-1 |
0 |
0.00
|
Commix (short for [comm]and [i]njection e[x]ploiter) is an open source penetration testing tool that automates the detection and exploitation of command injection vulnerabilities. |
ellcs
|
2022-04-23 22:34 (UTC) |
|
comet-ms-bin
|
2024.01.0-3 |
0 |
0.00
|
Comet: an open source tandem mass spectrometry (MS/MS) sequence database search tool |
levitsky
|
2024-05-08 21:35 (UTC) |
|
codecserver-softmbe-git
|
r6.66397fc-1 |
0 |
0.00
|
Software MBE decoder for codecserver / digiham / openwebrx |
SteamedFish
|
2024-04-15 05:59 (UTC) |
|
codecserver-mbelib-module-git
|
r7.dae3eb4-1 |
0 |
0.00
|
Software MBE decoder for codecserver / digiham / openwebrx |
SteamedFish
|
2024-04-15 05:58 (UTC) |
|
codec2-lpcnet
|
1:1.2.0-1 |
0 |
0.00
|
Open source speech codec designed for communications quality speech between 450 and 3200 bit/s with support for LPCNet |
ra1nb0w
|
2023-07-26 07:24 (UTC) |
|
clspv-git
|
r396.88ed5fe-2 |
0 |
0.00
|
A prototype compiler for a subset of OpenCL C to Vulkan compute shaders |
henry0w
|
2020-05-16 20:45 (UTC) |
|
cloud-hypervisor-git
|
31.0.r1.g90dcbc323-1 |
0 |
0.00
|
An open source Virtual Machine Monitor (VMM) that runs on top of KVM |
Chocobo1
|
2023-04-10 14:42 (UTC) |
|
clogs
|
1.5.0-1 |
0 |
0.00
|
C++ library for sorting and searching in OpenCL applications |
lubosz
|
2015-07-30 14:10 (UTC) |
|
clickhouse-lts
|
24.3.2.23-1 |
0 |
0.00
|
An open-source column-oriented database management system that allows generating analytical data reports in real time. LTS version |
Felixoid
|
2024-04-10 11:37 (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) |
|
classic-delta
|
2.25g-0 |
0 |
0.00
|
An Open Source System for Processing Taxonomic Descriptions https://doi.org/10.2307/1219595 |
malacology
|
2022-11-29 15:54 (UTC) |
|
cito-git
|
3.1.2+50.r2508.20240323.0490a98-1 |
0 |
0.00
|
The Ć Programming Language. A programming language which can be translated automatically to C, C++, C#, D, Java, JavaScript, Python, Swift, TypeScript and OpenCL C. |
dreieck
|
2024-03-24 20:00 (UTC) |
|
cipher-git
|
r91.c060d89-2 |
0 |
0.00
|
Cipher is a free and open souce text encoding and decoding app specially designed for Pantheon Shell. The Cipher app can currently encode and decode between six different ciphers. |
btd1337
|
2019-09-25 20:44 (UTC) |
|
cider-polybar-bin
|
1.2.0-1 |
0 |
0.00
|
A PolyBar custom script to interact with Cider - An open-source, community-oriented Apple Music |
Nixuge
|
2023-01-19 19:42 (UTC) |
|
cider-polybar
|
1.2.0-1 |
0 |
0.00
|
A PolyBar custom script to interact with Cider - An open-source, community-oriented Apple Music |
Nixuge
|
2023-08-18 23:52 (UTC) |
|
chronoengine-git
|
6.0.0.r2217.g866c9980b-1 |
0 |
0.00
|
An Open Source Multi-physics Simulation Engine |
bartus
|
2022-11-03 14:33 (UTC) |
|
chordnova-git
|
3.0.2021.r13.ga858152-2 |
0 |
0.00
|
ChordNova is a powerful open-source chord progression analysis plus generation software for multiple operating systems. |
taotieren
|
2024-01-23 12:04 (UTC) |
|
chicken-openssl
|
2.2.5-1 |
0 |
0.00
|
Bindings to the OpenSSL SSL/TLS library for Chicken Scheme |
Junker
|
2024-01-02 15:20 (UTC) |
|
chess.app
|
2.8-1 |
0 |
0.00
|
Chess for GNUstep ported from OPENSTEP |
Beebo
|
2019-04-09 20:14 (UTC) |
|
cheerp-bin
|
3.0-1 |
0 |
0.00
|
Cheerp is an open-source, permissively licensed, enterprise-grade C/C++ compiler for Web applications |
Curve
|
2023-05-28 13:22 (UTC) |
|
chatbot-ui-legacy-git
|
r238.6bdbf1c-1 |
0 |
0.00
|
An open source ChatGPT UI. (legacy version) |
MikeWalrus
|
2024-01-16 09:59 (UTC) |
|
chatbot-ui-git
|
r293.2e6c0ee-5 |
0 |
0.00
|
An open source ChatGPT UI. |
orphan
|
2023-12-13 13:00 (UTC) |