欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
灰狐基金会
小 (→简介) |
小 (→简介) |
||
第20行: | 第20行: | ||
[[Open Provable Foundation]] 信仰基础和理论基石 | [[Open Provable Foundation]] 信仰基础和理论基石 | ||
− | [[Coq]] 和 [[Agda]] 是主要的 [[Formal verification]] language [[文件:Coq-logo.png]] [[文件:Agda-language-logo.png]] | + | [[Coq]] 和 [[Agda]] 是主要的 [[Formal verification]] language [[文件: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 选择。 | [[Mathematics|数学]]是最爱,[[Scilab]], [[GNU Octave]], [[Maxima]], [[SageMath]], [[TeX Live]]/[[LaTeX]]/[[TeXstudio]] 是数值运算、科学计算软件、计算机代数系统、数学软件、出版系统和 STEM 选择。 |
2022年3月26日 (六) 11:23的版本
灰狐基金会
目录 |
简介
灰狐基金会承载着灰狐的希望与梦想。
了解、认识、并支持Huihoo。
灰狐浏览器和开放云是长期理想,也是种信仰。端(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 信仰基础和理论基石
Coq 和 Agda 是主要的 Formal verification language GCC 和 LLVM
数学是最爱,Scilab, GNU Octave, Maxima, SageMath, TeX Live/LaTeX/TeXstudio 是数值运算、科学计算软件、计算机代数系统、数学软件、出版系统和 STEM 选择。
重点持续关注、跟进、参与三个语言家族:Lisp、Erlang、Haskell,作为整个编程语言研究的基石,LFE 和 Carp 将它们关联和融合起来。
PHP, Symfony 和 Angular 普适 Web 程序员最好的朋友 Ruby on Rails
PHP, Ruby, Python on .NET and Dynamic Language Runtime + Orleans
MediaWiki 承载大规模百科全书、知识分享和协作管理,Semantic MediaWiki(语义维基)wikiHow 给出了非常好的应用方式,可通过邮件咨询源代码
基于 OpenProject 项目管理软件构建分布式协作、网络协同基础设施。
Office 的自由选择:LibreOffice
对 国际象棋 的热爱
安全、TLS、Cryptography、Let's Encrypt
ERP/CRM、企业应用、商务应用、Web应用由 Odoo 和 OCA 承载。
GNU Health 关注自由免费医疗,推进社会医学的改革与优化。
LAMP(Linux, Apache, MySQL, PHP)依然是完美架构,是最普适的 Web 基础设施,Debian 是一个完全自由的操作系统。
筹划在海外成立灰狐基金会非盈利性组织。
愿景
维护、保护可能被遗失、失落的技术与文明,如小语种编程语言和自然语言。
Software Freedom Conservancy 软件自由保护协会
对托管在 GitHub 上 Awesome 项目的跟踪、筛选、推荐和健康值分析、社区治理、生命周期管理。CHAOSS
治理
参与者公约 开源社区的行为准则
参考FSF治理方式
CiviCRM 集成同步 WordPress + GiveWP 是联系人、会员关系、捐款、活动、业务管理、沟通联络和关系维护的运营支撑系统。
Red Hat 投身贡献的开源社区,也提供了指导方向和治理模式。
编程语言
值得关注、留存、继承的编程语言,不少古老的编程最后以 GNU 编程语言的方式留存和发展着。
- 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
- FreeNAS + OpenZFS + FreeBSD or Debian 是 OpenStorage(OpenNAS)的基础。(20020325)
- Illumos An open-source Unix operating system,纯正 UNIX 的最后承载。(20220213)
- 基于 Erlang,分布式、可伸缩的文档数据库和对象存储对灰狐基金会至关重要,Apache CouchDB 和 LeoFS 是扛把子。(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 ...
捐赠
捐赠赞助灰狐,支持灰狐基金会。