灰狐基金会

来自开放百科 - 灰狐
(版本间的差异)
跳转到: 导航, 搜索
(愿景)
(自然语言)
(未显示1个用户的18个中间版本)
第13行: 第13行:
 
[[文件:awesome-logo.png|right|Awesome]]
 
[[文件:awesome-logo.png|right|Awesome]]
  
维护、保护可能被遗失、失落的技术与文明,如小语种编程语言和自然语言。
+
[[Mathematics|数学]]是最爱,[[Scilab]], [[GNU Octave]], [[Maxima]], [[SageMath]], [[TeX Live]]/[[LaTeX]]/[[TeXstudio]] 是数值运算、科学计算软件、计算机代数系统、数学软件、出版系统和 STEM 选择。
  
持续关注和聚焦 [[Fortran]], [[Lisp]], [[C++]] 等[[Mathematics|数学]]、[[量子力学|物理学]]、[[Computational science|计算科学]]、[[Computer science|计算机科学]]语言。
+
[[文件: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
  
 
==治理==
 
==治理==
第42行: 第51行:
  
 
==关注==
 
==关注==
[[文件:Fortran-logo.png|right|Fortran]]
 
 
[[文件:racket-logo-150x150.png|right]]
 
[[文件:racket-logo-150x150.png|right]]
 
[[文件:Aeternity-logo.png|right|Aeternity]]
 
[[文件:Aeternity-logo.png|right|Aeternity]]
  
[[文件:c-logo.png]] [[文件:cpp-logo.png]] [[文件:CSharp-logo.png]] [[文件:mono-logo.png|Mono]] [[文件:Erlang-90x90.gif]] [[文件:Made-with-lisp.jpg]] [[文件:LFE-logo-abbr-6.2.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]]   
第54行: 第62行:
 
[[Open Provable Foundation]] 信仰基础和理论基石   
 
[[Open Provable Foundation]] 信仰基础和理论基石   
  
[[Formal verification]] [[文件:Coq-logo.png]] [[文件:Agda-language-logo.png]] [[GCC]], [[LLVM]], [[Roslyn]] [[文件:GCC-logo.png]] [[文件:LLVM-logo.png]] [[文件:roslyn-compiler.png|Roslyn Compiler]]
+
[[Formal verification]] [[文件:Coq-logo.png]] [[文件:Agda-language-logo.png]] [[GCC]], [[LLVM]] [[文件:GCC-logo.png]] [[文件:LLVM-logo.png]]
 
+
[[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]]
+
 
   
 
   
 
[[文件:MediaWiki-logo.png|right|MediaWiki]]
 
[[文件:MediaWiki-logo.png|right|MediaWiki]]
第103行: 第107行:
  
 
[[文件:Dart-logo.png]] [[文件:Flutter-logo.png]] [[文件:Tizen-logo.png]] [[Dart]], [[Flutter]], [[Tizen]] 作为[[灰狐移动]]的创新点。
 
[[文件:Dart-logo.png]] [[文件:Flutter-logo.png]] [[文件:Tizen-logo.png]] [[Dart]], [[Flutter]], [[Tizen]] 作为[[灰狐移动]]的创新点。
 +
 +
==自然语言==
 +
小语种自然语言是文化多元化的关键所在 ...
 +
 +
[[Computational linguistics|计算语言学]] 和 [[Machine translation|机器翻译]] 是核心研究领域
 +
 +
可更广义点,把自然语言、编程语言、数学、音乐 ... 都理解为[https://forge.huihoo.com/projects/languages 语言] 用以与世界进行表述表达对话的工具和方式 ...
  
 
==编程语言==
 
==编程语言==

2022年11月30日 (三) 02:13的版本

灰狐基金会

Huihoo

目录

简介

灰狐基金会承载着灰狐的希望与梦想。

了解、认识、并支持Huihoo

筹划在海外成立灰狐基金会非盈利性组织。

愿景

Awesome

数学是最爱,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 LISP Haskell-Logo.png Erlang-logo.png C++

持续关注和聚焦 Fortran, Lisp, Haskell, Erlang, C++数学物理学计算科学原子计算计算机科学语言。

Software Freedom Conservancy 软件自由保护协会

对托管在 GitHub 上 Awesome 项目的跟踪、筛选、推荐和健康值分析、社区治理、生命周期管理。CHAOSS

  • Make Fortran Great Again
  • Make Lisp Great Again

治理

CiviCRM
GiveWP

参与者公约 开源社区的行为准则

参考FSF治理方式

CiviCRM 集成同步 WordPress + GiveWP 是联系人、会员关系、捐款、活动、业务管理、沟通联络和关系维护的运营支撑系统。

Red Hat 投身贡献的开源社区,也提供了指导方向和治理模式。

捐赠

捐赠赞助灰狐,支持灰狐基金会。

成员

灰狐团队

关注

Racket-logo-150x150.png
Aeternity

C-logo.png CSharp-logo.png Mono Erlang-90x90.gif LFE-logo-abbr-6.2.png

灰狐浏览器和开放云是长期理想,也是种信仰。端(NayuOS) + 云(We build open source private cloud),灰狐浏览器 based on ChromiumFirefox Chromium-90x90.gif Firefox-90x90.png

Huihoo love C/C++, Fortran, Lisp, Erlang/LFE/aeternity, Haskell and OCaml/F#, Run on FreeBSD。全面拥抱 Scheme, Common Lisp, Haskell and OCaml/F#, 全面投入 Lisp ecosystemErlang ecosystem, Haskell ecosystem, OCaml ecosystemMono(用 C# 去更多替代 Java,用Avalonia 构建跨平台应用) 建设。

Open Provable Foundation 信仰基础和理论基石

Formal verification Coq-logo.png Agda-language-logo.png GCC, LLVM GCC-logo.png LLVM-logo.png

MediaWiki
Semantic MediaWiki
国际象棋
LAMP stack

重点持续关注、跟进、参与三个语言家族:LispErlangHaskell,作为整个编程语言研究的基石,LFECarp 将它们关联和融合起来。

PHP, SymfonyAngular 普适 Web Php-logo.png Symfony-logo.png Angular.png 程序员最好的朋友 Ruby on Rails Ruby Rails

PHP, Ruby, Python on .NET and Dynamic Language Runtime + Orleans IronLanguages-logo.png Orleans PeachPie

使用 RoadRunnerPhusion Passenger web server and application server, 应对 PHP, Ruby, Python 高性能、高并发挑战。

MediaWiki 承载大规模百科全书、知识分享和协作管理,Semantic MediaWiki语义维基wikiHow 给出了非常好的应用方式,可通过邮件咨询源代码

基于 OpenProject 项目管理软件构建分布式协作、网络协同基础设施。OpenProject-logo.png

Office 的自由选择:LibreOffice LibreOffice-logo.png

国际象棋 的热爱

安全TLSCryptography GnuTLS OpenSSL LibreSSL Let's Encrypt

推崇零信任架构,零信任网络:在不可信网络中构建安全系统

ERP/CRM、企业应用、商务应用、Web应用由 Odoo 和 OCA 承载。Odoo-logo.png OCA-logo.png

GNU Health 关注自由免费医疗,推进社会医学的改革与优化。Gnu-health-isologo.png Gnu-solidario-isologo.png

灰狐推广 的核心 统计广告系统 Matomo Revive Adserver

LAMP(Linux, Apache, 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 作为灰狐移动的创新点。

自然语言

小语种自然语言是文化多元化的关键所在 ...

计算语言学机器翻译 是核心研究领域

可更广义点,把自然语言、编程语言、数学、音乐 ... 都理解为语言 用以与世界进行表述表达对话的工具和方式 ...

编程语言

Huihoo love Haskell
D语言
GnuCOBOL
GNU Pascal
FreeBASIC
Free Pascal

值得关注、留存、继承的编程语言,不少古老的编程最后以 GNU 编程语言的方式留存和发展着。

项目

Huihoo Love They
Android-and-huihoo.png Replicant-logo.png Huihoo Love OCaml IHeartFsharp.png GNU Guile 编程语言 ORY
ScyllaDB-logo.jpg riak Apache CouchDB Wazuh-logo.png GNU Guix 操作系统 OpenNebula
Postgresql-logo.png Mariadb-foundation.png Gtk-90x90.png ReactOS.png Huihoo-debian.gif Freebsd-90x90.png

OpenZFS
Ceph
LeoFS
Nextcloud
Illumos
Blender
LineageOS
  • Android 是我们最重要的消息端、内容平台和终端设备,持续跟进 ReplicantLineageOS 项目,灰狐移动 是商业承载。(20201031)
  • 我们应该积极参与开发维护和运营开放的 Wazuh & CA & PKI 开源解决方案,如:CFSSL (20201018)
  • 两条腿走路:PHPJava,PHP on JVM,graalphp。此外,紧握 GoErlang。 (20201017)
  • PHP 是灰狐最喜爱的语言,Peachpie 扩展 PHP 更多可能性。(20201016)
  • MariaDB & PostgreSQL(CitusDB/TimescaleDB) 是整个灰狐生态核心数据库,需长期耕耘和实践,灰狐也是一家 MariaDB & PostgreSQL 技术服务商。(20201015)
  • 时机成熟再重启 JFox。(20201009)
Peertube.png
OBS Studio
Shotcut
  • 我们需要一个自由开源的视频编辑Shotcut、视频流软件OBS Studio,有由你主导的视频网站和P2P分发平台PeerTube,对标 YouTube。(20201002)

开放电影、开放电影工作室是我们以往的理想,继续学习和创作有价值和感人的视频。(20211010)

OpenSearch.png

更多项目 @ GitHub

合作伙伴

图集

链接

分享您的观点
个人工具
名字空间

变换
操作
导航
工具箱