欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
灰狐基金会
小 (→关注) |
小 (→编程语言) |
||
(未显示1个用户的29个中间版本) | |||
第13行: | 第13行: | ||
[[文件:awesome-logo.png|right|Awesome]] | [[文件: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] 软件自由保护协会 | [https://racket-lang.org/sfc.html Software Freedom Conservancy] 软件自由保护协会 | ||
对托管在 GitHub 上 [https://github.com/topics/awesome Awesome 项目]的跟踪、筛选、推荐和健康值分析、社区治理、生命周期管理。[[CHAOSS]] | 对托管在 GitHub 上 [https://github.com/topics/awesome Awesome 项目]的跟踪、筛选、推荐和健康值分析、社区治理、生命周期管理。[[CHAOSS]] | ||
+ | |||
+ | *Make Fortran Great Again | ||
+ | *Make Lisp Great Again | ||
==治理== | ==治理== | ||
第40行: | 第51行: | ||
==关注== | ==关注== | ||
− | |||
[[文件:racket-logo-150x150.png|right]] | [[文件:racket-logo-150x150.png|right]] | ||
[[文件:Aeternity-logo.png|right|Aeternity]] | [[文件:Aeternity-logo.png|right|Aeternity]] | ||
− | [[文件:c-logo.png]] [[文件: | + | [[文件: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]] | [[灰狐浏览器]]和开放云是长期理想,也是种信仰。端([[NayuOS]]) + 云([[We build open source private cloud]]),灰狐浏览器 based on [[ Chromium]] 和 [[Firefox]] [[文件:Chromium-90x90.gif]] [[文件:Firefox-90x90.png]] | ||
第52行: | 第62行: | ||
[[Open Provable Foundation]] 信仰基础和理论基石 | [[Open Provable Foundation]] 信仰基础和理论基石 | ||
− | [[Formal verification]] [[文件:Coq-logo.png]] [[文件:Agda-language-logo.png]] [[GCC]], [[LLVM | + | [[Formal verification]] [[文件:Coq-logo.png]] [[文件:Agda-language-logo.png]] [[GCC]], [[LLVM]] [[文件:GCC-logo.png]] [[文件:LLVM-logo.png]] |
− | + | ||
− | + | ||
− | + | ||
− | + | ||
[[文件:MediaWiki-logo.png|right|MediaWiki]] | [[文件:MediaWiki-logo.png|right|MediaWiki]] | ||
第80行: | 第86行: | ||
对 [[国际象棋]] 的热爱 | 对 [[国际象棋]] 的热爱 | ||
− | [[灰狐安全|安全]]、[[TLS]]、[[Cryptography | + | [[灰狐安全|安全]]、[[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]] | ERP/CRM、企业应用、商务应用、Web应用由 [[E3 odoo|Odoo]] 和 OCA 承载。[[文件:Odoo-logo.png]] [[文件:OCA-logo.png]] | ||
第88行: | 第96行: | ||
[[灰狐推广]] 的核心 [[Matomo|统计]]和[[Revive Adserver|广告]]系统 [[文件:Matomo-logo.png|Matomo]] [[文件:Revive-adserver-logo.png|Revive Adserver]] | [[灰狐推广]] 的核心 [[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]] | + | 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]] | 值得信赖的开源端到端数据湖管理方案:[[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! | [[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 助您轻松将纸质文件数字化] | ||
==编程语言== | ==编程语言== | ||
第102行: | 第130行: | ||
[[文件:Free-Pascal-logo.gif|right|Free Pascal]] | [[文件:Free-Pascal-logo.gif|right|Free Pascal]] | ||
值得关注、留存、继承的编程语言,不少古老的编程最后以 [https://en.wikipedia.org/wiki/List_of_GNU_packages GNU 编程语言]的方式留存和发展着。 | 值得关注、留存、继承的编程语言,不少古老的编程最后以 [https://en.wikipedia.org/wiki/List_of_GNU_packages GNU 编程语言]的方式留存和发展着。 | ||
+ | |||
+ | [[Hardware description language]] 是核心,是重点 | ||
+ | |||
*[[GNU Fortran]] | *[[GNU Fortran]] | ||
*[[GNU Common Lisp]] | *[[GNU Common Lisp]] |
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 ...