Projects

inv

SPL is a strictly, statically and implicitly typed functional universal language with translator into C++ language. help interactive commands \ - interpretator internal commands h - help e - examples t exp - type q - quit apply f p - apply p to f f,expr - f ... [More] (expr) a1*a2*...expr - define function with aX parameters expr*a1:v1*a2:v2... - (a1*a2*...expr) v1 v2 ... a1*a2*expr*a3:v3*a4:v4 - both ^ and ^^ lazy/rec f#expr - f {expr} {expr} - lazy, eval: {expr} go ('..._f p1 p2...) - save current lambda to _f (recursion) base functions _if _or bind bn concat debug div elist eq filter foldr go head if iff incr join1 length less load map mod mul natrec not or out pair print readnum reverse str sub sum tail to to_string voidbind structures struct.field - field from structure struct^field - import struct env .field - from top level web wiki http://code.google.com/p/inv/w/ [Less]

basecube

Base CubeA simple micro-framework that pushes PHP5 to the limitSee the introduction, samples and roadmap in English. Um micro-framework que leva o PHP5 ao limiteVeja a introdução, exemplos e metas em português.

lineas-produccion-software-olap

En el marco de la inteligencia de negocios (BI, Business Intelligence), es necesario soportar el procesamiento para transformar datos en información “accionable”. Es decir, aprovechar todos los datos que se tienen almacenados y que son producto de la labor diaria, para convertirlos en ... [More] información como base de las decisiones y acciones a ejecutar. La tecnología OLAP se ha convertido en una necesidad para muchas de las compañías, debido a que la evolución tecnológica está promoviendo cambios sustanciales en la forma en que las organizaciones acceden y obtienen la información como apoyo en el proceso de toma de decisiones. Debido a las necesidades que se han generado en torno a esta tecnología, las organizaciones están requiriendo cada vez, herramientas más flexibles y adaptables a su infraestructura operativa, situación que no siempre es sencilla de superar. El enfoque actual de resolución de problemas puntuales y software a la medida presenta una serie de dificultades, si se considera que muchas veces existen organizaciones que requieren soluciones similares a algunas previamente elaboradas, pero que por la misma concepción del software resulta costoso y complejo realizar cualquier adaptación. Con el desarrollo de la línea de producción, lo que se pretende es ofrecer un conjunto de aplicaciones de software que permitan generar de forma automática una herramienta OLAP con funcionalidad básica a partir de un modelo de negocio previamente definido. Para lograr este objetivo global, es importante tener en cuenta entre otros, el identificar las variaciones que soportará la línea de producción y establecer la infraestructura adecuada que permita generar productos a bajo costo conservando alta calidad. En torno a las líneas de producción de software existen diversas tecnologías que están siendo utilizadas y que proporcionan los elementos necesarios para dar soporte a los diversos procesos involucrados entre las cuales están EMF y DSL. De la misma forma, existen agrupaciones de investigación brindando aportes relacionados con diferentes frentes de acción, las cuales realizan difusión de información valiosa complementando las consideraciones técnicas, estrategias y procesos del desarrollo de software a través de SPL. [Less]

eriscode

A new boon to Discordian techies -- the best thing since ddate. THE ERISIAN LIBERATION FRONT HAS A NEW LINGUA FRANCA! THE LEGION OF DYNAMIC DISCORD HAS A NEW DISCORDIAN DYNAMO! EWIGE BLUMENKRAFT! HEUTE DIE WELT, MORGENS DAS SONNENSYSTEM! Discordia is the first programming language to model its ... [More] syntax after our beloved Principia. Like the Principia, it has little practical value (too thin to burn, too esoteric to pass off as Approved Reading) except as a running joke and an eye opener. DO NOT CIRCULATE======================================== ===================PROSECUTERS WILL BE TRANSGRESSICUTED ~Episkopos Dr The Enki-2, The Unshaven, Lord of the Nootropics in his Closet [Less]

famats

FaMa Tool Suite (FaMaTS) is a tool for the automated analysis of variability models (VM). Its main objective is providing an extensible framework where current research on VM automated analysis might be developed and easily integrated into a final product. FaMaTS is built following the SPL ... [More] paradigm supporting different variability metamodels, reasoners or solvers, analysis questions and reasoner selectors, easing the production of customized VM analysis tools. FaMaTS component-based architecture allows to extend or update FaMaTS by means of the so-called FaMa Extensions. We summarize the benefits of using FaMaTS: Easy to integrate: FaMaTS has a simple and stable front-end Java interface(QuestionTrader), implementing a query-based interaction. Easy to extend: FaMaTS architecture allows to extend or update existing products just by adding or updating its components or features. Third-parties are allowed to develop and integrated their own FaMa Extensions. Easy to configure: FaMaTS is configured by means of an unique XML file, asing its maintenance and configuration to adapt the tool to the user needs. [Less]

biblioteca-r4ll

projeto de biblioteca

android-roms

Sorry for the delay as I've been extremely busy I will be updating all the ROMs / Wiki's over the next couple of weeks to get everything back up to date along with some new information as well. If anyone has any thing they want to add feel free to contact me! New Wiki Page ... [More] CTDroidBeast's Unbrick Process If you are looking for either an OTA or Custom ROM feel free to check out the Downloads Page for all your needs. If you attempt to install the haykuro 6.0HTC Builds you must first install the Radio: 2.22.19.26I Next install the new SPL: 1.33.2005 I must caution you as flashing / installing the new SPL 1.33.2005 has caused many bricks so please be careful! Check out the How To Section of the Wiki ... To Do Items: Update ROM DB to include latest from each dev, and also Newer devs Update all Wiki Pages with the latest on each topic Complete Quick Tips Wiki Complete Restore Phone Via NANDROID Backup & Fastboot Wiki Complete Unroot Your Phone / Place Phone Back to Stock Wiki Complete Apps 2 SD Wiki Standard Disclaimer.... ================================================================================= DISCLAIMER: I AM NOT RESPONSIBLE IF YOU BRICK / RUIN YOUR PHONE IN ANY WAY. BASIC COMPUTER SKILLS REQUIRED IF YOU DO NOT KNOW WHAT ROOT IS ... YOU PROBABLY DON'T NEED IT ================================================================================= ALWAYS PROCEED WITH CAUTION, AND ASK QUESTIONS IF YOU ARE UNSURE Thanks to: Jesus Freke, xmoo, Haykuro, Stericson, dapro, The Dude, Darkrift, Cyanogen, CTDRoidBeast, and many others! [Less]

omega48

Omega48 is a virtual printer driver for Microsoft Windows which allows you to convert the document to the graphics formats such as EMF, BMP and non formated text file (UNICODE or ANSI). Omega48 allows to save MS Windows Spool (SPL) and Shadow (SHD) files

spltool

Various spooler file formats exist, including MSSPL, MUSPL and SVG files. This code is for an application which displays a spooler file using the CorPrCtl.dll library. The code also shows how to print. If you require professional modifications of this software to suit your own purposes, please contact We Do Drivers or MuThink Inc.

spl-assignment3

assignment 3 in spl course, ben gurion university