Languages
- 881
- Escher
- Declarative, general-purpose language, merges best features of functional and logic languages. Has types and modules, higher-order and meta-programming facilities, declarative input/output. Set of system modules provides many operations on standard data types: integers, lists, characters, strings, sets, programs. [PDF]
- 882
- Functional Logic Programming
- Michael Hanus's pages on amalgamating functional and logic programming.
- 883
- HAL
- Strongly typed, weakly moded, constraint-logic functional language designed to support construction, extension, and use of new constraint solvers.
- 885
- CodeSimian
- Interpreted, with 1 type (all is data) only, made with Java; can be used as strings of its own code or as Java objects, code (even 1-line program) can write or modify other code; main purpose: write artificial intelligences that modify (parts of) themselves or write other code.
- 888
- Lava
- Experimental, innovative, object-oriented, interpreted language, and programming environment LavaPE; edits programs via syntax-sensitive point-and-click style structure editors, not text editors; parameterized (virtual) types, refactoring, static checks.
- 889
- Nice
- OO language based on, integrated with, Java (compiler emits Java bytecode); features of functional programming, implements state-of-art results from academic research, for more expressivity, modularity, safety. [Open source, GPL]
- 890
- Noobeed
- Interactive geomatic object-oriented language for spatial modeling, image processing, remote sensing, digital photogrammetry, geographic information system (GIS), geodesy, and surveying and mapping.
- 891
- Nosica
- Syntax similar to C++, Java, advanced high level features: strong type system, automatic memory management, global code optimization. Development website, has some documentation, forum, announcement from developers, sources. [Open source, GPL]
- 892
- Superx++
- Compiled object-oriented language fully based on XML syntax; conforms to XML version 1.0 specification as published by W3C. Descriptions, documents, FAQ, downloads, links. [Open Source, LGPL]
- 893
- bx
- Language with objects, interfaces, parameterized types, no inheritance, operator overloading, generators, static instantiation, compiled to C; descriptions, source code, examples, compiler.
- 895
- merd: SourceForge
- Practical OO language: Ruby-like expressiveness with Haskell-like static type checks. Coded in ML, runs on Linux. [Open Source, GPL]
- 896
- Nova
- High-level, general purpose, pure object-oriented language; platform independent, strong-typed, garbage collected, very small Run-Time Environment (RTE) runs programs directly from source code, live code can be distributed-shared across networks as easily as HTML.
- 897
- .NET Framework Regular Expressions
- MSDN documentation. Features detailed examples, list of references.
- 898
- Finite Automata and Regular Expressions
- Notes from computer science class. Compares regular expressions to finite automata.