欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
IDEX
IDEX 一个跨平台的IDE。
目录 |
路线图
- 先分发IDEX MonoDevelop,支持C++, C#, F#开发语言。(2017.02.15)
- 做Emacs分发版,因为它是最强大、最智能、可进化、神一般的编辑器,是超级生产力平台。(2017.01.01)
IDEX有三个不同路线图和分发 (2016.09.18)
- IDEX based on Code::Blocks for C/C++/Fortran and GCC, LLVM
- IDEX JVM on IntelliJ IDEA for Java, Scala, Clojure
- IDEX Code based on Visual Studio Code for JavaScript, TypeScript, PHP and All (重点)
- IDEX Emacs based on Emacs for C, OCaml
IDEX based on Code::Blocks,C++比C#在桌面、游戏、大数据分析、机器学习上更具优势,MonoDevelop暂缓。(2016.12.29)
IDEX,基于 .NET 构建,使用 C Sharp 和 F Sharp 开发。(2016.09-)
IDEX,基于 Light Table 构建,Clojure 和 ClojureScript 驱动。(2016.05.13)
IDE-X 由 C++, Qt, Go 驱动。(2014.09.28)
OpenVS: C, C++, C#, iOS, Android, Windows Phone Apps Developer IDE,支持HTML5、Flash应用。
OpenVS(Open Visual Studio or Open V Studio...): 一个开放的Visual Studio, 学习Eclipse, 打造C, C++, C# 的快速开发平台, 可运行于Windows, Linux/UNIX, Mac平台上.
OpenVS 基于 MonoDevelop,使用Mono + MonoDevelop在iOS、Android、Windows Phone上开发C#应用。(2012.5.20)
OpenVS 还是要基于 Eclipse,因为 Java 世界不能忽略。(2012.1.26)
OpenVS based on Mozilla + Open Komodo (2011.05.23) 其扩展性可充分利用Mozilla平台的Add-ons机制,发展模式:扩展可免费或商业化
OpenVS based on GTK+ ...(2011)
OpenVS based on Qt, GTK+ ...(2010)
OpenVS based on Eclipse, MoSync... (2009)
Support Qt、GTK+、C++、Python、PHP、JavaScript、Android、MeeGo ...
我们需要有一把独门兵器,行走江湖,这就是 OpenVS :)
Projects
- Open Komodo
- Aptana
- PhoneGap
- CodeLite
- GCC
- Monkey Studio
- MonoDevelop
- QDevelop
- GNU Make
- CMake
- QMake
- NMAKE 学习Make for Microsoft Windows
- Anjuta
- Code::Blocks
- Lazarus
- WinMerge
- mcpp
- Boa Constructor
- DrPython
- SciTE
- PyPE
- Pida
- PyScripter
- Qt Creator