Languages
- 2381
- MicroWorlds Logo Notes
- MicroWorlds tutorials; sample projects created in MicroWorlds 2.0, Pro, and EX robotics; and extensive links to other MicroWorlds resources. Rupert Russell.
- 2382
- MicroWorlds in Action
- Project library with code, questions, and ideas; FAQ, lessons, and other MicroWorlds resources. Wendy Petti and Daniel Ajoy, OpenWorld Learning.
- 2384
- FMSLogo
- An offshoot of MSWLogo, with ongoing community development through Sourceforge. David Costanzo.
- 2386
- Logo: Learn to Program, Program to Learn
- MSWLogo resources: project downloads, documentation. English, Français. Francis Leboutte.
- 2387
- MSWLogo
- Multimedia Windows version of UCBLogo, available in many languages. Free software downloads, tutorials, links, electronic books - including Jim Fuller's The Great Logo Adventure. George Mills.
- 2390
- Lua Cheia
- Lua distribution with many useful libraries, that can be loaded dynamically, or built into the interpreter. Makes Lua more usable as stand-alone language.
- 2392
- Dependent ML: DML
- Conservative ML extension, has type system to enrich ML with restricted form of dependent types, to allow many interesting program properties: memory safety, termination can be captured in type system and thus be verified while compiling. Description, code samples, downloads.
- 2393
- Extended ML
- EML is a framework for specification and formal development of Standard ML programs. Description, publications, tool support, education resources.
- 2396
- Poly/ML
- Standard ML full implementation: compiler and environment, has libraries for MS Windows, X Window. [Open Source]
- 2397
- Standard ML of New Jersey
- SML/NJ is a compiler and programming environment for SML, with associated libraries, tools, documents. Descriptions, news, downloads (Unix, Windows), literature lists, FAQs, links, contacts. [Open Source, Lucent]
- 2398
- TILT
- TIL-Two compiler; goal: make compiler for ML-family languages (SML'97, Caml Special Light, KML) that uses types throughout compiling to emit better code without losing safety or correctness; joint effort with Carnegie Mellon. Descriptions, papers, people, links. Cornell.
- 2399
- Fox Project
- OS based on ML language. Goals: advance art of programming language design and implementation, while applying principles of programming languages to advance art of systems building. Project work: theoretical studies of languages and their traits, developing new compiler and run-time technology, empirical studies of applying advanced language techniques to real-world programming problems, more so in areas of high-performance networks and OSs.