Search Results for "c framework web"

Flora-2 is a powerful knowledge representation and reasoning system designed for building knowledge-intensive applications. It is based on F-logic, HiLog, Transaction Logic, and also supports defeasible reasoning. Applications include intelligent agents, Semantic Web, ontology management, and more. If you use Flora-2 and like it, please acknowledge it in your project!

...Being written in Java, the processor is operating-system independent. Included in the package is PEG Explorer, an interactive tool to investigate the effect of limited backtracking. Sample grammars for Java & C are available from the Web Site.

JCppEdit is a free as well as "best IDE for Beginners" and is your one-stop IDE for all your coding needs. Whether you need to finish your Java project or submit your first HTML web page or perhaps have a need to code in C language while executing a java program into a Java IDE, JCppEdit will help you achieve your goals easily. Exploring your project and detecting an error in your code is much easier. You will not waste time detecting errors before compiling codes because you will get a real-time notification whenever you are making any mistake in your C, C++, and Java codes. ...

One of the requirements of current Semantic Web applications is to deal with heterogenous data. Data represented and stored using the Extensible Markup Language (XML) is almost ubiquitous and is the standard for data exchange. Resource Description Framework (RDF) is the W3C recommended standard for data representation. Being able to work with these two languages using a common framework is a great advantage and eliminates several unnecessary steps that are currently used when handling both formats.

Implementation of Combinatory Reduction Systems (CRS) with experimental extensions, in Java. CRS is a formalism for higher-order rewriting invented by J.W.Klop in 1980. For further details see the Project/Web Site.

IKVM.NET is a JVM for the Microsoft .NET Framework and Mono. It can both dynamically run Java classes and can be used to convert Java jars into .NET assemblies. It also includes a port of the OpenJDK class libraries to .NET.

C-Lesh is a game programming language for 2D games - mainly arcade and platform games. When combined with the Super Mario World (SMW) engine you can create awesome 2D platform games like Super Mario World. This language evolved from a "clone" of TI-BASIC which I began developing when I was having memory (segmentation fault) bugs with C. C-Lesh lacks memory allocation and destruction. There is no need to use pointers and you can never get memory leaks or program crashes caused by memory...

JTools provides some useful tools and utilities for Java 5.0 development. Beneath some smaller utilities we have: a (Ant like) DAO framework (also including XML Repository) and a (JSP like) general purpose template generator and execution framework.

DKU is an embedded parallel language, or "piggy-back" language that uses function calls to invoke the language's execution model. It tunes task-size to the hardware while hiding hardware details for high performance portability of parallel code.

The project implement a framework of modular compilers that allows compile time programming for .NET, Java and other platforms. Languages on this framework are multi-paradigm and can be extended by programming new semantic structures or DSL.

The VSR is a repository of tools and challenges in verification (see for example epubs.cclrc.ac.uk/work-details?w=33971). It is part of the international grand challenge on software verification (eg http://vstte.ethz.ch/pdfs/vstte-hoare-misra.pdf)

The CCC Language is yet another programming language. It is platform-independent, compact, and robust. Supports many SQL engines, has own ISAM DB engine, has terminal mode and more UI-s, is object-oriented, but it is compiled and not interpreted.

ByteML is a XML-JavaBytecode interoperability framework. With the aid of this framework the end-user can convert bytecode ( Java .class files ) to XML files and vice-versa.

Erc is an interpreted link-oriented language. Majic is a java-based interpreter for Erc, and Majicc is a c++ based compiler for Erc which uses the Majic libraries.

WSGRD stand for Web Service Grid Resource Discovery. When using Grid Computing, one of the problem is to find resources dynamically. WSGRD tries to address this problem using web services.

OS based on Agent based Security with a new type of split kernel and agents platform.

Recoder.C# is a Java framework for C# program analysis and source code transformation. It computes an easy to use syntactic and semantic program model containing cross references and supports transformation rollbacks and incremental model updates.

JPP is a simple macro preprocessor for Java. It is entirely written in Java and provides C-like preprocessor commands like #define #undef #ifdef #ifndef #else #endif #include. More to be developed.

A framework for user-extensible compilers and development tools, including a Java-to-Java extensible compiler, ideal for Java code refactoring. Also includes the new LX programming language.

Locos is an object oriented framework for building parsers and other language processing tools.

XPL is the eXtensible Programming Language. XPL is an application of XML for interchange of computer programs.