欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
灰狐基金会
小 (→简介) |
小 (→项目) |
||
| 第124行： | 第124行： | ||
[[文件:Android-and-huihoo.png]] [[文件:Replicant-logo.png]] [[文件:OCaml-Logo.png|Huihoo Love OCaml]] [[文件:IHeartFsharp.png]] [[文件:GNU-Guile.png|GNU Guile 编程语言]] [[文件:ory-logo.png|ORY]] | [[文件: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 操作系统]] | + | [[文件: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]] [[文件:mariadb-foundation.png]] [[文件:Gtk-90x90.png]] | [[文件:Postgresql-logo.png]] [[文件:mariadb-foundation.png]] [[文件:Gtk-90x90.png]] | ||
| 第145行： | 第145行： | ||
*打造统一的 Open Source Identity and Access Management: [[狗狗通行证]] | *打造统一的 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. | *[[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]] [[OpenNebula]] 是默认解决方案 |
[[文件:OpenZFS-logo.png|right|OpenZFS]] | [[文件:OpenZFS-logo.png|right|OpenZFS]] | ||
[[image:LeoFS-logo.png|right|LeoFS]] | [[image:LeoFS-logo.png|right|LeoFS]] | ||
2022年3月27日 (日) 09:35的版本
灰狐基金会
目录 |
简介
灰狐基金会承载着灰狐的希望与梦想。
了解、认识、并支持Huihoo。
灰狐浏览器和开放云是长期理想，也是种信仰。端（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 信仰基础和理论基石
Coq 和 Agda 是主要的 Formal verification language 
GCC 和 LLVM 
数学是最爱，Scilab, GNU Octave, Maxima, SageMath, TeX Live/LaTeX/TeXstudio 是数值运算、科学计算软件、计算机代数系统、数学软件、出版系统和 STEM 选择。
重点持续关注、跟进、参与三个语言家族：Lisp、Erlang、Haskell，作为整个编程语言研究的基石，LFE 和 Carp 将它们关联和融合起来。
PHP, Symfony 和 Angular 普适 Web 
程序员最好的朋友 Ruby on Rails 
PHP, Ruby, Python on .NET and Dynamic Language Runtime + Orleans 
MediaWiki 承载大规模百科全书、知识分享和协作管理，Semantic MediaWiki（语义维基）wikiHow 给出了非常好的应用方式，可通过邮件咨询源代码
基于 OpenProject 项目管理软件构建分布式协作、网络协同基础设施。
Office 的自由选择：LibreOffice 
对 国际象棋 的热爱
安全、TLS、Cryptography、Let's Encrypt 
ERP/CRM、企业应用、商务应用、Web应用由 Odoo 和 OCA 承载。
GNU Health 关注自由免费医疗，推进社会医学的改革与优化。
LAMP（Linux, Apache, MySQL, PHP）依然是完美架构，是最普适的 Web 基础设施，Debian 是一个完全自由的操作系统。
筹划在海外成立灰狐基金会非盈利性组织。
愿景
维护、保护可能被遗失、失落的技术与文明，如小语种编程语言和自然语言。
Software Freedom Conservancy 软件自由保护协会
对托管在 GitHub 上 Awesome 项目的跟踪、筛选、推荐和健康值分析、社区治理、生命周期管理。CHAOSS
治理
参与者公约 开源社区的行为准则
参考FSF治理方式
CiviCRM 集成同步 WordPress + GiveWP 是联系人、会员关系、捐款、活动、业务管理、沟通联络和关系维护的运营支撑系统。
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语言
Gambas
Lazarus IDE
成员
项目
Huihoo Love They
- 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 是扛把子。(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 ...
捐赠
捐赠赞助灰狐，支持灰狐基金会。
合作伙伴
图集
客户关系和捐赠管理
App
Open Banking
Open Healthcare
SFConservancy项目
NumFOCUS项目
The choice is Yours!
