欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
重定向页列表
下面显示从第1条结果开始的250条结果。
查看(前250个 | 后250个)(20 | 50 | 100 | 250 | 500)
- .NET Framework → .NET
- 01tongxin → Blogs/01tongxin
- 31 free web mobile ui element kits and stencils for designers → Free web mobile ui element kits and stencils for designers
- ACE/TAO-Translate → ACE/TAO Translation
- ADAPTIVE Communication Environment → ACE
- ADempiere → Adempiere
- AI → Artificial intelligence
- AIX → IBM AIX
- AJAX → Ajax
- APICS → APICS The Association for Operations Management
- ARM architecture → ARM
- ARP → Address Resolution Protocol
- ASPSeek → Aspseek
- AWS Identity and Access Management → AWS IAM
- ActiveMQ → Apache ActiveMQ
- ActiveWeb → OpenWeb
- Adaptive Communication Environment → ACE
- Adobe Flex → Flex
- Advanced Maryland Automatic Network Disk Archiver → AMANDA
- Advanced Message Queuing Protocol → AMQP
- Aeolus (software) → Aeolus
- Agile Manufacturing → Agile manufacturing
- Agile Software Development → Agile Web Development
- Agile Web Development → Agile software development
- Ajax (programming) → Ajax
- Alfresco (software) → Alfresco
- Alien Arena → CodeRED: Alien Arena
- Allen Long → 用户:Allen Long
- Allen bodybuilding plan 2014 → Allen bodybuilding plan
- Alpha → DEC Alpha
- Amaya (web browser) → Amaya
- Amazon Dynamo → Dynamo (storage system)
- Amazon Elastic Compute Cloud → Amazon EC2
- Amazon Elastic MapReduce → Amazon EMR
- Amazon FPS → Amazon Flexible Payments Service
- Amazon Fulfillment Web Service → Amazon FWS
- Amazon SQS → Amazon Simple Queue Service
- Amazon Simple Storage Service → Amazon S3
- Anaconda (installer) → Anaconda
- Android (operating system) → Android
- AngularJS → Angular
- Another Python SQLite Wrapper → APSW
- Apache::ASP → Active Server Pages
- Apache::PageKit → PageKit
- Apache Directory Server → Apache Directory
- Apache OFBiz/hr → Apache OFBiz/human resources
- Apache OFBiz/pos → Apache OFBiz/point of sale
- Apache OFBiz/scm → Apache OFBiz/supply chain management
- Apache OFBiz/solution → Apache ofbiz solutions
- Apache WSRP-4J → Apache WSRP4J
- Apache ofbiz medical system → Apache ofbiz health management
- Apache ofbiz solutions → E3 ofbiz
- Apatar Data Integration/ETL → Apatar
- Appia → Appia framework
- Apple Inc. → Apple
- Apricot → Yo Frankie!
- Aranea → Aranea framework
- Ares → Ares Galaxy
- Arora (browser) → Arora
- Asterisk (PBX) → Asterisk
- Atlassian JIRA → JIRA
- Aurora → Auroramixer
- Autonomous car → Self-driving car
- Awk → AWK
- Azure Services Platform → Windows Azure
- Azureus → Vuze
- BASIC programming language → BASIC
- BDB → Berkeley DB
- BEA → BEA Systems
- BEA JRockit → JRockit
- BT → BitTorrent
- BackTrack → Kali Linux
- Bash (Unix shell) → Bash
- Bazaar (software) → Bazaar
- Beowulf (computing) → Beowulf
- Beowulf Cluster → Beowulf (computing)
- BerkeleyDB → BDB
- Berkeley Software Distribution → BSD
- Bespin → Mozilla Skywriter
- Big Buck Bunny → Durian
- Big Sister (software) → Big Sister
- Blender (software) → Blender
- Blender Architecture → Blender/developer
- Blogs/ → Blogs
- Bluefish → Bluefish (text editor)
- Boa → Boa Constructor
- Boa (web server) → Boa Webserver
- Bonita → Bonita BPM
- Boost C++ Libraries → Boost
- Bricolage (software) → Bricolage
- Browser Game → Browser game
- BuildBot → Buildbot
- Business Intelligence → Business intelligence
- Business Process Execution Language → BPEL
- Business Process Management → BPM
- Business process management → BPM
- C → C programming language
- C++0x → C++11
- CDN → Content Delievery Network
- CDS Invenio → Invenio
- CGI → Common Gateway Interface
- CMS → CMS Portal
- CMS Portal → CMS and Portal
- CPP → CPlusPlus
- CPlusPlus → C++
- C Plus Plus → CPP
- Cacti (software) → Cacti
- Cairngorm (Flex framework) → Cairngorm
- Cassandra → Apache Cassandra
- CeltiXfire → Apache CXF
- CentAS1 → CentAS
- CentERP → OpenERP
- Cheetah → CheetahTemplate
- Cherokee (Webserver) → Cherokee
- Chromium (web browser) → Chromium
- Chubby Distributed Lock Service → Distributed lock manager
- Chukwa → Apache Chukwa
- Cisco Systems → Cisco
- Citadel (software) → Citadel
- Clam AntiVirus → ClamAV
- Click → Apache Click
- CloudStack → Apache CloudStack
- Cloud Computing → Cloud computing
- Cloud Computing/security → Cloud computing/security
- Cocia Lin → 用户:Cocia Lin
- Cocoa (API) → Cocoa
- Cocos2d-x-javascript → Phoneex-cocos2d-x
- Code Aurora Forum → Code Aurora
- Code Igniter → CodeIgniter
- Collaborative Development Dnvironment → Collaborative development environment
- Comet (programming) → Comet
- Compass Project → Compass
- Complex instruction set computing → CISC
- Computer-aided design → CAD
- Computer cluster → Cluster
- Computer security → Security
- Cons → CONS
- Content Delievery Network → Content delivery network
- Continuous Delivery → Continuous delivery
- Continuous Integration → Continuous integration
- Coppermine → Coppermine Photo Gallery
- Cosmos (operating system) → Cosmos
- Cream → Cream (software)
- Customer Relationship Management → CRM
- DAML → DARPA Agent Markup Language
- DB2 → IBM DB2
- DBMail → DBMail IMAP and POP3 server
- DCPlusPlus → DC++
- DDS → Data Distribution Service
- DMLC → MXNet
- DWR (Java) → DWR
- Daisy (software) → Daisy
- Dalvik (software) → Dalvik
- Dalvik Virtual Machine → Dalvik
- Darkstar → Project Darkstar
- Darwin (operating system) → Darwin
- Data Center → Data center
- Data Mining → Data mining
- Data Warehouse → Data warehouse
- Data Warehouses → Data Warehouse
- Dbpedia.org → Dbpedia
- Debian Install OpenOffice2 → Install OpenOffice On Debian
- Deep learning on HDP → Machine learning on Hadoop
- Dell PowerEdge 2850 → Dell PowerEdge
- Democracy → Miro (software)
- Derby → Apache Derby
- Dev-CPP → Dev-C++
- Dev-CPlus → Dev-CPlusPlus
- Dev-CPlusPlus → Dev-CPP
- Dia (software) → Dia
- Distributed Object Computing → Distributed object
- Distributed Shared Memory → Distributed shared memory
- Dj i robot → DJ I Robot
- Django web framework → Django
- Doctrine Project → Doctrine
- Dojo → Dojo Toolkit
- Domain-specific language → DSL
- Donate to huihoo → 赞助灰狐
- DotNetNuke → DNN
- Download → File Sharing
- DragonflyBSD → DragonFlyBSD
- Drizzle (database server) → Drizzle
- Druid.io → Apache Druid
- Dubbo → Apache Dubbo
- Dynamic Host Configuration Protocol → DHCP
- Dynamo (storage system) → Dynamo
- Dyne:bolic → Dyne:bolic GNU/Linux
- E-Commerce → E-commerce
- E-Learning → E-learning
- E3.NET → E3
- E3 BPM → E3 BPM & ODM
- E3 HRMS → E3 HR
- E3 app → E3 mobile
- E3 blockchain → Huihoo blockchain
- E3 chat → Odoo chat
- E3 language → E language
- E3 shop → E3 eCommerce
- E3 weixin → Odoo weixin
- EMule Morph → MorphXT
- ESB功能 → ESB Functions
- EXo → EXo Platform
- EXo platform → EXo
- EZ publish → EZ Publish
- E cigarettes review → E cigs review
- EasyEclipse-for-Python-1.2.1.3 → EasyEclipse for Python
- Echo (framework) → Echo
- Eclipse (software) → Eclipse
- Eclipse Mylyn → Mylyn
- Eclipse PHP Development Tools → PHP Development Tools
- Eclipse Rich Client Platform → Eclipse RCP
- ElasticSearch → Elasticsearch
- Electron framework → Electron
- Elixir programming language → Elixir
- Emacs → GNU Emacs
- Emqttd → EMQ
- Enlightenment (window manager) → Enlightenment
- Enterprise Application Integration → Enterprise application integration
- Enterprise Content Management → Enterprise content management
- Enterprise Management → IT Management
- Enterprise Resource Planning → ERP
- Enterprise SOA → SAP Enterprise Services Architecture
- Enterprise Service Bus → ESB
- Enterprise Services Architecture → SAP ESA
- Enterprise application integration → EAI
- Enterprise content management → ECM
- Enterprise resource planning → ERP
- Enterprise service bus → ESB
- Epic Games → Unreal Engine
- Equinox → Equinox (OSGi)
- Equinox (OSGi) → Eclipse Equinox
- Eric → Eric Python IDE
- Erlang programming language → Erlang
- Ernest Yan → 用户:Ernest Yan
- Errorter → 用户:Errorter
- Eucalyptus (computing) → Eucalyptus
- Event-Driven Architecture → Event Driven Architecture
- Event-driven architecture → EDA
- Event Driven Architecture → EDA
- Extensible Messaging and Presence Protocol → XMPP
- Extract, transform, load → ETL
- FOX Toolkit → Fox toolkit
- FTP → File Transfer Protocol
- FUSE (Certified Open Source SOA Solution) → FUSE
- Facebook Open Platform → Facebook Platform
- Falcon (storage engine) → Falcon
- Falcon Storage Engine → Falcon (storage engine)
- Federated Open Plarform → Federated Open Platform
- Fedora (operating system) → Fedora
- Fedora Core → Fedora (operating system)
- Fennec → Firefox for mobile
分享您的观点