灰狐基金会

来自开放百科 - 灰狐
(版本间的差异)
跳转到: 导航, 搜索
(简介)
(简介)
第21行: 第21行:
 
[[Coq]] 和 [[Agda]] 是主要的 [[Formal verification]] language [[文件:Coq-logo.png]] [[文件:Agda-language-logo.png]]
 
[[Coq]] 和 [[Agda]] 是主要的 [[Formal verification]] language [[文件:Coq-logo.png]] [[文件:Agda-language-logo.png]]
  
[[Mathematics|数学]]是最爱,[[Scilab]], [[GNU Octave]], [[Maxima]], [[SageMath]] 是数值运算、科学计算软件、计算机代数系统、数学软件和 STEM 选择。[[文件:Puffin120x120.png]] [[文件:octave-logo.png]] [[文件:Maxima-logo.png]] [[文件:SageMath-logo.png]]
+
[[Mathematics|数学]]是最爱,[[Scilab]], [[GNU Octave]], [[Maxima]], [[SageMath]], [[LaTeX]] 是数值运算、科学计算软件、计算机代数系统、数学软件、出版系统和 STEM 选择。
 +
 
 +
[[文件:Puffin120x120.png]] [[文件:octave-logo.png]] [[文件:Maxima-logo.png]] [[文件:SageMath-logo.png]] [[文件:Latex-project-logo.png]]
 
   
 
   
 
[[文件:chess.png|right|国际象棋]]
 
[[文件:chess.png|right|国际象棋]]
第33行: 第35行:
 
基于 [[OpenProject]] 项目管理软件构建分布式协作、网络协同基础设施。[[文件:OpenProject-logo.png]]
 
基于 [[OpenProject]] 项目管理软件构建分布式协作、网络协同基础设施。[[文件:OpenProject-logo.png]]
  
Office, OpenOffice 的自由选择:[[LibreOffice]] [[文件:LibreOffice-logo.png|LibreOffice-logo.png]]
+
Office 的自由选择:[[LibreOffice]] [[文件:LibreOffice-logo.png|LibreOffice-logo.png]]
  
 
对 [[国际象棋]] 的热爱
 
对 [[国际象棋]] 的热爱

2022年2月20日 (日) 15:27的版本

灰狐基金会

Fortran
Racket-logo-150x150.png

目录

简介

Aeternity
MediaWiki
Semantic MediaWiki

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

了解、认识、并支持Huihoo

C-logo.png Cpp-logo.png Dotnet-foundation.png Erlang-90x90.gif Made-with-lisp.jpg LFE-logo-abbr-6.2.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 ecosystem.NET ecosystem(用 C# 去更多替代 Java) 建设。

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

CoqAgda 是主要的 Formal verification language Coq-logo.png Agda-language-logo.png

数学是最爱,Scilab, GNU Octave, Maxima, SageMath, LaTeX 是数值运算、科学计算软件、计算机代数系统、数学软件、出版系统和 STEM 选择。

Puffin120x120.png Octave-logo.png Maxima-logo.png SageMath-logo.png Latex-project-logo.png

国际象棋

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

PHP 最普适的 Web 编程语言,我们一直都在使用它。Php-logo.png 享受编程乐趣和程序员最好的朋友:Ruby on Rails Ruby Rails

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

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

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

国际象棋 的热爱

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

愿景

Awesome

维护、保护可能被遗失、失落的技术与文明,如小语种编程语言和自然语言。

Software Freedom Conservancy 软件自由保护协会

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

治理

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

参考FSF治理方式

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

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

编程语言

D语言
GnuCOBOL
GNU Pascal
FreeBASIC
Free Pascal

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

成员

灰狐团队

项目

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

LeoFS
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

捐赠

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

合作伙伴

图集

链接

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

变换
操作
导航
工具箱