欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
灰狐咨询
来自开放百科 - 灰狐
灰狐咨询
目录 |
简介
咨询范围
- 开放的企业文化、打造开放式组织,企业开源、开放战略咨询;
- IT基础设施架构、基础设施自动化、PaaS、DevOps、CI/CD;
- PostgreSQL开源数据库替代Oracle、SQL Server商业数据库;
- 数据科学、大数据、人工智能;
- 项目管理、研发管理;
- 开源软件企业内训,值得关注的开源软件推荐;
- 开源电商ERP/CRM/SCM/HR企业应用;
- 编译器、虚拟机、编程语言设计、Racket;
- 我们通过M3、E3、D3三个项目(简称MED)提供增长营销、企业应用、数据科学开源软件解决方案;
- 企业技术顾问。
咨询师
案例
文档
图集
链接
分享您的观点