欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
搜索结果
在本wiki上新建名为“GNU build system”的页面!
- Debian GNU/Linux ...released a Debian Linux switch OS. Repeat, a Debian Linux switch operating system]20 KB(1,983个字) - 2022年12月12日 (一) 08:42
- {{SeeWikipedia|GNU Compiler Collection}} GCC(GNU Compiler Collection)5 KB(609个字) - 2022年9月6日 (二) 01:04
- system-config-packages or pirut system-config-authentication11 KB(1,060个字) - 2022年5月9日 (一) 03:02
- [[Image:Gnu.jpg|right]] GNU 操作系统 - 自由软件基金会(FSF)7 KB(736个字) - 2022年4月7日 (四) 11:30
- ...c/CDDL+GPL.html Common Development and Distribution License (CDDL) and the GNU General Public License (GPL) v2] * Sun's Java System Application Server PE 9.0 Beta18 KB(2,354个字) - 2016年6月5日 (日) 14:30
- OpenWeb is a web build system which is based on the open source wiki,blog,bbs,cms software,offers more in 基于[[Witty]], [[GNU cgicc]], [[FastCGI]] 等项目构建2 KB(165个字) - 2012年12月4日 (二) 02:17
- postgresql-9.1-plproxy - database partitioning system for PostgreSQL 9.1 apt-get install emacs22-gtk // GNU Emacs 22.2.1 (i486-pc-linux-gnu, GTK+ Version 2.12.11)12 KB(1,520个字) - 2020年12月15日 (二) 04:49
- GNU GPL (version 2 or later) for Openbravo Java POS GNU GPL (version 2 or later) for Openbravo Java POS19 KB(998个字) - 2020年12月19日 (六) 04:29
- ... software [[source code]] packages to adapt to many kinds of [[UNIX-like]] systems. The configuration scripts produced by Autoconf are independent of Autoco Together with [[Automake]] and [[Libtool]], Autoconf forms the [[GNU build system]].2 KB(284个字) - 2013年2月20日 (三) 01:08
- The '''Arch Build System''' (ABS for short) is used to * Re-build your entire system using your compiler flags, "a la gentoo"13 KB(2,179个字) - 2010年9月12日 (日) 00:38
- License : GNU General Public License (GPL) Programming Language : Python, Zope * Hierarchical Navigation - file system metaphor for navigation of IT model and configuration9 KB(1,084个字) - 2017年7月14日 (五) 21:31
- ...an open source web browser engine. WebKit is also the name of the Mac OS X system framework version of the engine that's used by Safari, Dashboard, Mail, and WebKit is licensed under the GNU LGPL and BSD licenses.2 KB(262个字) - 2011年5月28日 (六) 13:24
- redMine is open source and released under the terms of the GNU General Public License (GPL). * Flexible issue tracking system17 KB(1,869个字) - 2022年4月18日 (一) 13:53
- {{SeeWikipedia|Android (operating system)}}14 KB(1,360个字) - 2022年5月3日 (二) 05:03
- ...Box最初是以专有软件协议的方式提供。2007年1月,InnoTek以GNU通用公共许可证(GPL)释出VirtualBox而成为自由软件,并提 ...ation extensions or experimentally on 64-bit capable 32-bit host operating systems)7 KB(662个字) - 2021年8月1日 (日) 11:38
- ...nt. It combines a powerful software stack with a code generation engine to build services that work efficiently and seamlessly between C++, Java, Python, PH ...erates code across programming languages that uses the abstracted stack to build interoperable RPC clients and servers.2 KB(212个字) - 2014年10月9日 (四) 23:29
- defn builds on fn,defn是一个宏,它封装了def和fn的功能。 *[https://github.com/clojure-emacs/cider CIDER] extends [[GNU Emacs]] is the Clojure(Script) Interactive Development Environment that Roc14 KB(1,511个字) - 2023年4月19日 (三) 07:55
- Filesystem 1K-blocks Used Avail Capacity Mounted on Filesystem Size Used Avail Capacity Mounted on51 KB(5,104个字) - 2011年3月2日 (三) 05:15
- ...机科学,公共健康和人工智能等。edX是个开源项目,采用GNU AGPL v3许可协议。 *Open edX LMS (Learning Management System)9 KB(956个字) - 2021年2月11日 (四) 11:37
- Building a Robust Research Ecosystem.15 KB(902个字) - 2023年12月28日 (四) 01:28
- *[http://gnu.huihoo.org/gcc/gcc-6.3.0/libstdc++/ GNU C++ Library: libstdc++] *[https://github.com/facebook/xcbuild xcbuild] [[Xcode]]-compatible build tool.9 KB(1,023个字) - 2022年10月13日 (四) 06:49
- ...放云是长期理想,也是种信仰。端([[NayuOS]]) + 云([[We build open source private cloud]]),灰狐浏览器 based on [[ Chromium]] 和19 KB(1,177个字) - 2023年3月26日 (日) 03:33
- *[https://erlef.org/ Erlang Ecosystem Foundation (EEF)] [https://github.com/erlef EEF @ GitHub]14 KB(1,651个字) - 2022年12月3日 (六) 05:18
- [[Haskell]] ecosystem ...//github.com/Gabriel439/post-rfc/blob/main/sotu.md State of the Haskell ecosystem]37 KB(4,161个字) - 2023年3月26日 (日) 08:11
- [[Lisp]] ecosystem *[https://github.com/40ants 40 Ants] Together we'll make Common Lisp ecosystem better [https://40ants.com/projects.html Our projects]15 KB(1,759个字) - 2023年3月4日 (六) 00:04
分享您的观点