欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
未使用分类
虽然没有被其它页面或者分类所采用,但列表中的分类页依然存在。
下面显示从第1条结果开始的20条结果。
查看(前20个 | 后20个)(20 | 50 | 100 | 250 | 500)
- AI
- Apache Cassandra
- Apache Maven
- Archive formats
- Browser Game
- C
- Class-based programming languages
- Collaborative Software
- Curly bracket programming languages
- DELL
- Data Visualization
- Desktop Environment
- DevOpsGrils
- Dynamically-typed programming languages
- File System
- Formal verification
- Free software projects
- Free wiki software
- Gitlab
- Huihoo Products
分享您的观点