欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
灰狐基金会
小 (→项目) |
小 (→编程语言) |
||
(未显示1个用户的239个中间版本) | |||
第1行: | 第1行: | ||
灰狐基金会 | 灰狐基金会 | ||
+ | |||
+ | [[文件:Huihoo.jpg|right|thumb|Huihoo]] | ||
==简介== | ==简介== | ||
+ | 灰狐基金会承载着灰狐的希望与梦想。 | ||
+ | |||
了解、认识、并支持[[Huihoo]]。 | 了解、认识、并支持[[Huihoo]]。 | ||
− | + | 筹划在海外成立灰狐基金会非盈利性组织。 | |
+ | |||
+ | ==愿景== | ||
+ | [[文件:awesome-logo.png|right|Awesome]] | ||
+ | |||
+ | [[Mathematics|数学]]是最爱,[[Scilab]], [[GNU Octave]], [[Maxima]], [[SageMath]], [[TeX Live]]/[[LaTeX]]/[[TeXstudio]] 是数值运算、科学计算软件、计算机代数系统、数学软件、出版系统和 STEM 选择。 | ||
+ | |||
+ | [[文件:Puffin120x120.png]] [[文件:octave-logo.png]] [[文件:Maxima-logo.png]] [[文件:SageMath-logo.png]] [[文件:Texlive-logo.png]] [[文件:Latex-project-logo.png]] [[文件:Texstudio-logo.png]] | ||
+ | |||
+ | 维护、保护可能被遗失、失落的技术与文明,如数学科学类软件、小语种编程语言和自然语言。 | ||
+ | |||
+ | [[文件:Fortran-logo.png|Fortran]] [[文件:Made-with-lisp.jpg|LISP]] [[文件:Haskell-Logo.png]] [[文件:Erlang-logo.png]] [[文件:cpp-logo.png|C++]] | ||
+ | |||
+ | 持续关注和聚焦 [[Fortran]], [[Lisp]], [[Haskell]], [[Erlang]], [[C++]] 等[[Mathematics|数学]]、[[量子力学|物理学]]、[[Computational science|计算科学]]、[[actor model|原子计算]]、[[Computer science|计算机科学]]语言。 | ||
+ | |||
+ | [https://racket-lang.org/sfc.html Software Freedom Conservancy] 软件自由保护协会 | ||
+ | |||
+ | 对托管在 GitHub 上 [https://github.com/topics/awesome Awesome 项目]的跟踪、筛选、推荐和健康值分析、社区治理、生命周期管理。[[CHAOSS]] | ||
+ | |||
+ | *Make Fortran Great Again | ||
+ | *Make Lisp Great Again | ||
==治理== | ==治理== | ||
+ | [[文件:Civicrm-logo.png|right|CiviCRM]] | ||
+ | [[文件:GiveWP-logo.png|right|GiveWP]] | ||
+ | |||
+ | [https://www.contributor-covenant.org 参与者公约] 开源社区的行为准则 | ||
+ | |||
参考FSF治理方式 | 参考FSF治理方式 | ||
*https://my.fsf.org/ | *https://my.fsf.org/ | ||
*https://civicrm.org/ | *https://civicrm.org/ | ||
+ | |||
+ | [[CiviCRM]] 集成同步 [[WordPress]] + [[GiveWP]] 是联系人、会员关系、捐款、活动、业务管理、沟通联络和关系维护的运营支撑系统。 | ||
[https://www.redhat.com/zh/about/open-source-program-office/contributions Red Hat 投身贡献的开源社区],也提供了指导方向和治理模式。 | [https://www.redhat.com/zh/about/open-source-program-office/contributions Red Hat 投身贡献的开源社区],也提供了指导方向和治理模式。 | ||
+ | |||
+ | ==捐赠== | ||
+ | 捐赠[[赞助灰狐]],支持灰狐基金会。 | ||
==成员== | ==成员== | ||
[[Join Huihoo|灰狐团队]] | [[Join Huihoo|灰狐团队]] | ||
+ | |||
+ | ==关注== | ||
+ | [[文件:racket-logo-150x150.png|right]] | ||
+ | [[文件:Aeternity-logo.png|right|Aeternity]] | ||
+ | |||
+ | [[文件:c-logo.png]] [[文件:CSharp-logo.png]] [[文件:mono-logo.png|Mono]] [[文件:Erlang-90x90.gif]] [[文件:LFE-logo-abbr-6.2.png]] | ||
+ | |||
+ | [[灰狐浏览器]]和开放云是长期理想,也是种信仰。端([[NayuOS]]) + 云([[We build open source private cloud]]),灰狐浏览器 based on [[ Chromium]] 和 [[Firefox]] [[文件:Chromium-90x90.gif]] [[文件:Firefox-90x90.png]] | ||
+ | |||
+ | Huihoo love [[c programming language|C]]/[[C++]], [[Fortran]], [[Lisp]], [[Erlang]]/[[LFE]]/[[aeternity]], [[Haskell]] and [[OCaml]]/[[F Sharp|F#]], Run on [[FreeBSD]]。全面拥抱 [[Scheme]], [[Common Lisp]], [[Haskell]] and [[OCaml]]/[[F Sharp|F#]], 全面投入 [[Lisp ecosystem]], [[Erlang ecosystem]], [[Haskell ecosystem]], [[OCaml ecosystem]] 和 [[Mono]](用 [[C Sharp|C#]] 去更多替代 [[Java]],用[[Avalonia]] 构建跨平台应用) 建设。 | ||
+ | |||
+ | [[Open Provable Foundation]] 信仰基础和理论基石 | ||
+ | |||
+ | [[Formal verification]] [[文件:Coq-logo.png]] [[文件:Agda-language-logo.png]] [[GCC]], [[LLVM]] [[文件:GCC-logo.png]] [[文件:LLVM-logo.png]] | ||
+ | |||
+ | [[文件:MediaWiki-logo.png|right|MediaWiki]] | ||
+ | [[文件:Semantic-MediaWiki-logo.png|right|Semantic MediaWiki]] | ||
+ | |||
+ | [[文件:chess.png|right|国际象棋]] | ||
+ | [[文件:LAMP-stack.png|right|LAMP stack]] | ||
+ | |||
+ | 重点持续关注、跟进、参与三个语言家族:[[Lisp]]、[[Erlang]]、[[Haskell]],作为整个编程语言研究的基石,[[LFE]] 和 [[Carp]] 将它们关联和融合起来。 | ||
+ | |||
+ | [[PHP]], [[Symfony]] 和 [[Angular]] 普适 Web [[文件:php-logo.png]] [[文件:symfony-logo.png]] [[文件:Angular.png]] 程序员最好的朋友 [[Ruby]] on [[Rails]] [[文件:Ruby-90x90.gif|Ruby]] [[文件:Rails-90x90.png|Rails]] | ||
+ | |||
+ | [[PeachPie|PHP]], Ruby, [[IronPython|Python]] on [[.NET]] and [https://github.com/IronLanguages/dlr Dynamic Language Runtime] + [[Orleans]] [[文件:IronLanguages-logo.png]] [[文件:Orleans-logo.png|Orleans]] [[文件:peachpie-logo-02.png|PeachPie]] | ||
+ | |||
+ | 使用 [[RoadRunner]] 和 [[Phusion Passenger]] web server and application server, 应对 PHP, Ruby, Python 高性能、高并发挑战。 | ||
+ | |||
+ | [[MediaWiki]] 承载大规模百科全书、知识分享和协作管理,[https://github.com/SemanticMediaWiki/SemanticMediaWiki Semantic MediaWiki]([[Semantic Web|语义维基]])[[wikiHow]] 给出了非常好的应用方式,可通过邮件[https://www.wikihow.com/wikiHow:Powered-and-Inspired-by-MediaWiki 咨询源代码] | ||
+ | |||
+ | 基于 [[OpenProject]] 项目管理软件构建分布式协作、网络协同基础设施。[[文件:OpenProject-logo.png]] | ||
+ | |||
+ | Office 的自由选择:[[LibreOffice]] [[文件:LibreOffice-logo.png|LibreOffice-logo.png]] | ||
+ | |||
+ | 对 [[国际象棋]] 的热爱 | ||
+ | |||
+ | [[灰狐安全|安全]]、[[TLS]]、[[Cryptography]] [[文件:gnutls-logo.png|GnuTLS]] [[文件:Openssl.png|OpenSSL]] [[文件:LibreSSL-logo.jpeg|LibreSSL]] [[文件:Letsencrypt-logo.png| Let's Encrypt ]] | ||
+ | |||
+ | 推崇[[Zero trust security model|零信任架构,零信任网络]]:在不可信网络中构建安全系统 | ||
+ | |||
+ | ERP/CRM、企业应用、商务应用、Web应用由 [[E3 odoo|Odoo]] 和 OCA 承载。[[文件:Odoo-logo.png]] [[文件:OCA-logo.png]] | ||
+ | |||
+ | [[GNU Health]] 关注自由免费医疗,推进社会医学的改革与优化。[[文件:Gnu-health-isologo.png]] [[文件:Gnu-solidario-isologo.png]] | ||
+ | |||
+ | [[灰狐推广]] 的核心 [[Matomo|统计]]和[[Revive Adserver|广告]]系统 [[文件:Matomo-logo.png|Matomo]] [[文件:Revive-adserver-logo.png|Revive Adserver]] | ||
+ | |||
+ | LAMP([[Linux]], [[Apache HTTP Server|Apache]], [[MariaDB|MySQL]], [[PHP]])依然是完美架构,是最普适的 Web 基础设施,[[Debian]] 是一个完全自由的操作系统。[[文件:Debian-100.gif]] [[文件:VyOS-logo.png]] | ||
+ | |||
+ | [[VyOS]] 开源(GPL)路由、防火墙平台,是一个基于 Debian 的网络操作系统。 | ||
+ | |||
+ | 值得信赖的开源端到端数据湖管理方案:[[HPCC]] [[文件:Hpcc-systems-logo.png]] | ||
+ | |||
+ | [[Dapr]] 似乎是一个终极云、边缘开发平台:Any language, any framework, anywhere [[文件:Dapr-logo.png]] | ||
+ | |||
+ | [[Huihoo Cloud]] powered by [[OpenNebula]] [[文件:Opennebula-logo.png]] Expand Your Multi-Cloud to the Edge! | ||
+ | |||
+ | [[文件:Dart-logo.png]] [[文件:Flutter-logo.png]] [[文件:Tizen-logo.png]] [[Dart]], [[Flutter]], [[Tizen]] 作为[[灰狐移动]]的创新点。 | ||
+ | |||
+ | ==自然语言== | ||
+ | 小语种自然语言是文化多元化的关键所在 ... | ||
+ | |||
+ | [[Computational linguistics|计算语言学]] 和 [[Machine translation|机器翻译]] 是核心研究领域 | ||
+ | |||
+ | 可更广义点,把自然语言、编程语言、数学、音乐 ... 都理解为[https://forge.huihoo.com/projects/languages 语言] 用以与世界进行表述表达对话的工具和方式 ... | ||
+ | |||
+ | ==数字化== | ||
+ | 帮助将重要的[[OpenBook|开放书籍]]、典籍,每个家庭家族的纸质资料进行扫描和数字化(扫描私有化)。 | ||
+ | |||
+ | 纸质和数字化互为转换和备份。 | ||
+ | |||
+ | 参考:[https://www.hp.com/cn-zh/printers/scanners.html HP ScanJet 助您轻松将纸质文件数字化] | ||
+ | |||
+ | ==编程语言== | ||
+ | [[文件:Haskell-logo.png|right|Huihoo love Haskell]] | ||
+ | [[文件:dlang-logo.png|right|D语言]] | ||
+ | [[文件:GnuCOBOL-logo.png|right|GnuCOBOL]] | ||
+ | [[文件:GNU-Pascal.png||right|GNU Pascal]] | ||
+ | [[文件:FreeBASIC.png|right|FreeBASIC]] | ||
+ | [[文件:Free-Pascal-logo.gif|right|Free Pascal]] | ||
+ | 值得关注、留存、继承的编程语言,不少古老的编程最后以 [https://en.wikipedia.org/wiki/List_of_GNU_packages GNU 编程语言]的方式留存和发展着。 | ||
+ | |||
+ | [[Hardware description language]] 是核心,是重点 | ||
+ | |||
+ | *[[GNU Fortran]] | ||
+ | *[[GNU Common Lisp]] | ||
+ | *[[GNU Guile]] | ||
+ | *[[MIT/GNU Scheme]] | ||
+ | *[[GnuCOBOL]] | ||
+ | *[[GNU Prolog]] | ||
+ | *[[GNU Smalltalk]] [[Squeak]] [[Pharo]] | ||
+ | *[http://www.gnu-pascal.de/ GNU Pascal] | ||
+ | *[[Free Pascal]] [[Lazarus]] IDE | ||
+ | *[https://www.gnu.org/software/gforth/ Gforth] | ||
+ | *[http://www.modula3.org/ Modula-3] | ||
+ | *[[Ada]] | ||
+ | *[[Coq]] | ||
+ | *[[Perl]] 被称为脚本语言中的瑞士军刀,Perl 6 于2019年更名为 [https://raku.org/ Raku] | ||
+ | *[https://opendylan.org/ Open Dylan] | ||
+ | *[[R]] | ||
+ | *[https://openeuphoria.org/ OpenEuphoria] | ||
+ | *[http://erights.org/ E语言] 用于安全分布式计算的面向对象程序设计语言 | ||
+ | *[http://gambas.sourceforge.net/ Gambas] 被设计成为一个针对迁移到 Linux 平台上 Visual Basic 开发者的 Visual Basic 替代产品。 | ||
+ | *[https://www.freebasic.net/ FreeBASIC] is a free/open source (GPL), BASIC compiler for Microsoft Windows, DOS and Linux. [https://www.freebasic-portal.de/ FreeBASIC-Portal] | ||
+ | *[[D programming language|D语言]] 支持五种主要的程序设计泛型:指令式、面向对象以及元编程、函数式和并发([[actor model]])。 | ||
+ | *[https://iolanguage.org/ io语言] | ||
+ | |||
+ | <gallery> | ||
+ | image:gambas-ide-gtk3.png|Gambas | ||
+ | image:Lazarus-IDE.png|Lazarus IDE | ||
+ | </gallery> | ||
==项目== | ==项目== | ||
Huihoo Love They | Huihoo Love They | ||
<br> | <br> | ||
− | [[文件:Android-and-huihoo.png]] | + | [[文件:Android-and-huihoo.png]] [[文件:Replicant-logo.png]] [[文件:OCaml-Logo.png|Huihoo Love OCaml]] [[文件:IHeartFsharp.png]] [[文件:GNU-Guile.png|GNU Guile 编程语言]] [[文件:ory-logo.png|ORY]] |
− | [[文件: | + | |
− | [[文件: | + | |
<br> | <br> | ||
− | [[文件: | + | [[文件:ScyllaDB-logo.jpg]] [[文件:riak.png|riak]] [[文件:Apache-CouchDB-logo.png|Apache CouchDB]] [[文件:Wazuh-logo.png]] [[文件:Gnu-guix.png|GNU Guix 操作系统]] [[文件:opennebula-logo.png|OpenNebula]] |
<br> | <br> | ||
− | [[文件:Postgresql-logo.png]] [[文件: | + | [[文件:Postgresql-logo.png]] [[文件:mariadb-foundation.png]] [[文件:Gtk-90x90.png]] |
− | [[文件: | + | [[文件:ReactOS.png]] [[文件:Huihoo-debian.gif]] [[文件:Freebsd-90x90.png]] |
− | *[[ | + | *[[Apache HTTP Server]] + [[Cowboy]] + [[Apache Traffic Server]] [[web server]] 强悍组合 |
+ | *[[MediaWiki]]、[[wikiHow]] 是我们最重要的内容和知识协作基础设施。愿景:维护一切自由、开放的开源知识库。 | ||
*[[CHAOSS]] 是灰狐的一项核心服务,我们围绕它建立在开源软件、开源社区的分析和治理能力,Open Distro for [[Elasticsearch]] 是基础设施。 | *[[CHAOSS]] 是灰狐的一项核心服务,我们围绕它建立在开源软件、开源社区的分析和治理能力,Open Distro for [[Elasticsearch]] 是基础设施。 | ||
*[[区块链社会]] + [[开放大学]] 是理想,也是信仰。 | *[[区块链社会]] + [[开放大学]] 是理想,也是信仰。 | ||
− | *[[开放服务联盟]] & [[OpenPOS]] & [[Yunpay network|云支付网络]] | + | *[[开放服务联盟]] & [[Open Services Platform]] & [[OpenPOS]] & [[Yunpay network|云支付网络]] |
*[[全球事件云]] | *[[全球事件云]] | ||
*[[Super Compute Project]] 和 [[SwiftOS|R System]],一硬一软,打造灰狐独一无二的硬核特性。 | *[[Super Compute Project]] 和 [[SwiftOS|R System]],一硬一软,打造灰狐独一无二的硬核特性。 | ||
*[[灰狐量子实验室]] | *[[灰狐量子实验室]] | ||
+ | *[[JVM]]([[OpenJDK]])是最具商业价值的开发者平台,[[Java]], [[Clojure]], [[Scala]], [[Kotlin]], [[Groovy]] 都是这个平台上的编程语言(想想它们加在一起的市场份额会很大)。// 取消对 Java 生态的关注和跟进(20220220) | ||
+ | *除开放 Web 外,也需要 App 接入更多后端系统,更多开源软件和解决方案。所以需要类似 [[Apache Usergrid]] 和 [[Uno Platform]] 这样的跨平台解决方案。 | ||
+ | *[[IDEX]] & [[GTK]] & [[Uno Platform]] & [[Eclipse]] 是 GUI & IDE & 生产力平台 on [[ReactOS]], [[Debian]], [[FreeBSD]]。 | ||
+ | *[[ReactOS]] 和 [[Debian]] & [[FreeBSD]] 是我们的操作系统工作台,通过远程桌面访问(RDP)接入各种操作系统,统一的远程访问网关和身份认证机制。 | ||
+ | *通过 [[OpenHAB]] 打造一个安全、智能的家,接入各种各样的设备,如:净水器、路由器、电视机、空气净化器、冰箱等等,这也是我们在[[Internet of Things|物联网]]领域核心参与的项目。 | ||
+ | *[[Erlang]] 和 [[Signal]] 作为[[gougou|狗狗]]即时通讯IM的基础,它的定位和非盈利(基金会)目标清晰。 | ||
+ | *打造统一的 Open Source Identity and Access Management: [[狗狗通行证]] | ||
+ | *[[PKI]] 公钥基础设施是安全基石,通过整合 [https://github.com/ory ORY] + [[TLS]]/[[GnuTLS]]/[[boulder]] + [[Apache Directory]] + [[Wazuh]],提供一个完整、开源、安全的 [[API]] + [[Identity management|Identity & Access Management]] Platform 和 Solution. | ||
+ | *[[We build open source private cloud]] [[OpenNebula]] 是默认解决方案 | ||
+ | [[文件:OpenZFS-logo.png|right|OpenZFS]] | ||
+ | [[文件:Ceph-logo.png|right|Ceph]] | ||
+ | [[image:LeoFS-logo.png|right|LeoFS]] | ||
+ | [[文件:Nextcloud-logo.png|right|Nextcloud]] | ||
+ | [[文件:Illumos.png|right|Illumos]] | ||
+ | *[[FreeNAS]] + [[OpenZFS]] + [[FreeBSD]] or [https://openzfs.github.io/openzfs-docs/Getting%20Started/Debian/index.html Debian] 是 OpenStorage(OpenNAS)的基础。(20020325) | ||
+ | *[[Illumos]] An open-source Unix operating system,纯正 UNIX 的最后承载。(20220213) | ||
+ | *基于 [[Erlang]],分布式、可伸缩的文档数据库和对象存储对灰狐基金会至关重要,[[Apache CouchDB]] 和 [[LeoFS]] 是扛把子,[[Ceph]] 持续跟进。(20220213) | ||
+ | *Huihoo [[GNU Guix|GNU/Guix]] 操作系统,源于 [[GNU|GNU System]] 和 [[GNU Guile]],更因自由与开放。(20220114) | ||
+ | *[[Haskell IDE Foundation]] (20211215) | ||
+ | *Functional Infrastructure and Functional Network & Functional Cloud powered by [[Haskell ecosystem]] (20211208) | ||
+ | *围绕 [[Redmine]]([[OpenProject]])、[[gitlab|GitLab]]、[[Mastodon]] 建立 [[Ruby]] 应用生态系统:项目管理、行业应用、软件开发、[[DevOps]]集成平台、社区社群、去中心化联邦制[[social network|社交网络]]。(20211007-2030) | ||
+ | *[[Robot]],[[Open Hardware]], [[Super Compute Project]], [[自动驾驶]] 是核心研究领域。(20210923) | ||
+ | *持续关注 [[Sailfish OS]], the only independent mobile operating system (20210913) | ||
+ | *[[Seastar]] 和 [[ScyllaDB]] 是我们核心关注和更多推荐的 [[C++]] 框架和数据库。(20210525) | ||
+ | *灰狐非常关注各种编程语言,[[Sonar]] & Code Quality and Code Security 是非常好的领域和切入点。(20210522) | ||
+ | *开源数据库客户端工具首选 [[SQuirreL SQL Client]],并积极参与贡献和生态建设。(20210416) | ||
+ | *深度参与 [[Gitlab]]和[[OpenProject]],作为我们和客户的代码仓库和项目管理基础。(20210411) | ||
+ | [[文件:blender-logo.png|right|Blender]] | ||
+ | *[[Blender]] Free and Open 3D Creation Software (20220220) | ||
+ | *[[Open Build Service]] (OBS) 非常重要,这是大规模构建软件包和操作系统发行版的基础设施,做各种编程语言的重新构建和再分发,每种编程语言都提供版本选择和切换工具。(20201221) | ||
+ | *发起 [[We build open source erp]] 倡议和项目,网聚社区力量,提供高品质开源 ERP 应用和解决方案,[[Axelor]]、[[Apache OFBiz]] 和 [[OFBiz Cloud]] 是我们的核心。(20201217) | ||
*灰狐开源业务系统的策略是:关注、支持、参与、贡献主流开源电商/CMS/ERP/CRM系统,如 [[Plone]]/[[Drupal]]/[[WordPress]], [[ERP5]]/[[odoo]]/[[ERPNext]],[[Apache OFBiz]]/[[Axelor]]/[[Openbravo]]/[[iDempiere]]/[[metasfresh]] 等,以 [[E3]] 的方式支持与分发。(20201215) | *灰狐开源业务系统的策略是:关注、支持、参与、贡献主流开源电商/CMS/ERP/CRM系统,如 [[Plone]]/[[Drupal]]/[[WordPress]], [[ERP5]]/[[odoo]]/[[ERPNext]],[[Apache OFBiz]]/[[Axelor]]/[[Openbravo]]/[[iDempiere]]/[[metasfresh]] 等,以 [[E3]] 的方式支持与分发。(20201215) | ||
*因为 [[CentOS]] 项目的变数,灰狐全力拥抱 [[Debian]],[[Huihoo Debian Enterprise Guide]] 仍然是个好计划。(20201215) | *因为 [[CentOS]] 项目的变数,灰狐全力拥抱 [[Debian]],[[Huihoo Debian Enterprise Guide]] 仍然是个好计划。(20201215) | ||
− | *通过 | + | *通过 [[nextcloud]] 建立个人云存储解决方案。(20201113) |
*[[Rust]] 下一个20年语言,长期持有。(20201105) | *[[Rust]] 下一个20年语言,长期持有。(20201105) | ||
− | *[[Android]] 是我们最重要的消息端、内容平台和终端设备,持续跟进 [[ | + | [[文件:lineageos-logo.png|right|LineageOS]] |
+ | *[[Android]] 是我们最重要的消息端、内容平台和终端设备,持续跟进 [[Replicant]] 和 [[LineageOS]] 项目,[[灰狐移动]] 是商业承载。(20201031) | ||
*我们应该积极参与开发维护和运营开放的 [[Wazuh]] & [[CA]] & [[PKI]] 开源解决方案,如:[https://github.com/cloudflare/cfssl CFSSL] (20201018) | *我们应该积极参与开发维护和运营开放的 [[Wazuh]] & [[CA]] & [[PKI]] 开源解决方案,如:[https://github.com/cloudflare/cfssl CFSSL] (20201018) | ||
*两条腿走路:[[PHP]] 和 [[Java]],PHP on JVM,[https://github.com/abertschi/graalphp graalphp]。此外,紧握 [[Go]] 和 [[Erlang]]。 (20201017) | *两条腿走路:[[PHP]] 和 [[Java]],PHP on JVM,[https://github.com/abertschi/graalphp graalphp]。此外,紧握 [[Go]] 和 [[Erlang]]。 (20201017) | ||
*[[PHP]] 是灰狐最喜爱的语言,[[Peachpie]] 扩展 PHP 更多可能性。(20201016) | *[[PHP]] 是灰狐最喜爱的语言,[[Peachpie]] 扩展 PHP 更多可能性。(20201016) | ||
− | *[[ | + | *[[MariaDB]] & [[PostgreSQL]]([[CitusDB]]/[[TimescaleDB]]) 是整个灰狐生态核心数据库,需长期耕耘和实践,灰狐也是一家 MariaDB & PostgreSQL 技术服务商。(20201015) |
*时机成熟再重启 [[JFox]]。(20201009) | *时机成熟再重启 [[JFox]]。(20201009) | ||
− | * | + | [[文件:peertube.png|right]] [[文件:obsproject-logo-small.png|right|OBS Studio]] |
− | *[[open banking]] 和 [[open healthcare]] | + | [[文件:Shotcut-logo.png|right|Shotcut]] |
+ | *我们需要一个自由开源的视频编辑[[Shotcut]]、视频流软件[[OBS Studio]],有由你主导的视频网站和P2P分发平台[[PeerTube]],对标 [[YouTube]]。(20201002) | ||
+ | [[OpenMovie|开放电影]]、开放电影工作室是我们以往的理想,继续学习和创作有价值和感人的视频。(20211010) | ||
+ | *[[open banking]] & [[FINOS]] 和 [[open healthcare]] 是两个持续关注的核心领域,更多参与金融和健康行业透明度和创新能力。(20200930) | ||
*[[Java virtual machine]] 是我们需要掌握的核心能力,因为 Java 支撑着整个世界经济。(20200926) | *[[Java virtual machine]] 是我们需要掌握的核心能力,因为 Java 支撑着整个世界经济。(20200926) | ||
*[[OpenStreetMap]] 关乎你我,值得投入。(20200921) | *[[OpenStreetMap]] 关乎你我,值得投入。(20200921) | ||
− | *更多关注和参与 [[CentOS]],它是工作站、生产力平台和云端基石,尤其[https://wiki.centos.org/SpecialInterestGroup Special Interest Groups]构建自动化、解决方案和主流软件包维护。(20200914) | + | *更多关注和参与 [[CentOS]],它是工作站、生产力平台和云端基石,尤其[https://wiki.centos.org/SpecialInterestGroup Special Interest Groups]构建自动化、解决方案和主流软件包维护。(20200914) 取消 CentOS 并转向 [[Debian]] (20220221) |
− | *[[Eclipse]] & [[Eclipse Equinox]] & [[WSO2 Carbon]] 是我们最重要的生产力平台、模块化平台、企业应用平台,围绕 [[OSGi]] 做商业模式和生态系统。(20200911) | + | *[[Eclipse]] & [[Eclipse Equinox]] & [[WSO2 Carbon]] 是我们最重要的生产力平台、模块化平台、企业应用平台,围绕 [[OSGi]] 做商业模式和生态系统。(20200911) 取消此项计划 (20220220) |
*持续关注 [[Open Bank Project]] (20200907) | *持续关注 [[Open Bank Project]] (20200907) | ||
− | *更多参与 [[AdoptOpenJDK]]、[[WSO2 Carbon]]、[[WSO2 API Manager]]、[[WSO2 Identity Server]] 等项目的开发和贡献,Apache v2 许可证。(20200902) | + | *更多参与 [[AdoptOpenJDK]]、[[WSO2 Carbon]]、[[WSO2 API Manager]]、[[WSO2 Identity Server]] 等项目的开发和贡献,Apache v2 许可证。(20200902) 取消此项计划 (20220220) |
*[[Mono]]、[[.NET Core]]、[[ASP.NET Core]]、[[Orleans]]、[[Orchard]]、[[Xamarin]]和[https://github.com/peachpiecompiler/peachpie Peachpie]/[[IronPython]]是灰狐基金会主攻的编程语言方向。 | *[[Mono]]、[[.NET Core]]、[[ASP.NET Core]]、[[Orleans]]、[[Orchard]]、[[Xamarin]]和[https://github.com/peachpiecompiler/peachpie Peachpie]/[[IronPython]]是灰狐基金会主攻的编程语言方向。 | ||
*[[g3|G3 Engine]] | *[[g3|G3 Engine]] | ||
第58行: | 第237行: | ||
*[[LibreOffice]]是灰狐基金会最关注的开源软件,因为它是每个人的生产力工具,是微软Office的替代品。 | *[[LibreOffice]]是灰狐基金会最关注的开源软件,因为它是每个人的生产力工具,是微软Office的替代品。 | ||
*[[OpenPetra]] | *[[OpenPetra]] | ||
− | *[[GNU Octave]] | + | *[[GNU Octave]] & [[SageMath]] 是 [[MATLAB]] 开源替代品。 |
− | *[[ | + | *[[灰狐社区]],开放、分布式、去中心化的[[Social network|社交网络]],[[Open Microblogging Alliance]] 是一个远期理想。 |
− | *基于[[ | + | *基于[[Elassandra]] = [[Elasticsearch]] + [[Apache Cassandra]]的[[灰狐数据]]是问答和知识图谱的支撑系统,每个人都有一个属于自己的知识助手,帮助更好的学习、问答和获取知识。取消此项计划 (20220220) |
*[[Huihoo Cloud]] | *[[Huihoo Cloud]] | ||
− | *[[Huihoo Network]] | + | *[[Huihoo Network]] & [[Hyperledger Project]] |
− | + | ||
*[[ActorX]] | *[[ActorX]] | ||
*[[SMACK堆栈]] | *[[SMACK堆栈]] | ||
第78行: | 第256行: | ||
*[[Huihoo.IO]] | *[[Huihoo.IO]] | ||
*[[HMQ]] | *[[HMQ]] | ||
− | *[[gougou|狗狗]],[[ | + | [[文件:OpenSearch.png|right]] |
+ | *[[gougou|狗狗]],[[Apache Cassandra]] 是强健的分布式基础设施,狗狗搜索(基于 [[Apache Solr]] 和 [https://opensearch.org/ OpenSearch])是我们的一个长期理想。取消此项计划 (20220220) | ||
*[[e3 ofbiz]], [http://huihoo.org/ofbiz-smart OFBiz Smart] | *[[e3 ofbiz]], [http://huihoo.org/ofbiz-smart OFBiz Smart] | ||
− | *[[CiviCRM]] | + | *[[CiviCRM]] 整合 [[WordPress]] 管理联系人、捐款和活动注册。 |
*[[Open Hardware]] | *[[Open Hardware]] | ||
*[[Scrapy]] | *[[Scrapy]] | ||
*更多参与Apache项目,如:[[Apache Usergrid]]、[[HDFS]]、[[Apache HBase]] ... | *更多参与Apache项目,如:[[Apache Usergrid]]、[[HDFS]]、[[Apache HBase]] ... | ||
[https://github.com/huihoo 更多项目 @ GitHub] | [https://github.com/huihoo 更多项目 @ GitHub] | ||
+ | |||
+ | ==合作伙伴== | ||
==图集== | ==图集== | ||
<gallery> | <gallery> | ||
+ | image:WordPress-integration-CiviCRM.png|客户关系和捐赠管理 | ||
+ | image:Apache-Usergrid-iOS-App.png|App | ||
image:wso2-open-banking-architecture.png|Open Banking | image:wso2-open-banking-architecture.png|Open Banking | ||
image:wso2-open-healthcare-a-reference-architecture.png|Open Healthcare | image:wso2-open-healthcare-a-reference-architecture.png|Open Healthcare | ||
第98行: | 第281行: | ||
*[http://huihoo.org 灰狐基金会官网] | *[http://huihoo.org 灰狐基金会官网] | ||
*[https://en.wikipedia.org/wiki/Nonprofit_organization Nonprofit organization] | *[https://en.wikipedia.org/wiki/Nonprofit_organization Nonprofit organization] | ||
+ | *[https://www.gandi.net/zh-Hans/gandi-supports Gandi 支持赞助的开源项目] | ||
[[category:foundation]] | [[category:foundation]] | ||
[[category:Huihoo Foundation]] | [[category:Huihoo Foundation]] | ||
[[category:huihoo]] | [[category:huihoo]] |
2023年3月26日 (日) 03:33的最后版本
灰狐基金会
目录 |
[编辑] 简介
灰狐基金会承载着灰狐的希望与梦想。
了解、认识、并支持Huihoo。
筹划在海外成立灰狐基金会非盈利性组织。
[编辑] 愿景
数学是最爱,Scilab, GNU Octave, Maxima, SageMath, TeX Live/LaTeX/TeXstudio 是数值运算、科学计算软件、计算机代数系统、数学软件、出版系统和 STEM 选择。
维护、保护可能被遗失、失落的技术与文明,如数学科学类软件、小语种编程语言和自然语言。
持续关注和聚焦 Fortran, Lisp, Haskell, Erlang, C++ 等数学、物理学、计算科学、原子计算、计算机科学语言。
Software Freedom Conservancy 软件自由保护协会
对托管在 GitHub 上 Awesome 项目的跟踪、筛选、推荐和健康值分析、社区治理、生命周期管理。CHAOSS
- Make Fortran Great Again
- Make Lisp Great Again
[编辑] 治理
参与者公约 开源社区的行为准则
参考FSF治理方式
CiviCRM 集成同步 WordPress + GiveWP 是联系人、会员关系、捐款、活动、业务管理、沟通联络和关系维护的运营支撑系统。
Red Hat 投身贡献的开源社区,也提供了指导方向和治理模式。
[编辑] 捐赠
捐赠赞助灰狐,支持灰狐基金会。
[编辑] 成员
[编辑] 关注
灰狐浏览器和开放云是长期理想,也是种信仰。端(NayuOS) + 云(We build open source private cloud),灰狐浏览器 based on Chromium 和 Firefox
Huihoo love C/C++, Fortran, Lisp, Erlang/LFE/aeternity, Haskell and OCaml/F#, Run on FreeBSD。全面拥抱 Scheme, Common Lisp, Haskell and OCaml/F#, 全面投入 Lisp ecosystem, Erlang ecosystem, Haskell ecosystem, OCaml ecosystem 和 Mono(用 C# 去更多替代 Java,用Avalonia 构建跨平台应用) 建设。
Open Provable Foundation 信仰基础和理论基石
重点持续关注、跟进、参与三个语言家族:Lisp、Erlang、Haskell,作为整个编程语言研究的基石,LFE 和 Carp 将它们关联和融合起来。
PHP, Symfony 和 Angular 普适 Web 程序员最好的朋友 Ruby on Rails
PHP, Ruby, Python on .NET and Dynamic Language Runtime + Orleans
使用 RoadRunner 和 Phusion Passenger web server and application server, 应对 PHP, Ruby, Python 高性能、高并发挑战。
MediaWiki 承载大规模百科全书、知识分享和协作管理,Semantic MediaWiki(语义维基)wikiHow 给出了非常好的应用方式,可通过邮件咨询源代码
基于 OpenProject 项目管理软件构建分布式协作、网络协同基础设施。
Office 的自由选择:LibreOffice
对 国际象棋 的热爱
推崇零信任架构,零信任网络:在不可信网络中构建安全系统
ERP/CRM、企业应用、商务应用、Web应用由 Odoo 和 OCA 承载。
GNU Health 关注自由免费医疗,推进社会医学的改革与优化。
LAMP(Linux, Apache, MySQL, PHP)依然是完美架构,是最普适的 Web 基础设施,Debian 是一个完全自由的操作系统。
VyOS 开源(GPL)路由、防火墙平台,是一个基于 Debian 的网络操作系统。
值得信赖的开源端到端数据湖管理方案:HPCC
Dapr 似乎是一个终极云、边缘开发平台:Any language, any framework, anywhere
Huihoo Cloud powered by OpenNebula Expand Your Multi-Cloud to the Edge!
Dart, Flutter, Tizen 作为灰狐移动的创新点。
[编辑] 自然语言
小语种自然语言是文化多元化的关键所在 ...
可更广义点,把自然语言、编程语言、数学、音乐 ... 都理解为语言 用以与世界进行表述表达对话的工具和方式 ...
[编辑] 数字化
帮助将重要的开放书籍、典籍,每个家庭家族的纸质资料进行扫描和数字化(扫描私有化)。
纸质和数字化互为转换和备份。
[编辑] 编程语言
值得关注、留存、继承的编程语言,不少古老的编程最后以 GNU 编程语言的方式留存和发展着。
Hardware description language 是核心,是重点
- GNU Fortran
- GNU Common Lisp
- GNU Guile
- MIT/GNU Scheme
- GnuCOBOL
- GNU Prolog
- GNU Smalltalk Squeak Pharo
- GNU Pascal
- Free Pascal Lazarus IDE
- Gforth
- Modula-3
- Ada
- Coq
- Perl 被称为脚本语言中的瑞士军刀,Perl 6 于2019年更名为 Raku
- Open Dylan
- R
- OpenEuphoria
- E语言 用于安全分布式计算的面向对象程序设计语言
- Gambas 被设计成为一个针对迁移到 Linux 平台上 Visual Basic 开发者的 Visual Basic 替代产品。
- FreeBASIC is a free/open source (GPL), BASIC compiler for Microsoft Windows, DOS and Linux. FreeBASIC-Portal
- D语言 支持五种主要的程序设计泛型:指令式、面向对象以及元编程、函数式和并发(actor model)。
- io语言
[编辑] 项目
- Apache HTTP Server + Cowboy + Apache Traffic Server web server 强悍组合
- MediaWiki、wikiHow 是我们最重要的内容和知识协作基础设施。愿景:维护一切自由、开放的开源知识库。
- CHAOSS 是灰狐的一项核心服务,我们围绕它建立在开源软件、开源社区的分析和治理能力,Open Distro for Elasticsearch 是基础设施。
- 区块链社会 + 开放大学 是理想,也是信仰。
- 开放服务联盟 & Open Services Platform & OpenPOS & 云支付网络
- 全球事件云
- Super Compute Project 和 R System,一硬一软,打造灰狐独一无二的硬核特性。
- 灰狐量子实验室
- JVM(OpenJDK)是最具商业价值的开发者平台,Java, Clojure, Scala, Kotlin, Groovy 都是这个平台上的编程语言(想想它们加在一起的市场份额会很大)。// 取消对 Java 生态的关注和跟进(20220220)
- 除开放 Web 外,也需要 App 接入更多后端系统,更多开源软件和解决方案。所以需要类似 Apache Usergrid 和 Uno Platform 这样的跨平台解决方案。
- IDEX & GTK & Uno Platform & Eclipse 是 GUI & IDE & 生产力平台 on ReactOS, Debian, FreeBSD。
- ReactOS 和 Debian & FreeBSD 是我们的操作系统工作台,通过远程桌面访问(RDP)接入各种操作系统,统一的远程访问网关和身份认证机制。
- 通过 OpenHAB 打造一个安全、智能的家,接入各种各样的设备,如:净水器、路由器、电视机、空气净化器、冰箱等等,这也是我们在物联网领域核心参与的项目。
- Erlang 和 Signal 作为狗狗即时通讯IM的基础,它的定位和非盈利(基金会)目标清晰。
- 打造统一的 Open Source Identity and Access Management: 狗狗通行证
- PKI 公钥基础设施是安全基石,通过整合 ORY + TLS/GnuTLS/boulder + Apache Directory + Wazuh,提供一个完整、开源、安全的 API + Identity & Access Management Platform 和 Solution.
- We build open source private cloud OpenNebula 是默认解决方案
- FreeNAS + OpenZFS + FreeBSD or Debian 是 OpenStorage(OpenNAS)的基础。(20020325)
- Illumos An open-source Unix operating system,纯正 UNIX 的最后承载。(20220213)
- 基于 Erlang,分布式、可伸缩的文档数据库和对象存储对灰狐基金会至关重要,Apache CouchDB 和 LeoFS 是扛把子,Ceph 持续跟进。(20220213)
- Huihoo GNU/Guix 操作系统,源于 GNU System 和 GNU Guile,更因自由与开放。(20220114)
- Haskell IDE Foundation (20211215)
- Functional Infrastructure and Functional Network & Functional Cloud powered by Haskell ecosystem (20211208)
- 围绕 Redmine(OpenProject)、GitLab、Mastodon 建立 Ruby 应用生态系统:项目管理、行业应用、软件开发、DevOps集成平台、社区社群、去中心化联邦制社交网络。(20211007-2030)
- Robot,Open Hardware, Super Compute Project, 自动驾驶 是核心研究领域。(20210923)
- 持续关注 Sailfish OS, the only independent mobile operating system (20210913)
- Seastar 和 ScyllaDB 是我们核心关注和更多推荐的 C++ 框架和数据库。(20210525)
- 灰狐非常关注各种编程语言,Sonar & Code Quality and Code Security 是非常好的领域和切入点。(20210522)
- 开源数据库客户端工具首选 SQuirreL SQL Client,并积极参与贡献和生态建设。(20210416)
- 深度参与 Gitlab和OpenProject,作为我们和客户的代码仓库和项目管理基础。(20210411)
- Blender Free and Open 3D Creation Software (20220220)
- Open Build Service (OBS) 非常重要,这是大规模构建软件包和操作系统发行版的基础设施,做各种编程语言的重新构建和再分发,每种编程语言都提供版本选择和切换工具。(20201221)
- 发起 We build open source erp 倡议和项目,网聚社区力量,提供高品质开源 ERP 应用和解决方案,Axelor、Apache OFBiz 和 OFBiz Cloud 是我们的核心。(20201217)
- 灰狐开源业务系统的策略是:关注、支持、参与、贡献主流开源电商/CMS/ERP/CRM系统,如 Plone/Drupal/WordPress, ERP5/odoo/ERPNext,Apache OFBiz/Axelor/Openbravo/iDempiere/metasfresh 等,以 E3 的方式支持与分发。(20201215)
- 因为 CentOS 项目的变数,灰狐全力拥抱 Debian,Huihoo Debian Enterprise Guide 仍然是个好计划。(20201215)
- 通过 nextcloud 建立个人云存储解决方案。(20201113)
- Rust 下一个20年语言,长期持有。(20201105)
- Android 是我们最重要的消息端、内容平台和终端设备,持续跟进 Replicant 和 LineageOS 项目,灰狐移动 是商业承载。(20201031)
- 我们应该积极参与开发维护和运营开放的 Wazuh & CA & PKI 开源解决方案,如:CFSSL (20201018)
- 两条腿走路:PHP 和 Java,PHP on JVM,graalphp。此外,紧握 Go 和 Erlang。 (20201017)
- PHP 是灰狐最喜爱的语言,Peachpie 扩展 PHP 更多可能性。(20201016)
- MariaDB & PostgreSQL(CitusDB/TimescaleDB) 是整个灰狐生态核心数据库,需长期耕耘和实践,灰狐也是一家 MariaDB & PostgreSQL 技术服务商。(20201015)
- 时机成熟再重启 JFox。(20201009)
- 我们需要一个自由开源的视频编辑Shotcut、视频流软件OBS Studio,有由你主导的视频网站和P2P分发平台PeerTube,对标 YouTube。(20201002)
开放电影、开放电影工作室是我们以往的理想,继续学习和创作有价值和感人的视频。(20211010)
- open banking & FINOS 和 open healthcare 是两个持续关注的核心领域,更多参与金融和健康行业透明度和创新能力。(20200930)
- Java virtual machine 是我们需要掌握的核心能力,因为 Java 支撑着整个世界经济。(20200926)
- OpenStreetMap 关乎你我,值得投入。(20200921)
- 更多关注和参与 CentOS,它是工作站、生产力平台和云端基石,尤其Special Interest Groups构建自动化、解决方案和主流软件包维护。(20200914) 取消 CentOS 并转向 Debian (20220221)
- Eclipse & Eclipse Equinox & WSO2 Carbon 是我们最重要的生产力平台、模块化平台、企业应用平台,围绕 OSGi 做商业模式和生态系统。(20200911) 取消此项计划 (20220220)
- 持续关注 Open Bank Project (20200907)
- 更多参与 AdoptOpenJDK、WSO2 Carbon、WSO2 API Manager、WSO2 Identity Server 等项目的开发和贡献,Apache v2 许可证。(20200902) 取消此项计划 (20220220)
- Mono、.NET Core、ASP.NET Core、Orleans、Orchard、Xamarin和Peachpie/IronPython是灰狐基金会主攻的编程语言方向。
- G3 Engine
- DeepVC
- LibreOffice是灰狐基金会最关注的开源软件,因为它是每个人的生产力工具,是微软Office的替代品。
- OpenPetra
- GNU Octave & SageMath 是 MATLAB 开源替代品。
- 灰狐社区,开放、分布式、去中心化的社交网络,Open Microblogging Alliance 是一个远期理想。
- 基于Elassandra = Elasticsearch + Apache Cassandra的灰狐数据是问答和知识图谱的支撑系统,每个人都有一个属于自己的知识助手,帮助更好的学习、问答和获取知识。取消此项计划 (20220220)
- Huihoo Cloud
- Huihoo Network & Hyperledger Project
- ActorX
- SMACK堆栈
- 开放图书计划
- SwiftOS
- swiftui.org -> huihoo.design Material Design and Ant Design
- 织网
- Meteor
- e3js
- M3
- E3
- D3
- G3
- Huihoo.IO
- HMQ
- 狗狗,Apache Cassandra 是强健的分布式基础设施,狗狗搜索(基于 Apache Solr 和 OpenSearch)是我们的一个长期理想。取消此项计划 (20220220)
- e3 ofbiz, OFBiz Smart
- CiviCRM 整合 WordPress 管理联系人、捐款和活动注册。
- Open Hardware
- Scrapy
- 更多参与Apache项目,如:Apache Usergrid、HDFS、Apache HBase ...