Orangeboard Lambda Calculus Interpreter 1.0

Programas relacionados

• pyckett Gratis

  Este es un emulador de reglas de diapositivas basado en el diseño clásico de la regla de diapositivas Pickett. Está escrito en Python, por lo que el nombre "pyckett" es apropiado. Es adecuado como un ejemplo de co

• tkradar Gratis

  Tkradar es un conjunto de bibliotecas C y paquetes Tcl/Tk para acceder, manipular y mostrar varias formas de datos de radar meteorológico. Requiere Tcl, Tk y Tkgeomap.

• e17genmenu Gratis

  e17genmenu es una aplicación para generar automáticamente entradas de menú para el Administrador de ventanas de ilustración (DR17) en Linux en función de los menús de Gnome/Kde. Está escrito en C, utilizando las Bibliotecas d

• Italian Translator TransZilla Gratis

  Italian Translator TransZilla es un traductor gratuito que utiliza Google Translate.El traductor admite la traducción de inglés a italiano e italiano a inglés.Utilice traductor para palabras, traducción de oraciones.Esc

• Eigenmath DS Gratis

  Eigenmath DS es un sistema de álgebra informática gratuito portado a Nintendo DS.El objetivo de este proyecto es tener un CAS libre comparable a los sistemas comerciales como Texas Instruments o calculadoras HP.La GUI

• Inaugural Address USA 2009 Prueba gratuita

  El texto oficial del discurso inaugural histórico del presidente Obama, enero de 2009.También publicamos:*Dirección al Congreso Feb 2009* *Obama en el espacio 2010*y otras aplicaciones.Esta aplicación está dis

• BioStream Gratis

  BioStream permite a los investigadores de bioinformática crear, consultar y aplicar herramientas a sus propias bases de datos. Admite archivos de secuencia y otros tipos de datos al permitir la creación de archivos de definic

• I.S.A.A.C.S. Gratis

  I.S.A.A.C.S. Interactive Structure Analysis of Amorphous and Crystalline Systems es un software multiplataforma desarrollado para analizar las características estructurales de los modelos tridimensionales construidos mediante

• SystemJ-Translator Gratis

  SystemJ es un nuevo lenguaje dedicado al fácil desarrollo de HDL reactivos. Basado en JAVA es independiente de la plataforma y da la facilidad de desarrollo que acompaña a java.

• Project35 Gratis

  Project35 es un conjunto de herramientas de software que generan formularios basados en esquemas XML. Originalmente derivadas del proyecto de investigación Pedro, las herramientas de Project35 han sido modificadas para apoya