Search Results for "lisp"

Binary Modular DataFlow Machine (BMDFM) is a software package that enables running an application in parallel on shared memory symmetric multiprocessing (SMP) computers using the multiple processors to speed up the execution of single applications. BMDFM automatically identifies and exploits parallelism due to the static and mainly dynamic scheduling of the dataflow instruction sequences derived from the formerly sequential program. The BMDFM dynamic scheduling subsystem performs a...

...BAP supports x86, x86-64, ARM, MIPS, PowerPC and new architectures can be added as plugins. BAP includes various analyses, standard interpreter, microexecution interpreter, and symbolic executor. BAP features its own domain-specific language, Primus Lisp, that is used for implementing analyses, specifying verification conditions, modeling functions (writing stubs) and even interfacing with the SMT solver. The toolkit repository includes various examples of program analysis tools that could be implemented with BAP and can be used as the starting point (in addition to the tutorial) for implementing custom analyses. ...

A Lisp script and application launcher for Microsoft Windows, Linux and Mac OS X. The launcher mimics Java/JAR application distribution paradigm for Lisp and allows creation of relatively complex executable source code application distributions.

SLOCCount is an easy-to-use tool that counts Source Lines of Code (SLOC). It auto-determines the language(s) (inc. C, C++, Ada, Assembly, shell, COBOL, C#, Fortran, Haskell, Java, LISP/Scheme, Perl, PHP, Python, Ruby, SQL). It also estimates cost & time.

A Common Lisp to Ardunio C++ cross compiler.

A tool that helps develope the course of cognitive thought processes through software. This tool will look at the raw hex code of any input. It establishes pattern recognition over a mesured time incrament that in itself is at a different pace.

Regular expressions system with Lisp-styled syntax. Also this software can be used as a library for embedding lisp-syntax regular expressions in an another programm.

(Almost) all a scholar in the Humanities needs (polytonic Greek fonts, stylistic and metrical analysis tools, search engines on TLG and PHI) concentrated in only one Linux Live CD, ready to use everywhere at home or at University, without installation

Set of tools and libs for managing structured data in a very flexible way: Imp./Exp. ASCII, XML, SQL, PS, Tex/LaTex, RTF GUI: X-Windows, MS-Windows Interface to C++, DBs, Perl, PHP, Java, TCP/IP LISP-like interpreter written in C++ using C-LIB

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

Attempt of a portable cross-language object-oriented benchmark . So far supporting C++, Objective-C, and Java. Support for Smalltalk, CLOS, CSharp, and Eiffel is in development.

This proyect will be many things. It will be not only a software program; but also your assistant and maybe your friend. You should be able to speak with her, ask her for advice, or ask her to do your homework.It will be a powerful OS such as Linux but fr

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

one type of dynamic language whos backgrouand virtual machine is base on S-expression, just as lisp a looks like. and the idea of the forgrand of snail comes from python mainly, and some from java.