欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
SourceForge
来自开放百科 - 灰狐
SourceForge is built on a platform-independent Java EE architecture
Features a Services-Oriented Architecture (SOA) that includes an open API and complementary software development kit (SDK)
- SourceForge can be used with any programming language (Java ,C/C++, C#, Perl, Cobol, etc.) and for development for any target application platform (J2EE, .NET, Windows, IBM WebSphere, BEA WebLogic, Linux, etc.)
- SourceForge can be accessed with any standards-compliant webbrowser, so users can access it from virtually any type of client machine
regardless of location (provided they have an internet connection and the appropriate permissions)
- SourceForge is built on a platform-independent J2EE architecture and also features a Services-Oriented architecture (SOA). Together with a
comprehensive SOAP web services API and complementary software development kit (SDK), SourceForge is uniquely well-suited for integration and extensibility within heterogeneous, distributed enterprise environments
分享您的观点