欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
灰狐基金会
灰狐基金会
| 目录 | 
简介
灰狐基金会承载着灰狐的希望与梦想。
了解、认识、并支持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
 程序员最好的朋友 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!
 Expand Your Multi-Cloud to the Edge!
 
  
  Dart, Flutter, Tizen 作为灰狐移动的创新点。
 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 ...


















































































