灰狐基金会

来自开放百科 - 灰狐
(版本间的差异)
跳转到: 导航, 搜索
(愿景)
(编程语言)
 
(未显示1个用户的20个中间版本)
第13行: 第13行:
 
[[文件:awesome-logo.png|right|Awesome]]
 
[[文件:awesome-logo.png|right|Awesome]]
  
维护、保护可能被遗失、失落的技术与文明,如小语种编程语言和自然语言。
+
[[Mathematics|数学]]是最爱,[[Scilab]], [[GNU Octave]], [[Maxima]], [[SageMath]], [[TeX Live]]/[[LaTeX]]/[[TeXstudio]] 是数值运算、科学计算软件、计算机代数系统、数学软件、出版系统和 STEM 选择。
  
[[文件:Fortran-logo.png|Fortran]] [[文件:Made-with-lisp.jpg|LISP]] [[文件:cpp-logo.png|C++]]
+
[[文件:Puffin120x120.png]] [[文件:octave-logo.png]] [[文件:Maxima-logo.png]] [[文件:SageMath-logo.png]] [[文件:Texlive-logo.png]] [[文件:Latex-project-logo.png]] [[文件:Texstudio-logo.png]]
  
持续关注和聚焦 [[Fortran]], [[Lisp]], [[C++]] 等[[Mathematics|数学]]、[[量子力学|物理学]]、[[Computational science|计算科学]]、[[Computer science|计算机科学]]语言。
+
维护、保护可能被遗失、失落的技术与文明,如数学科学类软件、小语种编程语言和自然语言。
 +
 
 +
[[文件: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
  
 
==治理==
 
==治理==
第44行: 第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]]   
第56行: 第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]]
第105行: 第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 语言] 用以与世界进行表述表达对话的工具和方式 ...
 +
 +
==数字化==
 +
帮助将重要的[[OpenBook|开放书籍]]、典籍,每个家庭家族的纸质资料进行扫描和数字化(扫描私有化)。
 +
 +
纸质和数字化互为转换和备份。
 +
 +
参考:[https://www.hp.com/cn-zh/printers/scanners.html HP ScanJet 助您轻松将纸质文件数字化]
  
 
==编程语言==
 
==编程语言==
第114行: 第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

目录

[编辑] 简介

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

了解、认识、并支持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 作为灰狐移动的创新点。

[编辑] 自然语言

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

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

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

[编辑] 数字化

帮助将重要的开放书籍、典籍,每个家庭家族的纸质资料进行扫描和数字化(扫描私有化)。

纸质和数字化互为转换和备份。

参考:HP ScanJet 助您轻松将纸质文件数字化

[编辑] 编程语言

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

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

Hardware description language 是核心,是重点

[编辑] 项目

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

[编辑] 合作伙伴

[编辑] 图集

[编辑] 链接

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

变换
操作
导航
工具箱