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

职位描述：我们现在在做使用Lean形式化证明IMO题目，目前情况是我们实现了大部分框架的证明，但技术细节处理耗费了太多时间，所以想找个小伙伴一起做 岗位要求:熟悉Lean4语言，可以很好的使用mathlib解决问题，可以远程情况下高效解决问题 业务产品:IMO题目的lean形式化证明 薪资范围:技术细节实现单题目600 根据实现难度可浮动，题量很大，长期合作 公司介绍：太和软件开发工作室 面试方式:微信沟通 欢迎大家，我们现在在做使用Lean形式化证明IMO题目，目前情况是我们实现了大部分框架的证明，但技术细节处理耗费了太多时间，所以想找个小伙伴一起做，绝对真诚，欢迎联系，希望对mathlib熟悉，环境我这边可以提供，欢迎沟通

开源众包    47人浏览/10人投稿    345天前    待托管赏金

启动openvpn失败内核已经配置TUN和KVM，但最终dev驱动还是没有加载到/dev/net/tunCONFIG TUN=YCONFIG HAVE KVM=Y

开源众包    64人浏览/10人投稿    344天前    待托管赏金

需要有該技術背景的人諮詢相關建議。並且做 feasibility 的研究。只要能驗證方法可行即可結案，無需做到完整產品。

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

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

猿急送    21人浏览/10人投稿    343天前    待托管赏金

改一改WordPress搭建的会议通知网https://www.colips.org/conferences/clsw2025/web/zh

开源众包    73人浏览/10人投稿    343天前    待托管赏金

基于云深处lite3激光版机器狗，需要其实现建图、自主避障及单点导航，并可通过网线接收外部主机的命令及上报运行状态，以及部署网页或上位机的开发。

猿急送    78人浏览/10人投稿    343天前    待托管赏金

开发一款功能稳定、安全可靠的软件，能够穿越平台的验证码验证机制，实现无需人工手动输入验证码即可自动抢购门票及纪念钞，且能够支持长期稳定运行，满足我方长期合作的业务需求。 技术要求 稳定性：软件需具备高度的稳定性，在长时间运行过程中，不应出现频繁崩溃、卡顿等现象。即使在面对平台更新、网络波动等外部因素干扰时，也应能快速恢复正常运行，保障抢购任务的持续进行。 安全性：确保外挂的开发与运行符合相关法律法规要求，不得侵犯平台的合法权益。同时，要保障用户账号信息的安全，采用加密存储、安全传输等技术手段，防止账号密码等敏感信息泄露，避免给用户带来不必要的损失。 兼容性：外挂应兼容主流的操作系统

匠迹众包    50人浏览/10人投稿    342天前    待托管赏金

Adnroid工具类手机App开发，要求低:1.工具类手机APP 例如:图画，壁纸等2.APP页面最少三个3.权限用户协议 隐私协议第一次打开需要声明4.权限必须动态申请 5.冗余权限不能加，不能索要6.(我的)-页面必须有反馈功能，不需要真正向服务7.(我的)-页面需有用户协议

实现网    17人浏览/10人投稿    139天前    待托管赏金

需求描述： 小程序开发项目，已有 UI 草图和产品需求文档，准备开发1.0版本，目标开发周期约 4 周。 项目重点包括匿名发帖，匿名评论，后台管理等核心功能，希望找一个靠谱的个人或小团队合作。 人才要求： 5个以上微信小程序完整项目经验，熟练使用Node·js + MongoDB，熟悉微信云开发，内容审核，Openid管理。

猿急送    39人浏览/10人投稿    339天前    待托管赏金

会UI设计就可以，要求模版清楚，功能齐全，使用方便快捷，打造一个接单系统UI界面，需要激活，打包。。。。。。。。。。。。