|
|
|
|
Welcome Guest! Login/Join |
| Directory: | Computers / Computer_Science / Distributed_Computing / Projects / Cryptography |
| Title: | ECMNET |
| Description: | Project to factor numbers using the elliptic curve method. Client and server software. |
| Location: | http://www.loria.fr/~zimmerma/records/ecmnet.html |
| |
|
| | |
| Directory: | Computers / Computer_Science / Research_Institutes |
| Title: | LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications |
| Description: | Presents this laboratory whose mission consists in fundamental and applied research in the field of information and communications sciences, training in engineering colleges and doctorate schools and transfer of technology. Nancy, France. |
| Location: | http://www.loria.fr/ |
| |
|
| | |
| Directory: | Computers / Parallel_Computing / Conferences / 1999 |
| Title: | FMPPTA '99 |
| Description: | Formal Methods for Parallel Programming: Theory and Applications. In conjunction with IPDPS. San Juan, Puerto Rico. |
| Location: | http://www.loria.fr/~mery/fmppta99/ |
| |
|
| | |
| Directory: | Computers / Programming / Compilers / Transformation_Tools |
| Title: | Tom |
| Description: | A Pattern matching transformation system. |
| Location: | http://tom.loria.fr/ |
| |
|
| | |
| Directory: | Computers / Programming / Languages / Eiffel / Compilers |
| Title: | SmartEiffel |
| Description: | Official Free Software Foundation GNU Eiffel compiler, tools, libraries. Can generate C code or Java bytecode. Was SmallEiffel, changed 6 September 2002. Now has positive version numbers. Basis of Fine. [Open Source, GPL] |
| Location: | http://smarteiffel.loria.fr/ |
| |
|
| | |
| Directory: | Computers / Programming / Languages / Eiffel / Compilers |
| Title: | elj-win32 |
| Description: | Powerful GNU Eiffel win32 (Win-95/98/NT) distribution. Includes C Compiler, IDE, win32 GUI Libs, Eiffel/C Documentation, and EPAN library archive. (FTP) |
| Location: | ftp://ftp.loria.fr/pub/loria/SmartEiffel/elj-win32/ |
| |
|
| | |
| Directory: | Computers / Programming / Languages / ML / Caml |
| Title: | SPIKE |
| Description: | Automatic theorem prover for Horn equational logics, coded in Caml Light, Tcl/Tk graphic interface allows mouse-menus interaction; supports building correct specifications via verifying properties by induction. Description, downloads. |
| Location: | http://www.loria.fr/equipes/cassis/softwares/spike/ |
| |
|
| | |
| Directory: | Computers / Programming / Languages / Object-Oriented / Prototype-based |
| Title: | Isaac Project |
| Description: | Small prototype-based high-level language, influences: Smalltalk (all values are objects), Self (prototypes), Eiffel (Design by Contract); allows system, low-level programming, compiler has means for late binding suppression, optimizing type predictions and code specialization, gives target code high efficiency. |
| Location: | http://isaacos.loria.fr/li.html |
| |
|
| | |
| Directory: | Computers / Software / Configuration_Management / Tools / Concurrent_Versions_System / FAQs,_Help,_and_Tutorials |
| Title: | CVS Bubbles |
| Description: | FAQ-O-Matic, documentation, tools, links. |
| Location: | http://www.loria.fr/~molli/cvs-index.html |
| |
|
| | |
| Directory: | Computers / Software / Globalization / Computer_Aided_Translation / Terminology_Management |
| Title: | SALT Technical Website |
| Description: | Project information including members list, news, papers, tools and links. |
| Location: | http://www.loria.fr/projets/SALT/ |
| |
|
| | |
Hosting Metrics