欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
灰狐基金会
小 (→简介) |
小 (→项目) |
||
第110行: | 第110行: | ||
[[文件:ReactOS.png]] [[文件:Huihoo-debian.gif]] [[文件:Freebsd-90x90.png]] | [[文件:ReactOS.png]] [[文件:Huihoo-debian.gif]] [[文件:Freebsd-90x90.png]] | ||
− | *[[Apache HTTP Server]] + [[ | + | *[[Apache HTTP Server]] + [[Cowboy]] + [[Apache Traffic Server]] [[web server]] 强悍组合 |
− | *[[MediaWiki | + | *[[MediaWiki]]、[[wikiHow]] 是我们最重要的内容和知识协作基础设施。愿景:维护一切自由、开放的开源知识库。 |
*[[CHAOSS]] 是灰狐的一项核心服务,我们围绕它建立在开源软件、开源社区的分析和治理能力,Open Distro for [[Elasticsearch]] 是基础设施。 | *[[CHAOSS]] 是灰狐的一项核心服务,我们围绕它建立在开源软件、开源社区的分析和治理能力,Open Distro for [[Elasticsearch]] 是基础设施。 | ||
*[[区块链社会]] + [[开放大学]] 是理想,也是信仰。 | *[[区块链社会]] + [[开放大学]] 是理想,也是信仰。 | ||
第118行: | 第118行: | ||
*[[Super Compute Project]] 和 [[SwiftOS|R System]],一硬一软,打造灰狐独一无二的硬核特性。 | *[[Super Compute Project]] 和 [[SwiftOS|R System]],一硬一软,打造灰狐独一无二的硬核特性。 | ||
*[[灰狐量子实验室]] | *[[灰狐量子实验室]] | ||
− | *[[JVM]]([[OpenJDK]])是最具商业价值的开发者平台,[[Java]], [[Clojure]], [[Scala]], [[Kotlin]], [[Groovy]] 都是这个平台上的编程语言(想想它们加在一起的市场份额会很大)。 | + | *[[JVM]]([[OpenJDK]])是最具商业价值的开发者平台,[[Java]], [[Clojure]], [[Scala]], [[Kotlin]], [[Groovy]] 都是这个平台上的编程语言(想想它们加在一起的市场份额会很大)。// 取消对 Java 生态的关注和跟进(20220220) |
− | *除开放 Web 外,也需要 App | + | *除开放 Web 外,也需要 App 接入更多后端系统,更多开源软件和解决方案。所以需要类似 [[Apache Usergrid]] 和 [[Uno Platform]] 这样的跨平台解决方案。 |
*[[IDEX]] & [[GTK]] & [[Uno Platform]] & [[Eclipse]] 是 GUI & IDE & 生产力平台 on [[ReactOS]], [[Debian]], [[FreeBSD]]。 | *[[IDEX]] & [[GTK]] & [[Uno Platform]] & [[Eclipse]] 是 GUI & IDE & 生产力平台 on [[ReactOS]], [[Debian]], [[FreeBSD]]。 | ||
*[[ReactOS]] 和 [[Debian]] & [[FreeBSD]] 是我们的操作系统工作台,通过远程桌面访问(RDP)接入各种操作系统,统一的远程访问网关和身份认证机制。 | *[[ReactOS]] 和 [[Debian]] & [[FreeBSD]] 是我们的操作系统工作台,通过远程桌面访问(RDP)接入各种操作系统,统一的远程访问网关和身份认证机制。 | ||
*通过 [[OpenHAB]] 打造一个安全、智能的家,接入各种各样的设备,如:净水器、路由器、电视机、空气净化器、冰箱等等,这也是我们在[[Internet of Things|物联网]]领域核心参与的项目。 | *通过 [[OpenHAB]] 打造一个安全、智能的家,接入各种各样的设备,如:净水器、路由器、电视机、空气净化器、冰箱等等,这也是我们在[[Internet of Things|物联网]]领域核心参与的项目。 | ||
− | *[[Signal]] 作为[[gougou|狗狗]]即时通讯IM的基础,它的定位和非盈利(基金会)目标清晰。 | + | *[[Erlang]] 和 [[Signal]] 作为[[gougou|狗狗]]即时通讯IM的基础,它的定位和非盈利(基金会)目标清晰。 |
*打造统一的 Open Source Identity and Access Management: [[狗狗通行证]] | *打造统一的 Open Source Identity and Access Management: [[狗狗通行证]] | ||
− | *[[PKI]] 公钥基础设施是安全基石,通过整合 [ | + | *[[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]] | + | *[[We build open source private cloud]] |
[[文件:Apache-CouchDB-logo.png|right|Apache CouchDB]] | [[文件:Apache-CouchDB-logo.png|right|Apache CouchDB]] | ||
[[image:LeoFS-logo.png|right|LeoFS]] | [[image:LeoFS-logo.png|right|LeoFS]] | ||
第141行: | 第141行: | ||
*灰狐非常关注各种编程语言,[[Sonar]] & Code Quality and Code Security 是非常好的领域和切入点。(20210522) | *灰狐非常关注各种编程语言,[[Sonar]] & Code Quality and Code Security 是非常好的领域和切入点。(20210522) | ||
*开源数据库客户端工具首选 [[SQuirreL SQL Client]],并积极参与贡献和生态建设。(20210416) | *开源数据库客户端工具首选 [[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) | *[[Open Build Service]] (OBS) 非常重要,这是大规模构建软件包和操作系统发行版的基础设施,做各种编程语言的重新构建和再分发,每种编程语言都提供版本选择和切换工具。(20201221) | ||
*发起 [[We build open source erp]] 倡议和项目,网聚社区力量,提供高品质开源 ERP 应用和解决方案,[[Axelor]]、[[Apache OFBiz]] 和 [[OFBiz Cloud]] 是我们的核心。(20201217) | *发起 [[We build open source erp]] 倡议和项目,网聚社区力量,提供高品质开源 ERP 应用和解决方案,[[Axelor]]、[[Apache OFBiz]] 和 [[OFBiz Cloud]] 是我们的核心。(20201217) | ||
第153行: | 第155行: | ||
*两条腿走路:[[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]] | [[文件:peertube.png|right]] [[文件:obsproject-logo-small.png|right|OBS Studio]] | ||
第163行: | 第165行: | ||
*[[OpenStreetMap]] 关乎你我,值得投入。(20200921) | *[[OpenStreetMap]] 关乎你我,值得投入。(20200921) | ||
*更多关注和参与 [[CentOS]],它是工作站、生产力平台和云端基石,尤其[https://wiki.centos.org/SpecialInterestGroup Special Interest Groups]构建自动化、解决方案和主流软件包维护。(20200914) | *更多关注和参与 [[CentOS]],它是工作站、生产力平台和云端基石,尤其[https://wiki.centos.org/SpecialInterestGroup Special Interest Groups]构建自动化、解决方案和主流软件包维护。(20200914) | ||
− | *[[Eclipse]] & [[Eclipse Equinox]] & [[WSO2 Carbon]] 是我们最重要的生产力平台、模块化平台、企业应用平台,围绕 [[OSGi]] 做商业模式和生态系统。(20200911) | + | *[[Eclipse]] & [[Eclipse Equinox]] & [[WSO2 Carbon]] 是我们最重要的生产力平台、模块化平台、企业应用平台,围绕 [[OSGi]] 做商业模式和生态系统。(20200911) 不再关注 Java 生态系统 (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) 不再关注 Java 生态系统 (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]] | ||
第173行: | 第175行: | ||
*[[GNU Octave]] & [[SageMath]] 是 [[MATLAB]] 开源替代品。 | *[[GNU Octave]] & [[SageMath]] 是 [[MATLAB]] 开源替代品。 | ||
*[[灰狐社区]],开放、分布式、去中心化的[[Social network|社交网络]],[[Open Microblogging Alliance]] 是一个远期理想。 | *[[灰狐社区]],开放、分布式、去中心化的[[Social network|社交网络]],[[Open Microblogging Alliance]] 是一个远期理想。 | ||
− | *基于[[Elassandra]] = [[Elasticsearch]] + [[Apache Cassandra]]的[[灰狐数据]] | + | *基于[[Elassandra]] = [[Elasticsearch]] + [[Apache Cassandra]]的[[灰狐数据]]是问答和知识图谱的支撑系统,每个人都有一个属于自己的知识助手,帮助更好的学习、问答和获取知识。不再关注 Java 生态系统 (20220220) |
*[[Huihoo Cloud]] | *[[Huihoo Cloud]] | ||
*[[Huihoo Network]] & [[Hyperledger Project]] | *[[Huihoo Network]] & [[Hyperledger Project]] | ||
第191行: | 第193行: | ||
*[[HMQ]] | *[[HMQ]] | ||
[[文件:OpenSearch.png|right]] | [[文件:OpenSearch.png|right]] | ||
− | *[[gougou|狗狗]],[[Apache Cassandra]] 是强健的分布式基础设施,狗狗搜索(基于 [[Apache Solr]] 和 [https://opensearch.org/ OpenSearch] | + | *[[gougou|狗狗]],[[Apache Cassandra]] 是强健的分布式基础设施,狗狗搜索(基于 [[Apache Solr]] 和 [https://opensearch.org/ OpenSearch])是我们的一个长期理想。不再关注 Java 生态系统 (20220220) |
*[[e3 ofbiz]], [http://huihoo.org/ofbiz-smart OFBiz Smart] | *[[e3 ofbiz]], [http://huihoo.org/ofbiz-smart OFBiz Smart] | ||
*[[CiviCRM]] 整合 [[WordPress]] 管理联系人、捐款和活动注册。 | *[[CiviCRM]] 整合 [[WordPress]] 管理联系人、捐款和活动注册。 |
2022年2月20日 (日) 02:29的版本
灰狐基金会
目录 |
简介
灰狐基金会承载着灰狐的希望与梦想。
了解、认识、并支持Huihoo。
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 和 .NET ecosystem 建设。
Open Provable Foundation 信仰基础和理论基石
Coq 和 Agda 是主要的 Formal verification language
数学是我们的最爱,她美丽而纯洁。
Scilab, GNU Octave, Maxima, SageMath 是数值运算、科学计算软件、计算机代数系统、数学软件和 STEM 选择。
重点持续关注、跟进、参与三个语言家族:Lisp、Erlang、Haskell,作为整个编程语言研究的基石,LFE 和 Carp 将它们关联和融合起来。
PHP 最普适的 Web 编程语言,我们一直都在使用它。 享受编程乐趣和程序员最好的朋友:Ruby on Rails
MediaWiki 承载大规模百科全书、知识分享和协作管理,Semantic MediaWiki(语义维基)wikiHow 给出了非常好的应用方式,可通过邮件咨询源代码
基于 OpenProject 项目管理软件构建分布式协作、网络协同基础设施。
Office, OpenOffice 的自由选择:LibreOffice
对 国际象棋 的热爱
筹划在海外成立灰狐基金会非盈利性组织。
愿景
维护、保护可能被遗失、失落的技术与文明,如小语种编程语言和自然语言。
Software Freedom Conservancy 软件自由保护协会
对托管在 GitHub 上 Awesome 项目的跟踪、筛选、推荐和健康值分析、社区治理、生命周期管理。CHAOSS
治理
参与者公约 开源社区的行为准则
参考FSF治理方式
CiviCRM 集成 WordPress 是联系人、会员关系、捐款、活动、业务管理、沟通联络和关系维护的运营支撑系统。
Red Hat 投身贡献的开源社区,也提供了指导方向和治理模式。
编程语言
值得关注、留存、继承的编程语言,不少古老的编程最后以 GNU 编程语言的方式留存和发展着。
- 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
- Illumos An open-source Unix operating system,纯正 UNIX 的最后承载。(20220213)
- 基于 Erlang,分布式、可伸缩的文档数据库和对象存储对灰狐基金会至关重要,Apache CouchDB 和 LeoFS 是扛把子。(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)
- 通过 ownCloud & 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)
- Eclipse & Eclipse Equinox & WSO2 Carbon 是我们最重要的生产力平台、模块化平台、企业应用平台,围绕 OSGi 做商业模式和生态系统。(20200911) 不再关注 Java 生态系统 (20220220)
- 持续关注 Open Bank Project (20200907)
- 更多参与 AdoptOpenJDK、WSO2 Carbon、WSO2 API Manager、WSO2 Identity Server 等项目的开发和贡献,Apache v2 许可证。(20200902) 不再关注 Java 生态系统 (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的灰狐数据是问答和知识图谱的支撑系统,每个人都有一个属于自己的知识助手,帮助更好的学习、问答和获取知识。不再关注 Java 生态系统 (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)是我们的一个长期理想。不再关注 Java 生态系统 (20220220)
- e3 ofbiz, OFBiz Smart
- CiviCRM 整合 WordPress 管理联系人、捐款和活动注册。
- Open Hardware
- Scrapy
- 更多参与Apache项目,如:Apache Usergrid、HDFS、Apache HBase ...
捐赠
捐赠赞助灰狐,支持灰狐基金会。