灰狐教育
计算机编程从娃娃抓起，在学习中编程，在编程中学习。
目录
1 愿景
2 路线图
3 STEM
4 自由软件
5 形式化
6 Code.org
7 freeCodeCamp
8 相关服务
9 培训内容
10 LibreOffice
11 KDE
12 Scratch
13 Smalltalk
14 操作系统
15 编程语言
16 自然语言
17 数学
18 教育内容
19 在线教育
20 开放大学
21 解决方案
22 儿童教育
23 儿童编程
24 游戏化
25 国际象棋
26 计算设备
27 图集
28 链接
愿景
我们深信教育是最好的投资，大到国际社会，小到家庭个人。
科学通识、数学、物理学、化学是灰狐教育的核心内容。
灰狐教育倡导全民教育、终身学习。
让每个人都享有平等教育的权利和机会，帮助每个人有尊严的工作和生活。
将全球优秀的教育资源搬上网，让国内的孩子都能学习到先进的知识和理念。
ps: 拒绝愚昧洗脑，拥抱先进文明。
灰狐教育也是一个自然语言、编程语言和开源软件教育组织。
灰狐教育专注数学、物理学、编程语言和人类语言教育培训，我们相信语言的力量。
专注妇女、儿童的编程、数学、物理学、语言、英语教育培训。
路线图
将Squeak/Pharo用于编程学习、游戏动画、交互原型、创新平台的教学实验和集成开发环境，灰狐参与Squeak/Pharo的开发与推广。
将Racket用于编程语言设计，灰狐参与Racket的开发与推广。
选择Python开发，基于EdX的在线学习系统。
参考PHP开发，Mahara倡导终身教育也常被用于学校和高等教育，ePortfolio-based Learning 基于电子档案的学习。
参考Java开发，基于OpenOLAT和OLAT构建。
STEM
灰狐 SETM 教育致力于提高年轻人和工程技术人员对 STEM 学科和职业的参与度和成就。
Lisp 是 STEM 教育的核心编程语言。
自由软件
自由软件与教育
科技巨头威胁整个社会和教育
自由软件，自由社会（第三版）
投身于自由软件不仅仅是对于知识，同时也包括授权：授权学习，授权修改，授权分享，以及授权使之能够被分享。争取信息时代的自由需要拒绝在自由软件核心原则上妥协，并且要有牺牲精神。很多人可能拒绝这些负担，他们只想获得更多的财富；而其他人却在努力增加人类知识的深度和广度。通过实现自由软件，我们能发现一种面向长期愿景的可持续性发展模式，不仅增加了知识，同时切实可行的的将这些知识自由地分享给所有人。这份崇高的事业以其无差别的关怀泽及我们每一个人；从现实到超现实，自由软件都被涉及。
教育类自由软件
形式化
软硬件形式化验证教育培训和服务是核心咨询内容，Lisp (ACL2) & OCaml（Coq） & Haskell（Agda, Idris） 是核心语言和形式化能力。
Coq In The Classroom
Code.org
Code.org @ GitHub
freeCodeCamp
freeCodeCamp像打魔兽一样学编程!
freeCodeCamp 已经被证明是获取编程工作的最有效路径，事实上，没人完成了所有课程，因为他们都在完成之前就找到了工作。
freeCodeCamp freeCodeCamp @ GitHub
freeCodeCamp中文社区 FreeCodeCamp.cn(FCC China) @ GitHub
相关服务
灰狐公开课
开放大学
灰狐咨询
培训内容
编程、数学、英语，它们是灰狐教育的三架马车。
C#/F#：简单、现代、通用，面向对象和函数式编程语言，可开发Desktop、App、Web、Server等各种形式的应用和服务，其设计的严谨和规范化适合各个层次的编程语言教学。
MED(营销应用数据)营销推广、企业应用、数据科学培训，覆盖M3, E3, D3三个项目。
国际象棋
LibreOffice
LibreOffice 不仅仅是自由开源的办公套件，也是生产力软件。
KDE
KDE Edu
Scratch
通过Scratch帮助孩子们学习编程，在学习中编程，在编程中学习。
孩子们可以利用它学习编程，与他人一起分享自己创作的互动式媒体作品如故事，游戏和动画。
ScratchEd 是一个Scratch教育工作者的在线社区。
Scratch Blocks is a fork of Google Blockly project
Smalltalk
Smalltalk is the consummate teaching language
Squeak, Pharo 沉浸式，非常适合编程教育，有强大的集成和编程环境。
其虚拟机机制，使其能够非常方便的创建各种教学环境和交互场景。
Teaching ICT Trends with Pharo
GNU Dr.Geo 设计和操作有约束的互动几何草图
操作系统
CosmosOS 一个包含操作系统（BSD 3-Clause）的平台，From drivers to applications, it's all .NET，可分发这个操作系统并用于操作系统教育和语言培训。
Sugar Labs Learning software for children
Sugar on a Stick(SOAS)是一个基于Fedora的操作系统。
Debian Edu / Skolelinux Stretch — a complete Linux solution for your school
Skolelinux
编程语言
学习编程语言，要牢牢抓住语言的三个核心：语言规范、语言类型、语言运行时。
Lisp、Erlang、C++ 是主要编程语言。
Functional Programming in Haskell
mal - Make a Lisp 这个项目很重要。
《SICP Python 描述中文版》
PWCT-Programming Without Coding Technology 这个项目蛮有意思，同时还开发了基于C语言PWCT开发的Ring编程语言
C#适合儿童编程，它标准、丰富、有趣，可以用来编写用户交互、桌面、游戏、App，你可想到的都可以尝试用C#编写。
LogoSharp 重回控制小海龟的美好童年，儿童编程从 Logo 开始。
我们也从Racket开启你的编程语言学习和研究之路。
Smalltalk/Squeak、Haskell 面向对象和函数式编程，两条腿走路。
儿童青少年编程从Scratch/JavaScript、PHP、Python开始。
适合所有年龄段孩子的个人计算机：OLPC + Squeak
PHP、Python、Ruby 是灰狐教育的三大Web语言，因为它们的普适性、易用、"简单“，适合孩子们从小学习。
OnlineJudge 一个基于 Python 和 Vue 的在线评测系统
自然语言
英语
日语
数学
数学是灰狐教育的核心领域，我们使用 Maxima、SageMath 和Scilab、GNU Octave 进行相关学习和教学。
教育内容
教孩子们数学、编程、游戏，伴随他们健康成长。
灰狐教育关注以下领域：
Scratch：儿童编程、游戏动漫
Unity3D、cocos2d-x、虚幻引擎：手游、游戏影视
C#、C++：游戏编程、灰狐D3
在线教育
灰狐教育(Huihoo Edu)是一个开源的(Apache v2 and GNU LGPL v3) 在线学习和培训系统，基于 E3 learning 构建。
我们分发灰狐教育企业版、灰狐教育校园版，希望能更好的服务于企业和学校。
灰狐教育也将提供自由、开源软件的培训课程，帮助大家学习知识与能力提升。
开放大学
开放大学是我们的一个理想。
解决方案
我们为企业和学校提供在线教育和培训解决方案：E3 learning
企业版
校园版
儿童教育
Oppia交互式教育 Oppia @ GitHub
Sugar Labs Learning software for children Add-ons
Huihoo and Children
学校通过使用Osmo来改变孩子们的合作能力，创造能力，判断性思维能力以及交流能力。
帮助偏远、落后的贫困山区儿童的公益教育。
MIT App Inventor
儿童编程
DevOpsKids
海龟绘图很适合用来引导孩子学习编程
学习Python、摆弄Linux、从小立志做个改变世界的程序员。
游戏化
打造令人難忘的班級
国际象棋
国际象棋
计算设备
OLPC
Arduino、Raspberry Pi
CHIP - The World's First Nine Dollar Computer
Super Compute Project
Mac mini、iPad/Android平板、笔记本电脑
图集
PWCT
链接
灰狐教育
代码仓库
Virtual Worlds Best Practices in Education
Anybody can learn | Code.org
美国留学申请+求职就业咨询|一亩三分地论坛
3 Types of Facebook Ads to Boost Your Online Course Sales (Even on a Small Budget)
菜鸟教程