欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
重定向页列表
下面显示从第251条结果开始的500条结果。
查看（前500个 | 后500个）（20 | 50 | 100 | 250 | 500）
- File Sharing → File sharing
- File System → File system
- Firebird (database server) → Firebird
- Firebird database server → Firebird
- Firefox/security → Mozilla/security
- Firefox 5 → Firefox/5
- Firefox Mobile → Firefox/mobile
- Firefox for mobile → Firefox Mobile
- Firewall (computing) → Firewall
- FishCAT → Fishcat
- FishEye (software) → FishEye
- Flex → Apache Flex
- Flock (web browser) → Flock
- FlowPlayer → Flowplayer
- Flume → Apache Flume
- Frameworks → Framework
- FreeMarker → Apache FreeMarker
- FreeMind → Freeplane
- FreeSwitch → FreeSWITCH
- Freebase (database) → Freebase
- Frog Python-based Blog → Frog
- Frog Python Blog → Frog Python-based Blog
- GAAP → Generally Accepted Accounting Principles
- GIS → Geographic information system
- GNU/Fiwix → Fiwix
- GNU Automake → Automake
- GNU Bison → GNU bison
- GNU Compiler Collection → GCC
- GNU Mailman → Mailman
- GNU Wget → Wget
- GNU project → Free Software Foundation
- GNewSense GNU/Linux → GNewSense
- GOS → GOS (operating system)
- GTK+ → GTK
- Gaim → Pidgin
- Ganglia (software) → Ganglia
- Gazelle (web browser) → Gazelle
- Gazelle Web Browser → Gazelle (web browser)
- Gecko (layout engine) → Gecko
- General Parallel File System → IBM General Parallel File System
- Genshi (templating language) → Genshi
- Gentoo → Gentoo Linux
- Geographic Information System → GIS
- Geotools → GeoTools
- Geronimo → Apache Geronimo
- Git (software) → Git
- Gitlab → GitLab
- GlassFish Metro → Metro
- Glassfish → GlassFish
- Google Accounts → Google account
- Google Android → Android
- Google CPlusPlus Testing Framework → GoogleTest
- Google Checkout API → Google Checkout
- Google Chrome → Chrome
- Google Cluster → Google platform
- Google Cluster Architecture → Google Cluster
- Google Polymer → Polymer
- Google Wave → Apache Wave
- Google account → Google Account
- Gopher → Gopher (protocol)
- Grails (framework) → Grails
- Granite data services → Granite Data Services
- Greenstone (software) → Greenstone
- Gremlin → Apache TinkerPop
- Grid → Grid Computing
- Grid Computing → Grid computing
- Grizzly Connector → Grizzly
- Grok → Grok (web framework)
- Groovy (programming language) → Groovy
- Groupware → Collaborative software
- Grpc → GRPC
- H2 (DBMS) → H2
- H2 Database Engine → H2 (DBMS)
- HBase → Apache HBase
- HEAS → Huihoo Enterprise Application Suite
- HEDS → Huihoo Enterprise Database Suite
- HEMS → Huihoo Enterprise Middleware Suite
- HESS → Huihoo Enterprise SOA Suite
- HETS → Huihoo Enterprise Tool Suite
- HP Servers → HP Integrity Servers
- HP Virtual Server Environment → HP Integrity Virtual Machines
- HTML5/websockets → WebSocket
- HTML5/workers → Web worker
- HTML 5 → HTML5
- HaXe → Haxe
- Hadoop → Apache Hadoop
- Hadoop Distributed File System → HDFS
- Haskell (programming language) → Haskell
- Haskell IDE Foundation → Haskell Desktop Foundation
- Hessian (web service protocol) → Hessian
- Hessian Web Services → Hessian
- Hibernate (Java) → Hibernate
- High-frequency trading → 高频交易
- High-performance computing → HPC
- High Performance Computing → HPC
- HipHop → HipHop for PHP
- HipHop VM for PHP → HipHop for PHP
- HipHop for PHP → HHVM
- Horde (software) → Horde
- Html5/alt-techniques → HMTL5/alt-techniques
- HttpClient → HttpComponents
- Hudson (software) → Hudson
- Huigou game → 灰狗游戏
- Huihoo-ACE-TAO → Huihoo ACE-TAO
- Huihoo.NET → Huihoo Cloud
- Huihoo 10th Birthday Friends → Huihoo 10th Birthday Party Friends
- Huihoo 10th Birthday Party Friends → Huihoo 10th Birthday Party
- Huihoo ACE-TAO → Huihoo ACE/TAO
- Huihoo ACE/TAO → EasyACE
- Huihoo Ad Service → 灰狐推广
- Huihoo Art → Huihoo design
- Huihoo Centos Team → Huihoo CentOS Team
- Huihoo Chinese Plan → 灰狐翻译
- Huihoo Debian Desktop Linux → Huihoo Debian Desktop
- Huihoo Debian Embedded Linux → Huihoo Debian Mobile Linux
- Huihoo Debian Enterprise Application Guide → Huihoo Enterprise Debian Guide
- Huihoo Debian Enterprise Linux → Huihoo Debian Enterprise
- Huihoo Debian Mobile Linux → Huihoo Debian Mobile
- Huihoo Edu → 灰狐教育
- Huihoo Enterprise Application Suite → CentApps
- Huihoo Enterprise Database Suite → CentDB
- Huihoo Enterprise Debian Guide → Huihoo Debian Enterprise Guide
- Huihoo Enterprise Middleware Suite → CentAS
- Huihoo Firefox → Huihoo Firefox Extension
- Huihoo Firefox Extension → Huihoo Firefox Extensions
- Huihoo Geronimo Packages → Huihoo Geronimo Applications
- Huihoo Green Computing → Green Computing
- Huihoo JFox Applications → JFox Applications
- Huihoo Mobile Team → 灰狐移动
- Huihoo Open Class → Huihoo Edu
- Huihoo Open Cloud → Huihoo Enterprise Cloud
- Huihoo Open Source Forge → Open Enterprise Foundation Forge
- Huihoo PHP Packages → Huihoo PHP Applications
- Huihoo Python Packages → Huihoo Python Applications
- Huihoo Ruby Packages → Huihoo Ruby Applications
- Huihoo Snippets Services → Huihoo Code Services
- Huihoo Translation → Huihoo Translation Team
- Huihoo Translation Plan → Huihoo Translation
- Huihoo Translation Team → Huihoo Chinese Plan
- Huihoo Wiki Services → Open Source Wiki
- Huihoo agile lean kanban devops services → 灰狐研发管理
- Huihoo blockchain → Huihoo Network
- Huihoo browser → 灰狐浏览器
- Huihoo centos team → Huihoo Centos Team
- Huihoo design → 灰狐设计
- Huihoo open class → Huihoo Open Class
- Hyperic MAMS → Mobile Agent based Monitoring System
- Hypertext Transfer Protocol → HTTP
- I386 → X86
- IA-64 → Itanium
- IA-64-HP → IA-64 and HP Server
- IBATIS → Apache iBATIS
- IDE-X → IDEX
- INN → InterNetNews
- IONA FUSE → FUSE
- IT Management → IT management
- Impala → Apache Impala
- Indexed Database → Indexed Database API
- Information technology management → IT Management
- Ingres (database) → Ingres
- Install Apache On Debian → Install Apache2 On Debian
- Install Ruby Rails Lighttpd MySQL on Ubuntu and FreeBSD → Install Ruby Rails Lighttpd MySQL on Ubuntu or FreeBSD
- Install Xen On Debian → Xen On Debian
- Integrating PHP Web Application with JOSSO → Installing JOSSO for PHP
- Internet Communications Engine → ICE
- Internet Explorer → IE
- JAIN SLEE → JSLEE
- JBPM → JBoss BPM
- JBossWeb → JBoss Web
- JBoss JBPM → JBoss jBPM
- JBoss RichFaces → RichFaces
- JBoss Web → JBoss Web Server
- JBoss jBPM → JBPM
- JCA → Java EE Connector Architecture
- JFire ERP → JFire
- JFire ERP Framework → JFire ERP
- JMS → Java Message Service
- JMeter → Apache JMeter
- JSR 168 → JSR 168: Portlet Specification
- JSR 220: Enterprise JavaBeans 3.0 → Enterprise JavaBean
- JSR 277: Java Module System → Java Module System
- JSR 94 → JSR 94: Java Rule Engine API
- JVM → Java Virtual Machine
- Jaiku → JaikuEngine
- JavaMail → Javamail
- JavaScriptMVC → JavascriptMVC
- JavaServer Faces → JSF
- Java (programming language) → Java
- Java Business Integration → JBI
- Java CAPS → Java Caps
- Java Community Process → Java Specification Requests
- Java EE → Jakarta EE
- Java Persistence API → JPA
- Java Platform, Enterprise Edition → Java EE
- Java Virtual Machine → Java virtual machine
- Jena → Apache Jena
- Jena (framework) → Jena
- Jena Semantic Web Framework → Jena (framework)
- Jersey → Eclipse Jersey
- Jetspeed 2 → Apache Jetspeed 2
- Jetty (web server) → Jetty
- Jinja (template engine) → Jinja
- Joseki (RDF server) → Joseki
- Joseki RDF Server → Joseki (RDF server)
- Kafka → Apache Kafka
- Karoshi → Karoshi (operating system)
- Kerberos (protocol) → Kerberos
- Kernel-based Virtual Machine → KVM
- Keystonejs → Keystone.js
- Kid (templating language) → Kid
- Kid Template → Kid (templating language)
- Konqueror Media Player → KMPlayer
- L4 → L4 microkernel family
- LEAF Project → LEAF
- LID → Light-Weight Identity
- Language → Programming language
- Large File Support in Linux → Large file support
- Launchpad (website) → Launchpad
- Lazarus (software) → Lazarus
- Lean Production → Lean manufacturing
- Libcloud → Apache Libcloud
- Lift (web framework) → Lift
- Link3 → Huihoo JFox Applications
- LinuxBIOS → Coreboot
- Lisp programming language → Lisp
- LogicBlaze FUSE → IONA FUSE
- Lotus → Lotus Software
- Low Level Virtual Machine → LLVM
- Lua programming language → Lua
- Lucene → Apache Lucene
- Lustre (file system) → Lustre
- Lynx (web browser) → Lynx
- M0n0wall → OPNsense
- MDA → Model-driven architecture
- MIPS architecture → MIPS
- MQ Telemetry Transport → MQTT
- MXNet → Apache MXNet
- Mac OS → Mac OS X
- Mac OS X → OS X
- Mach (kernel) → Mach
- Magnolia CMS → Magnolia
- Mantis → Mantis Bug Tracker
- Manufacturing Execution System → Manufacturing execution system
- MapGuide → MapGuide Open Source
- MapWindow → MapWindow GIS
- Marble → Marble (KDE)
- Markup Validation Service → W3C Markup Validation Service
- Mashup → Mashup (web application hybrid)
- Mcpp → MCPP
- Media → Digital Media
- Media Player Classic → MPC
- Megaco → Media Gateway Control Protocol (Megaco)
- Mep → 用户:Mep
- Mesa → Mesa 3D (OpenGL)
- Mesa 3D (OpenGL) → Mesa 3D
- Mirantis OpenStack → Mirantis
- Miro (software) → Miro
- Mobile Backend as a service → Mobile backend as a service
- Model-view-controller → MVC
- Model Driven Architecture → MDA
- Model View Controller → MVC
- Mondrian OLAP server → Mondrian
- Mongoosejs → Mongoose.js
- Mongrel (web server) → Mongrel
- Moonlight (runtime) → Moonlight
- Morpheus → Morpheus (computer program)
- Morris → 用户:Morris
- Motorola 68000 family → M68k
- MozillaSuite → Mozilla Application Suite
- Mozilla Firefox → Firefox
- Mozilla Foundation → Mozilla
- Mozilla Thunderbird → Thunderbird
- Mozilla application framework → Necko
- Mumble (software) → Mumble
- Munin (network monitoring application) → Munin
- Mutt (e-mail client) → Mutt
- MyFaces → Apache MyFaces
- MyIE2 → Maxthon
- MySQL/developer → MariaDB/developer
- NNTP → Network News Transfer Protocol
- NTP → Network Time Protocol
- Native Client → Google Native Client
- Natural Language Toolkit → NLTK
- Nessus (software) → Nessus
- NetBeans → Apache NetBeans
- NetWeaver → SAP NetWeaver
- Netbeans → NetBeans
- Network File System → Network file system
- Network file system → NFS
- Neural network → Artificial neural network
- News/s135 → Blogs/s135
- Nexenta → NexentaStor
- Nimbus (cloud computing) → Nimbus
- NotepadPlusPlus → Notepad++
- Numpy → NumPy
- Nutch → Apache Nutch
- OASIS Web Services for Remote Portlets → Web Services for Remote Portlets
- OBM → OBM Groupware
- OBrowser → Huihoo browser
- OFM → Oracle Fusion Middleware
- OIL → Ontology Inference Layer
- OMS → Openbsdonly
- OS → Operating System
- OSDL → Linux Foundation
- OS X → MacOS
- Objeck → Objeck (programming language)
- Odoo/business intelligence → Odoo BI
- Odoo/documentation → Odoo documentation
- Odoo/training → Odoo training
- Odoo HRMS → Odoo HR
- Odoo android → Odoo mobile
- Ofbiz in action → Apache ofbiz in action
- Ojuba → Ojuba Linux
- Online Learning And Training → OLAT
- OpenAdaptor → Openadaptor
- OpenAdds → OpenAds
- OpenBrowser → OBrowser
- OpenBusiness → Open Business Platform
- OpenCRM → EnterpriseCRM
- OpenCRX CRM → OpenCRX
- OpenCloud → OpenCloudStack
- OpenCms → OpenCMS
- OpenDS → OpenDJ
- OpenData → Open data
- OpenEJB → Apache OpenEJB
- OpenERP → Odoo
- OpenERP/Documentation → Odoo/documentation
- OpenERP/business intelligence → Odoo/business intelligence
- OpenERP/developer → Odoo/developer
- OpenESB → Open ESB
- OpenHQ → OpenMQ
- OpenHR → OpenHRM
- OpenHRM → E3 HRMS
- OpenHardware → Open Hardware
- OpenIDE → OpenVS
- OpenJPA → Apache OpenJPA
- OpenMQ → HMQ
- OpenManagement → OpenHQ
- OpenMeetings → Apache OpenMeetings
- OpenMessenger → Open IM
- OpenMoko → Openmoko
- OpenMovie → OpenStudio
- OpenOffice.org → OpenOffice
- OpenOffice/security → Apache OpenOffice/security
- OpenQabal → ScrewPile
- OpenSER SIP Server → Opensips
- OpenShop → E3 shop
- OpenSolaris Storage → Sun Open Storage
- OpenStack/savanna → OpenStack/sahara
- OpenSync → MyPhone
- OpenVS → IDE-X
- OpenWebMail → Open WebMail
- Open Business Applications → Open E-Business Suite
- Open Business Cloud → OpenBusiness
- Open Business Platfom → Open Business Platform
- Open Business Platform → E3.NET
- Open Colud Operating System → Open Cloud Operating System
- Open E-Business Platform → Open Business Platform
- Open E-Business Suite → Open Business Platfrom
- Open ERP → OpenERP
- Open ERP BI → OpenERP/business intelligence
- Open Game Platform → Web Game Platform
- Open Grid Services Architecture → OGSA
- Open Health → Open healthcare
- Open IM → Gougou
- Open Media Lending Database → Open Media Database
- Open Object → OpenObject
- Open Scene Graph → OpenSceneGraph
- Open Service Platform → Open Services Platform
- Open Source Cluster Application Resources → OSCAR
- Open Source Wiki → Open Wiki
- Open Web Application Security Project → OWASP
- Open source people → 开源人物
- Openbravo ERP → Openbravo
- Openmeetings → OpenMeetings
- Opensips → OpenSIPS
- Operating System → Operating system
- Oracle Application Development Framework → Oracle ADF
- Oracle Enterprise Linux → Oracle Linux
- Oracle On Demand → Oracle CRM
- Oracle TimesTen → TimesTen
- Oracle TopLink → TopLink
- Oracle WebLogic Server → WebLogic
- Outsourcing → 灰狐外包
- P7ZIP → P7zip
- PHPeclipse → PHPEclipse
- PMD (software) → PMD
- Package Management System → Package management system
- Package management system → Package manager
- Padre (software) → Padre
- Pandora → Pandora FMS
- Pascal → Pascal (programming language)
- Passportjs → Passport.js
- Peach → Big Buck Bunny
- Peachpie → PeachPie
- Peer-to-peer → P2P
- Peercast → PeerCast
- Pentaho Business Intelligence → Pentaho
- PhpAdsNew → OpenX
- Phppgadmin → PhpPgAdmin
- Pida → PIDA
- Pinax (software) → Pinax
- Piwik → Matomo
- PlaneShift (video game) → PlaneShift
- Play Framework → Play framework
- Portal → Enterprise portal
- Postbooks → PostBooks
- Postfix (software) → Postfix
- PostgreSQL - Red Hat Edition → PostgreSQL Red Hat Edition
- PostgreSQL 9.0 → PostgreSQL/9.0
- PostgreSQL Build Farm → PostgreSQL BuildFarm
- PredictionIO → Apache PredictionIO
- Product Data Management → Product data management
- Product Lifecycle Management → Product lifecycle management
- Project-open → Project-Open
- Project Voldemort → Voldemort
- Proof assistant → Formal verification
- Prototype JavaScript Framework → Prototype
- Psi (instant messaging client) → Psi
- PyDev → Pydev
- Pyjamas (software) → Pyjamas
- Python for S60 → PyS60
- Python programming language → Python
- QDBM → Dbm
- QMake → Qmake
- Qt (framework) → Qt
- Qt 4.7 → Qt/4.7
- Qt on Android → Qt for Android
- Qt on iPhone → Qt for iOS
- Quagga (software) → Quagga
- Quan min fan ji → 全民反击
- QupZilla → Falkon
- RAKE → Rake
- RIA → Rich Internet application
- R Project → R
- RedHat → Red Hat
- RedMine → Redmine
- Redirect → 沙盒
- Redis (data store) → Redis
- Reduced instruction set computer → Reduced instruction set computing
- Reduced instruction set computing → RISC
- Remote procedure call → RPC
- Representational State Transfer → REST
- Resin Quercus → Quercus
- Resin Server → Resin
- Rhino (JavaScript engine) → Rhino
- Rich Internet application → Rich Internet Application
- Rico → Rico (Ajax)/en
- Rico (Ajax)/en → Open Rico/en
- Robot operating system → ROS
- Rocks Cluster → Rocks Clusters
- Rocks Cluster Distribution → Rocks Cluster
- Roller → Apache Roller
- Roundup (issue tracker) → Roundup
- Roundup Issue Tracker → Roundup
- Ruby/DBI → Ruby-DBI
- Ruby on Rails → Rails
- Ruby programming language → Ruby
- Running ADempiere in Glassfish → Running ADempiere in GlassFish
- S/390 → IBM ESA/390
- S60 → S60 (software platform)
- S60 Browser → Web Browser for S60
- SAP AG → SAP
- SCA → Service Component Architecture
- SCGI → Simple Common Gateway Interface
- SEDA → Staged event-driven architecture
- SEO → Search engine optimization
- SHTTPD → Mongoose
- SIP → Session Initiation Protocol
- SMB → Server Message Block
- SMTP → Simple Mail Transfer Protocol
- SPARQL RDF Query Language → SPARQL
- SQLite/Ruby → SQLite-Ruby
- SQuirreL SQL → SQuirreL SQL Client
- SSH → Secure Shell
- SUN → Sun Microsystems
- SUN Grid Engine → Sun Grid Engine
- SUN Portal → OpenPortal
- SUN Studio → Sun Studio
- Sabayon → Sabayon Linux
- Safari (web browser) → Safari
- Sails framework → Sails Framework
- Sakai Project → Sakai
- Savane → GNU Savannah
- Sawzall → Sawzall (programming language)
- Scala programming language → Scala
- Scalable File Share → HP StorageWorks Scalable File Share
- Scheme (programming language) → Scheme
- Schemers → Scheme (programming language)
- Scintilla → Scintilla (editing component)
- Scrum (development) → Scrum
- Seagull PHP Framework → Seagull
- Search Engine → Search engine
- Security Assertion Markup Language → SAML
- Selenium (software) → Selenium
- Selenium Grid → Selenium (software)
- Self-driving car → 自动驾驶
- Serendipity (software) → Serendipity
- Serial ATA (SATA) for Linux → Serial ATA
- Server Side Includes → Lighttpd Server Side Includes
分享您的观点
