电鸭    10人浏览/9人投稿    138天前    待托管赏金

我们现在在做使用Lean形式化证明IMO题目，目前情况是我们实现了大部分框架的证明，但技术细节处理耗费了太多时间，所以想找个小伙伴一起做，绝对真诚，欢迎联系，希望对mathlib熟悉，环境我这边可以提供，题量很大，可以做一段时间

电鸭    26人浏览/8人投稿    138天前    待托管赏金

武汉优家生活 招募c++/phtyon小伙伴一名，可选择性坐班 工作内容： 利用现有AI平台，开发一个商品介绍桌面软件，并且形成语音输出，用户无人直播使用； 多少钱 在武汉，全职还是兼职，待遇情况？ 请问一下是可以全程远程吗？还是项目期间一周必须安排几天到线下对接？

电鸭    15人浏览/10人投稿    138天前    待托管赏金

描述：页面不多，照搬已完成的国内小程序，接口都已经开发完毕。 工作周期：时间比较紧，到月底 8 月 31 号前需要上架 要求： 1.根据需求完成 ios 和 android 应用程序开发，调试，维护及适配 2.3 年以上开发经验，熟悉海外谷歌上架和 appstore 3.有过在海外上架的项目 4.能够独立解决技术问题，保证应用的稳定性和性能 工作模式：外包，需要每天都出结果 联系方式：MTE1MTkwNzYyMUBxcS5jb20= （简单介绍下自己，并最好携带下自己的作品，顺利的话可以长期合作）

实现网    9人浏览/2人投稿    138天前    待托管赏金

用户可以通过自然语言输入复杂问题或多维需求，而搜索引擎则会根据语境、个性化偏好以及语义关系进行精准匹配和推荐。基于RAG（检索增强生成）搭建本地搜索系统，参考Google Cloud的Agent Builder方案； 使用向量数据库（如ChromaDB）+ BGE-M3嵌入模型，实现语义搜索。

YesPMP    41人浏览/2人投稿    138天前    待托管赏金

嵌入式硬件自动测试工装项目，具体内容如下，工期7-10天左右，费用大概5K吧，可以谈。有经验的服务商可报价沟通详情。

软件项目交易网    34人浏览/0人投稿    138天前    待托管赏金

已有仪表电路板上芯片程序开发改进，或硬件开发，上位机软件开发。北京的

智城外包网    50人浏览/6人投稿    138天前    待托管赏金

一个用于特定行业的多商家商城的微信小程序应用，大概需求如下: 1. 商家注册入驻，审核后，可发布服务或商品信息；商家分为三类，免费（普通商铺），保证金（商品优先展示），充值（优先匹配需求用户），申请提现等。 2．用户注册浏览，根据需求，选择合适的服务...

我爱方案网    9人浏览/4人投稿    138天前    待托管赏金

操作系统：Linux或armbian 主控：AK3760D（或同类型同价格成熟方案） 400MHz以上 闪存/内存：32MB/128MB 供电方式：5V/1A,microUSB 通讯协议： TCP/IP、WiFi 作为网关使用；成本要低 服务商最好是深圳的，交期要2个月内。

YesPMP    13人浏览/7人投稿    138天前    待托管赏金

求购多语言交易所,支持区块链,,质押,股票,源码 1.前后端源码完整,接口调用 支付等功能完善 2.提供完整部署文档 求购多语言交易所,支持区块链,,质押,股票,源码 1.前后端源码完整,接口调用 支付等功能完善 2.提供完整部署文档 求购多语言交易所,支持区块链,,质押,股票,源码 1.前后端源码完整,接口调用 支付等功能完善 2.提供完整部署文档

YesPMP    45人浏览/0人投稿    138天前    待托管赏金

线上商城+后台WMS+TMS系统的源码购买不，轮胎行业，仓库管理，java源码，有的竞标沟通。