欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
未归类分类
下面显示从第431条结果开始的50条结果。
查看(前50个 | 后50个)(20 | 50 | 100 | 250 | 500)
- 分类:JavaScript engine
- 分类:Javaee
- 分类:Javase
- 分类:Jenkins
- 分类:Jetty
- 分类:Jini
- 分类:Jitsi
- 分类:Joomla
- 分类:Julia
- 分类:Juniper
- 分类:Jupyter
- 分类:KDE
- 分类:KNIME
- 分类:KVM
- 分类:Kafka
- 分类:Kanban
- 分类:Keras
- 分类:Kerberos
- 分类:Keycloak
- 分类:Khronos
- 分类:Knoppix
- 分类:Kotlin
- 分类:Kubernetes
- 分类:LAMP
- 分类:LDAP
- 分类:LINQ
- 分类:LLVM
- 分类:LMS
- 分类:Lambda
- 分类:Language-specific Linux distributions
- 分类:Lean
- 分类:LibreOffice
- 分类:Licenses
- 分类:Life
- 分类:Liferay
- 分类:Lighttpd
- 分类:LineageOS
- 分类:LinkedIn
- 分类:Linode library
- 分类:Linux
- 分类:Linux Foundation
- 分类:Lisp
- 分类:Litecoin
- 分类:LiveCD
- 分类:LiveScript
- 分类:Load balancing
- 分类:Logging
- 分类:Lua
- 分类:M3
- 分类:MATLAB
分享您的观点