- Timestamp:
- 11/09/2005 11:10:17 PM (19 years ago)
- Branches:
- 10.0, 10.1, 11.0, 11.1, 11.2, 11.3, 12.0, 12.1, 12.2, 6.2, 6.2.0, 6.2.0-rc1, 6.2.0-rc2, 6.3, 6.3-rc1, 6.3-rc2, 6.3-rc3, 7.10, 7.4, 7.5, 7.6, 7.6-blfs, 7.6-systemd, 7.7, 7.8, 7.9, 8.0, 8.1, 8.2, 8.3, 8.4, 9.0, 9.1, basic, bdubbs/svn, elogind, gimp3, gnome, kde5-13430, kde5-14269, kde5-14686, kea, ken/TL2024, ken/inkscape-core-mods, ken/tuningfonts, krejzi/svn, lazarus, lxqt, nosym, perl-modules, plabs/newcss, plabs/python-mods, python3.11, qt5new, rahul/power-profiles-daemon, renodr/vulkan-addition, systemd-11177, systemd-13485, trunk, upgradedb, xry111/for-12.3, xry111/intltool, xry111/llvm18, xry111/soup3, xry111/spidermonkey128, xry111/test-20220226, xry111/xf86-video-removal
- Children:
- 428434e7
- Parents:
- 895dad28
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
general/prog/other-tools.xml
r895dad28 r6ece1a0a 89 89 90 90 <sect3 role="package"> 91 <title>ABC</title> 92 93 <para><application>ABC</application> is an interactive programming 94 language and environment for personal computing, originally intended as a 95 good replacement for BASIC. It was designed by first doing a task 96 analysis of the programming task. <application>ABC</application> is easy 97 to learn (an hour or so for someone who has already programmed), and yet 98 easy to use. Originally intended as a language for beginners, it has 99 evolved into a powerful tool for beginners and experts alike. Some 100 features of the language include: a powerful collection of only five data 101 types that easily combines strong typing, yet without declarations, 102 no limitations (such as max int), apart from sheer exhaustion of memory 103 refinements to support top-down programming, nesting by indentation and 104 programs typically are one fourth or one fifth the size of the equivalent 105 Pascal or C program. </para> 106 107 <itemizedlist spacing="compact"> 108 <listitem> 109 <para>Project Home Page: <ulink 110 url="http://homepages.cwi.nl/~steven/abc/"/></para> 111 </listitem> 112 <listitem> 113 <para>Download Location: <ulink 114 url="http://homepages.cwi.nl/~steven/abc/implementations.html"/></para> 115 </listitem> 116 </itemizedlist> 117 118 </sect3> 119 120 <sect3 role="package"> 121 <title>ALF</title> 122 123 <para><application>ALF</application> is a language which combines 124 functional and logic programming techniques. The foundation of 125 <application>ALF</application> is Horn clause logic with equality which 126 consists of predicates and Horn clauses for logic programming, and 127 functions and equations for functional programming. The 128 <application>ALF</application> system is an efficient implementation of 129 the combination of resolution, narrowing, rewriting and rejection. 130 Similarly to Prolog, <application>ALF</application> uses a backtracking 131 strategy corresponding to a depth-first search in the derivation 132 tree.</para> 133 134 <itemizedlist spacing="compact"> 135 <listitem> 136 <para>Project Home Page: <ulink 137 url="http://www.informatik.uni-kiel.de/~mh/systems/ALF.html"/></para> 138 </listitem> 139 <listitem> 140 <para>Download Location: <ulink 141 url="http://www.informatik.uni-kiel.de/~mh/systems/ALF/"/></para> 142 </listitem> 143 </itemizedlist> 144 145 </sect3> 146 147 <sect3 role="package"> 91 148 <title>ASM</title> 92 149 … … 113 170 <para>Download Location: <ulink 114 171 url="http://forge.objectweb.org/projects/asm/"/></para> 172 </listitem> 173 </itemizedlist> 174 175 </sect3> 176 177 <sect3 role="package"> 178 <title>BCPL</title> 179 180 <para><application>BCPL</application> is a simple typeless language that 181 was designed in 1966 by Martin Richards and implemented for the first 182 time at MIT in the Spring of 1967.</para> 183 184 <itemizedlist spacing="compact"> 185 <listitem> 186 <para>Project Home Page: <ulink 187 url="http://www.cl.cam.ac.uk/users/mr/BCPL.html"/></para> 188 </listitem> 189 <listitem> 190 <para>Download Location: <ulink 191 url="http://www.cl.cam.ac.uk/users/mr/BCPL/"/></para> 192 </listitem> 193 </itemizedlist> 194 195 </sect3> 196 197 <sect3 role="package"> 198 <title>BETA</title> 199 200 <para><application>BETA</application> is developed within the 201 Scandinavian School of object-orientation, where the first 202 object-oriented language, Simula, was developed. 203 <application>BETA</application> is a modern language in the Simula 204 tradition. The resulting language is smaller than Simula in spite of 205 being considerably more expressive. <application>BETA</application> is a 206 strongly typed language like Simula, Eiffel and C++, with most type 207 checking being carried out at compile-time. It is well known that it is 208 not possible to obtain all type checking at compile time without 209 sacrificing the expressiveness of the language. 210 <application>BETA</application> has optimum balance between compile-time 211 type checking and run-time type checking.</para> 212 213 <itemizedlist spacing="compact"> 214 <listitem> 215 <para>Project Home Page: <ulink 216 url="http://www.daimi.au.dk/~beta/"/></para> 217 </listitem> 218 <listitem> 219 <para>Download Location: <ulink 220 url="ftp://ftp.daimi.au.dk/pub/beta/"/></para> 115 221 </listitem> 116 222 </itemizedlist> … … 326 432 <para>Download Location: <ulink 327 433 url="http://www.cs.ru.nl/~clean/Download/download.html"/></para> 434 </listitem> 435 </itemizedlist> 436 437 </sect3> 438 439 <sect3 role="package"> 440 <title>CORN</title> 441 442 <para><application>CORN</application> is designed for modeling 443 concurrency and advanced computation. It provides lazy evaluation between 444 concurrently worked threads, with object-oriented and functional style of 445 semantic. This language can be also used for parallel computation.</para> 446 447 <itemizedlist spacing="compact"> 448 <listitem> 449 <para>Project Home Page: <ulink 450 url="http://corn.telefonia.pl/"/></para> 451 </listitem> 452 <listitem> 453 <para>Download Location: <ulink 454 url="http://corn.telefonia.pl/download/download.html"/></para> 328 455 </listitem> 329 456 </itemizedlist> … … 448 575 449 576 <sect3 role="package"> 577 <title>Dylan</title> 578 579 <para><application>Dylan</application> is an advanced, object-oriented, 580 dynamic language which supports rapid program development. When needed, 581 programs can be optimized for more efficient execution by supplying more 582 type information to the compiler. Nearly all entities in 583 <application>Dylan</application> (including functions, classes, and basic 584 data types such as integers) are first class objects. Additionally, 585 <application>Dylan</application> supports multiple inheritance, 586 polymorphism, multiple dispatch, keyword arguments, object introspection, 587 macros, and many other advanced features... --Peter Hinely.</para> 588 589 <itemizedlist spacing="compact"> 590 <listitem> 591 <para>Project Home Page: <ulink 592 url="http://www.gwydiondylan.org/"/></para> 593 </listitem> 594 <listitem> 595 <para>Download Location: <ulink 596 url="http://www.gwydiondylan.org/downloading.phtml"/></para> 597 </listitem> 598 </itemizedlist> 599 600 </sect3> 601 602 <sect3 role="package"> 450 603 <title>E</title> 451 604 … … 482 635 483 636 <sect3 role="package"> 637 <title>elastiC</title> 638 639 <para><application>elastiC</application> is a portable high-level 640 object-oriented interpreted language with a C like syntax. Its main 641 characteristics are: open source, interpreted, has portable bytecode 642 compilation, dynamic typing, automatic real very fast garbage collection, 643 object oriented with meta-programming support (a la Smalltalk), 644 functional programming support (Scheme-like closures with lexical 645 scoping, and eval-like functionality), hierarchical namespaces, a rich 646 set of useful built-in types (dynamic arrays, dictionaries, symbols, 647 ...), extensibile with C (you can add functions, types, classes, methods, 648 packages, ...), embeddable in C. <application>elastiC</application> has 649 been strongly influenced by C, Smalltalk, Scheme and Python and tries to 650 merge the best characteristics of all these languages, while still 651 coherently maintaining its unique personality.</para> 652 653 <itemizedlist spacing="compact"> 654 <listitem> 655 <para>Project Home Page: <ulink 656 url="http://www.elasticworld.org/"/></para> 657 </listitem> 658 <listitem> 659 <para>Download Location: <ulink 660 url="http://www.elasticworld.org/download.html"/></para> 661 </listitem> 662 </itemizedlist> 663 664 </sect3> 665 666 <sect3 role="package"> 484 667 <title>Erlang/OTP</title> 485 668 … … 535 718 536 719 <sect3 role="package"> 720 <title>Felix</title> 721 722 <para><application>Felix</application> is an advanced Algol like 723 procedural programming language with a strong functional subsystem. It 724 features ML style static typing, first class functions, pattern matching, 725 garabge collection, polymorphism, and has built in support for high 726 performance microthreading, regular expressions and context free parsing. 727 The system provides a scripting harness so the language can be used like 728 other scripting languages such as Python and Perl, but underneath it 729 generates native code to obtain high performance. A key feature of the 730 system is that it uses the C/C++ object model, and provides an advanced 731 binding sublanguage to support integration with C/C++ at both the source 732 and object levels, both for embedding C/C++ data types and functions into 733 <application>Felix</application>, and for embedding 734 <application>Felix</application> into exitsing C++ architectures. The 735 <application>Felix</application> compiler is written in Objective Caml, 736 and generates ISO C++ which should compile on any platform.</para> 737 738 <itemizedlist spacing="compact"> 739 <listitem> 740 <para>Project Home Page: <ulink 741 url="http://felix.sourceforge.net/"/></para> 742 </listitem> 743 <listitem> 744 <para>Download Location: <ulink 745 url="http://felix.sourceforge.net/current/www/download.html"/></para> 746 </listitem> 747 </itemizedlist> 748 749 </sect3> 750 751 <sect3 role="package"> 752 <title>ferite</title> 753 754 <para><application>ferite</application> is a scripting language and 755 engine all in one managable chunk. It is designed to be easily extended 756 in terms of API, and to be used within other applications making them 757 more configurable and useful to the end user. It has a syntax similiar to 758 a number of other langauges but remains clean and its own 759 language.</para> 760 761 <itemizedlist spacing="compact"> 762 <listitem> 763 <para>Project Home Page: <ulink 764 url="http://www.ferite.org/"/></para> 765 </listitem> 766 <listitem> 767 <para>Download Location: <ulink 768 url="http://www.ferite.org/download.html"/></para> 769 </listitem> 770 </itemizedlist> 771 772 </sect3> 773 774 <sect3 role="package"> 775 <title>Forth</title> 776 777 <para><application>Forth</application> is a stack-based, extensible 778 language without type-checking. It is probably best known for its 779 "reverse Polish" (postfix) arithmetic notation, familiar to users of 780 Hewlett-Packard calculators. <application>Forth</application> is a 781 real-time programming language originally developed to control 782 telescopes. <application>Forth</application> has many unique features 783 and applications: it can compile itself into a new compiler, 784 reverse-polish coding, edit time error checking and compiling (similiar 785 to BASIC), extremely efficient thread based language, can be used to 786 debug itself, extensible; thus can become what ever you need it to be. 787 The links below lead to the website of the Forth Interest Group (FIG), 788 a world-wide, non-profit organization for education in and the promotion 789 of the <application>Forth</application> computer language. Another 790 worthwhile website dedicated to the <application>Forth</application> 791 community is <ulink url="http://wiki.forthfreak.net/"/>.</para> 792 793 <itemizedlist spacing="compact"> 794 <listitem> 795 <para>Project Home Page: <ulink 796 url="http://www.forth.org/"/></para> 797 </listitem> 798 <listitem> 799 <para>Download Location: <ulink 800 url="http://www.forth.org/compilers.html"/></para> 801 </listitem> 802 </itemizedlist> 803 804 </sect3> 805 806 <sect3 role="package"> 537 807 <title>GNU Smalltalk</title> 538 808 … … 589 859 <para>nhc98: <ulink 590 860 url="http://www.haskell.org/nhc98/"/></para> 861 </listitem> 862 </itemizedlist> 863 864 </sect3> 865 866 <sect3 role="package"> 867 <title>Icon</title> 868 869 <para><application>Icon</application> is a high-level, general-purpose 870 programming language with a large repertoire of features for processing 871 data structures and character strings. It is an imperative, procedural 872 language with a syntax reminiscent of C and Pascal, but with semantics at 873 a much higher level.</para> 874 875 <itemizedlist spacing="compact"> 876 <listitem> 877 <para>Project Home Page: <ulink 878 url="http://www.cs.arizona.edu/icon/"/></para> 879 </listitem> 880 <listitem> 881 <para>Download Location: <ulink 882 url="ftp://ftp.cs.arizona.edu/icon/"/></para> 883 </listitem> 884 </itemizedlist> 885 886 </sect3> 887 888 <sect3 role="package"> 889 <title>J</title> 890 891 <para><application>J</application> is a modern, high-level, 892 general-purpose, high-performance programming language. It is portable 893 and runs on Windows, Unix, Mac, and PocketPC handhelds, both as a GUI 894 and in a console. True 64-bit <application>J</application> systems are 895 available for XP64 or Linux64, on AMD64 or Intel EM64T platforms. 896 <application>J</application> systems can be installed and distributed 897 for free.</para> 898 899 <itemizedlist spacing="compact"> 900 <listitem> 901 <para>Project Home Page: <ulink 902 url="http://www.jsoftware.com/"/></para> 903 </listitem> 904 <listitem> 905 <para>Download Location: <ulink 906 url="http://www.jsoftware.com/download/"/></para> 591 907 </listitem> 592 908 </itemizedlist> … … 896 1212 897 1213 <sect3 role="package"> 1214 <title>SmartEiffel (The GNU Eiffel Compiler)</title> 1215 1216 <para><application>SmartEiffel</application> claims to be <quote>the 1217 fastest and the slimmest multi-platform Eiffel compiler on Earth</quote>. 1218 Eiffel is an object-oriented programming language which emphasizes the 1219 production of robust software. Its syntax is keyword-oriented in the 1220 ALGOL and Pascal tradition. Eiffel is strongly statically typed, with 1221 automatic memory management (typically implemented by garbage 1222 collection). Distinguishing characteristics of Eiffel include Design by 1223 contract (DbC), liberal use of inheritance including multiple 1224 inheritance, a type system handling both value and reference semantics, 1225 and generic classes. Eiffel has a unified type system—all types in 1226 Eiffel are classes, so it is possible to create subclasses of the basic 1227 classes such as INTEGER. Eiffel has operator overloading, including the 1228 ability to define new operators, but does not have method 1229 overloading.</para> 1230 1231 <itemizedlist spacing="compact"> 1232 <listitem> 1233 <para>Project Home Page: <ulink 1234 url="http://smarteiffel.loria.fr/"/></para> 1235 </listitem> 1236 <listitem> 1237 <para>Download Location: <ulink 1238 url="ftp://ftp.loria.fr/pub/loria/SmartEiffel/"/></para> 1239 </listitem> 1240 </itemizedlist> 1241 1242 </sect3> 1243 1244 <sect3 role="package"> 898 1245 <title>Standard ML</title> 899 1246 … … 1016 1363 1017 1364 <sect3 role="package"> 1365 <title>Choco</title> 1366 1367 <para><application>Choco</application> is a Java library for constraint 1368 satisfaction problems (CSP), constraint programming (CP) and 1369 explanation-based constraint solving (e-CP). It is built on a event-based 1370 propagation mechanism with backtrackable structures.</para> 1371 1372 <itemizedlist spacing="compact"> 1373 <listitem> 1374 <para>Project Home Page: <ulink 1375 url="http://choco.sourceforge.net/"/></para> 1376 </listitem> 1377 <listitem> 1378 <para>Download Location: <ulink 1379 url="http://choco.sourceforge.net/download.html"/></para> 1380 </listitem> 1381 </itemizedlist> 1382 1383 </sect3> 1384 1385 <sect3 role="package"> 1018 1386 <title>FFTW (Fastest Fourier Transform in the West)</title> 1019 1387
Note:
See TracChangeset
for help on using the changeset viewer.