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

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

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

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

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

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

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

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

YesPMP    44人浏览/2人投稿    168天前    待托管赏金

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

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

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

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

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

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

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

YesPMP    16人浏览/7人投稿    168天前    待托管赏金

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

YesPMP    60人浏览/8人投稿    168天前    待托管赏金

求购海外电子游戏源码 1.前后端源码 可以php vue Java u3d等 2.提供完整的部署教程 3.可以增加游戏,语种 支持app h5 pc端 求购海外电子游戏源码 1.前后端源码 可以php vue Java u3d等 2.提供完整的部署教程 3.可以增加游戏,语种 支持app h5 pc端 求购海外电子游戏源码 1.前后端源码 可以php vue Java u3d等 2.提供完整的部署教程 3.可以增加游戏,语种 支持app h5 pc端