loter a nacional

loter a nacional

Enlaces patrocinados
Enlaces patrocinados

loter a nacional

No.
Título
Categorías
Precio
Licencia
Expand All
1
Desktop Environment - Iconos
LGPL (GNU Les
.icns permite que usted use a Mac OS X. archivos de icono icns tan fácilmente como imágenes fotografías de PNG en GTK + aplicaciones (iconos de encargo, etc.)

Whats Nuevo en Esta Liberación:

· Esta versión añade el apoyo a 48x48, 32x32, y 16x16 iconos, y a iconos de herencia (B&W, 16, y 256 colores).
· unas herramientas de línea de orden que muestran la información detallada sobre iconos contenidos en un archivo.icns ha sido añadido.

2
Comunicaciones - Chat
GPL (GNU Gene
un proyecto reneto es una red de juego distribuida.

Esto apoya al cliente-servidor juegos basados en el TCP.

3
Internet - Extensiones de Firefox
MPL (Mozilla
PurpleBunny es una extensión Firefox que puede ayudarle rápidamente y fácilmente leer y escribir comentarios sobre la página web youre ver. ¡Usted puede elogiar una página, hacer una pregunta, leer comentarios sobre un sitio web entero, hablar del contenido de una página web con otros usuarios de web - las posibilidades son interminables!

PurpleBunny almacena estos comentarios en una posición centralizada para el acceso fácil, y la barra de herramientas práctica le alerta cuando una página youre ver tiene comentarios. ¡La Utilización PurpleBunny parece a notas de escritura para futuros lectores en el margen de un libro de la biblioteca, pero sin estropear el material original! Más, su más organizado - los grupos de PurpleBunny comentan por el sitio web, y usted también puede clasificar todos los comentarios o búsqueda de claves de búsqueda específicas

4
Internet - HTTP
BSD License
"Un gen" es unas herramientas de generador de álbum de web que generan páginas web estáticas de plantillas. Las plantillas son justo como archivos del HTML normales con alguna maquetación menor para el procesador de plantilla. Prevea que "un gen" toma una plantilla y un juego de imágenes fotografías y producciones un directorio que contiene un álbum de web que consiste en páginas de HTML estáticas.

"Con un gen" usted puede crear álbumes de web estáticos factibles para el uso directamente de un directorio. Por lo tanto usted no es atado a la utilización de un webserver (aunque usted pueda poner por supuesto tal álbum en un directorio servido por un webserver).

Cuando el álbum consiste en archivos de HTML estáticos sólo, ningún software adicional es necesario (aparte de un navegador por supuesto). Estos álbumes deberían ser tan fáciles de usar, usted podría enviar hasta a una su suegra sin ser mal hecho daño (okey, depende de los contenido de su álbum).

Aquí están algunos aspectos claves "de un General":

· Ningún software especial requerido ver los álbumes (webbrowser sólo)
· exigencias de rendimiento Bajas (cuando los álbumes son páginas de HTML estáticas, la porción puede ser hecha sin mucha memoria o energía de procesador)
· sistema de plantilla Decente para la creación de temas de álbum (las plantillas están basadas en el HTML con un puñado de órdenes de plantilla simples)
· conformidad de estándares (según la plantilla usada, el webalbums cumplirá con HTML o estándares XHTML)
· rápido (el software es escrito en C ++ entonces la creación de los álbumes no depende de algún intérprete de peso pesado)

Whats Nuevo en Esta Liberación:

· Esta liberación fija errores de compilación con GCC 4.x (ya hecho en la 0.1.1 versión no soltada).
· Esto fija problemas de dependencia en Ubuntu y Debian inestable.

5
Desktop Environment - Desktop Widgets
GPL (GNU Gene
A-foto es un tema (aplique) para Superkaramba. El espectáculo de A-foto imagina en su escritorio con decoraciones de cuadro diferentes y tiene la capacidad de cambiar la imagen fotografía en intervalos presentes.

Cuestiones Conocidas en esta versión:
- No hay "añada para rayar" el modo. La organización de imágenes presentadas es llevada a cabo ahora por la dirección de contenido de la carpeta elegida. Un modo sugerido de organizar espectáculos de diapositiva de encargo es crear una carpeta vacía y la rastra CONECTA con fotos preferidas en aquella carpeta. Gota aquella carpeta en a-foto. Actualmente, esto parece ser el modo más fácil de conseguir la manejabilidad del contenido de espectáculo de diapositiva. Sus suposiciones alternativas son bienvenidas.
- El comienzo de un segundo caso de A-foto de la interface SuperKaramba puede fallar. Presione dos veces el ratón en el archivo afoto.skz para comenzar apliques adicionales.
- Las configuraciones de A-foto tienen "la prioridad histórica." Las configuraciones para el 1er aplique afoto alguna vez siempre serán 1ras en la línea en estar usadas cuando usted abre afoto. Para ponerse a las configuraciones del 3er caso afoto, usted tiene que abrir 3 apliques afoto. Trabajamos en una solución. Cualquier comentario y suposiciones son bienvenidos

6
Multimedia - Audio
Artistic Lice
TimeSheet simple (ASTS) permite que un grupo de la gente para registrar las horas gastara trabajando en una variedad de proyectos. Para cada proyecto, las horas pueden estar divididas en varias tareas diferentes. Hay proyectos globales y las tareas sino también los proyectos personales y las tareas para cada usuario.

El objetivo principal es proporcionar herramientas que son fáciles para el usuario a instalar y poder.
Las herramientas serán puestas en práctica con como pocas dependencias externas como sea posible. Ellos no dependerán, por ejemplo, de una base de datos para el almacenaje, pero usarán archivos llanos (tal vez formato de XML) en cambio. ASTS, por ejemplo, requiere sólo perl y el interfaz común de pasarela y Fecha:: Calc perl módulos.
Las versiones más sofisticadas de las herramientas pueden ser añadidas en el futuro.

Whats Nuevo en Esta Liberación:

· espacios de datos de Encargo puede ser definido.
El · Proyecto y listas de tarea puede incluir ahora separadores.
· Errores fueron fijados.
· la documentación fue actualizado.

7
Multimedia - Audio
GPL (GNU Gene
AMPLIO es corto para "un PRESTAMISTA MP3". Escribí AMPLIO un verano cuando yo codificaba para una compañía y me hice harto de la necesidad al protocolo de transferencia de archivos sobre todos mis archivos MP3 de mi servidor de casa al ordenador en el trabajo sólo de escucharlos. Y por los otros "servidores de MP3" yo podría encontrar que didnt encajan mis necesidades por uno de los motivos siguientes:

Dependido de libfoo, libbar, pitón, perl, php3, Apache, libssl, etc., etc., etc... Sólo quise escuchar los archivos
Tenía muchos aspectos para "DJ:ing" etc. que yo realmente didnt necesidad. Bien.... era la diversión de escribir también.
¿Tan whats bueno con AMPLIO?
Pequeño, independiente (escrito en C no que usa ningunas bibliotecas externas)
Portátil (pienso), a menudo trato de compilarlo en el SourceForge compilan granjas
Permite que usted no escuche su propio MP3s lejos de la casa, nada más, nada menos

Esto comienza a sonar a la mercadotecnia cr*p tan Malo sólo se paran ahí mismo, comprueban los enlaces a la izquierda para más información.

Whats Nuevo en Esta Liberación:

· hay sólo dos apuros en esta liberación. Uno es un apuro de compilación para Solaris y el otro es un apuro de seguridad. Resulta tras una memoria intermedia usada para la comunicación local didnt tienen controles suficientes. Los datos de usuario isnt escrito sin controles aunque entonces el peor que puede pasar sea que las cantidades enormes de la memoria son asignadas. El enchufe también fue atado al dispositivo de bucle de retorno entonces sólo debería ser en la localidad abuseable.

8
Internet - HTTP
MIT/X Consort
El AnotherScrapBook (ASB) está basado en el Autoálbum de recortes original como desarrollado por Kirk Bauer.

Descubrí estas herramientas finas en la versión 3.7, y, debido a un pequeño aspecto (la capacidad de manejarse Películas de mi cámara de Canon), comencé a volver a escribir de la tierra el guión del KILOBYTE.

Por la carencia de la fantasía, se hizo AnotherScrapBook (deja ven si itll se quedan como esto, pero tengo que guardar "ASB" como iniciales...).

Entretanto, el KILOBYTE ha desarrollado adelante el Autoálbum de recortes, entonces usted podría echar un vistazo también a ello en la versión 4.1.

9
Comunicaciones - Filtros de correo electrónico
BSD License
El proyecto de L.A.U.R.A proporciona un seguro y performant envían por correo electrónico el apoderado diseñado con el objetivo de apagar "la Era de E-mail de Bulto / Era de E-mail Comercial Voluntaria".

¿Cuál es "Greenmarking"?

Greenmarking es algo que pienso que me inventé (yo podría estar equivocado aunque, yo coulndt lo encuentren en algún otro sitio). Greenmarking trabaja como esto: si un trillizo (de sender_ip, remitente, recipiente) es primero visto, consigue el verde marcado. El mensaje será enviado en perfecto estado con el sentido "de nunca visto esto antes". La próxima vez que el trillizo es encontrado, el mensaje también será marcado verde, significando "conozco a este tipo ya".

Sí sé que esto suena como greylisting (su una variación de ello, de ahí el nombre). Sin embargo, el greenmarking es (y debería ser) hecho después greylisting. ¿Por qué? Greylisting sobre todo significa que el mensaje que pasa es casi certalny proviniendo de un demonio de servidor de correo de SMTP (E) válido. Los gusanos por lo general dont procesan de nuevo demasiado. Entonces el greenmarking es eficaz sobre todo contra el malo correo selvers. Su puesto en práctica en el proyecto. Sólo añada un filtro de Buzón de entrada a su cliente de correo (de web) y mueva todos los mensajes con una cabecera "neverseen" en una carpeta de sospechoso especial. ¿si Usted que dont quieren molestar con ellos, activan el filtro de Buzón de entrada sólo después de que los youve ejecutan al demonio greenmarking un rato (¿1/2 semanas tal vez?).

Aquí están algunos aspectos claves "de L un U R un":

· ESMTP capacidad de interoperar con Postapuro
· Aligeramiento rápido B + infraestructura para base de datos interna
· Ningún positives falso
· Ningunos mensajes de correo electrónico "perdidos"
· Ningún precio de la señorita
· BSD licencia (el más liberal y LIBRE, en honor al equipo FreeBSD)
· Su escrito en viejo C claro
· Esto fue diseñado para ser tan rápido como aplicable
· Esto es (yendo a ser) muy seguro (auditorías múltiples, verificaciones formales, programando el cuidado)
· Ningunas dependencias de paquete - ningunas bibliotecas suplementarias o herramientas necesarias
· sin Fastidio para admins - sólo lo instalan
· sin Fastidio para usuarios - esto sólo trabaja, sin la intervención de usuario
· sin Fastidio y cortés con otros vecinos de Internet - ningunos mensajes groseros, nada
Los · Aseguran la cooperación de interservidor para copias de seguridad MX - sin cualquier fastidio o complejidad (tiene que ser hecho)

10
Juegos - RTS
GPL (GNU Gene
Un Juego de Gatos es un juego de tiempo real que se ejecuta en un navegador de Web usando a AYAX (JavaScript Asincrónico y XML) tecnología.

Usuarios múltiples pueden entrar al sistema en un Juego de Gatos para explorar un mapa común y ganar una moneda corriente como su resultado.

Un Juego de Gatos es el izquierdo de copia soltado bajo el ÑU/LICENCIA PÚBLICAS GENERAL Licencia de la Fuente Abierta.
11
Internet - HTTP
GPL (GNU Gene
Wiki en un Palo es un personal wiki que vive en un archivo de HTML de automodificación solo que contiene el software, interface, y base de datos.

Su útil para tomar notas, para uso como un calendario, y para documentar software, etc. Wiki en un Palo actualmente sólo trabaja en Firefox

12
Internet - HTTP
Freely Distri
El proyecto de ojeada del abucheo es un guión PHP que obtiene y muestra imágenes que los usuarios LiveJournal arbitrarios suben actualmente a sus cuentas, por todo el mundo, en cualquier momento dado.

13
Juegos - MUD
GPL (GNU Gene
Un Pequeño proyecto de BARRO es una realización de BARRO mínima.

Un Pequeño BARRO es una realización de BARRO mínima, con algunas muchedumbres suavemente inteligentes que corren alrededor de la creación de cuartos.

Unas agujas leyendo el código fuente... la clase Mundial contiene "las células" en el calabozo - todos que aquellos son creados al azar por las muchedumbres.

La clase MobFactory contiene y controla todas las muchedumbres en el mundo - la clase sostiene una referencia a la clase Mundial.

Las células son especificadas por el Mundo:: CÉLULA struct y muchedumbres por el MobFactory:: MUCHEDUMBRE struct. La clase SmallHandler contiene el Mundo, MobFactory, y lista de enchufes activa (vía SocketHandler).

Finalmente, la clase SmallSocket maneja toda la comunicación de enchufe y las acciones de clase de plantilla ListenSocket cuando el enchufe escucha el servidor.

14
Programación - Bibliotecas
Perl Artistic
El roble:: Web:: HTML:: a es una etiqueta de HTML (Contenedor). Un Contenedor para sostener objetos dentro una etiqueta.

Árbol de Componente de Roble de Perl - Componentes de Interface de Web. Este paquete trae a la biblioteca Componente de Web, usada para crear interfaces de web a sus aplicaciones. También ver al Constructor de Aplicación de Web Forestal, unas herramientas que usan este módulo.

El árbol de Componente de Roble Perl es una realización de un marco completo para diseñar aplicaciones de empresa.

· modelos Bajos para OOP (liboak-perl)
· desarrollo de Interface (liboak-web-perl y futuro liboak-gtk-perl,
liboak-tk-perl, liboak-qt-perl)
· Control Comercial (liboak-perl, liboak-controller-entityhelper-perl)
· Dirección de Datos (paquetes liboak-io-dbi-perl, libfiler-dbi-perl,
liboak-dbientity-perl)
· Autentificación y Autorización (liboak-aas-perl,
liboak-aas-service-dbi-perl, liboak-aas-service-dbinpam-perl)
· Sistema Distribuido (liboak-soap-perl)
· Configuración de Sistema (liboak-filer-xml-perl, liboak-io-config-perl)
· Registrando (liboak-io-log-perl, liboak-io-log-syslog-perl)

15
Juegos - RPG
$13
Other/Proprie
Un Cuento en el Desierto es un macizamente juego de juego de imitación de multijugador en Egipto antiguo.

Esto usa el internet para permitir que miles de jugadores jueguen juntos en el mismo mundo. Todos los carácteres usted verá y se dirigirá en el juego son controlados por otra gente justo como usted, no por un ordenador.

Un Cuento en el Desierto es el primer juego en línea para concentrarse en planificación a largo plazo y objetivos a largo plazo, más bien que combate. Los objetivos incluyen la creación de grandes obras de arte y arquitectura, haciéndose un líder poderoso, y construyendo la riqueza.

Construcción:

Objetivo: construir una base de operaciones.

Semejanzas para: Tropico, Magnate de Montaña rusa, Zeus, Capitalismo

Explicación: Su base consiste en máquinas que producen bienes, en los límites de objetos simples como ladrillos y juntas a bienes muy personalizados como cajas de cambios, pinturas mezcladas, y cortan gemas.

El Desafío: Su base debe ser diseñada para operar eficazmente y debe tener los valores en cuenta de los bienes, abastecimiento, y demanda.

Rompecabezas: Cuando usted abre nuevas tecnologías, usted tendrá que entender como ellos trabajan y como usted puede usarlos para aumentar su eficiencia.

Comercio:

Objetivo: hacer unas mercancías de ganancia y servicios con otros jugadores.

Semejanzas para: Maestro de Orion 2, Puerta Royale

Desafío 1: un Cuento en el Desierto contiene demasiados bienes para usted para producir todo que usted necesita. Usted debe comerciar para obtener las necesidades.

Desafío 2: el Aprendizaje de habilidades es muy caro. Para recuperar el coste, usted debe entender como alquilar sus habilidades a otros jugadores.

Rompecabezas: Usted debe entender lo que sus bienes merecen, y lo que su tiempo merece. Usted debe decidir si hay que regalar cosas libremente, y esperanza de la generosidad a cambio, o si hay que comerciar en una base más controlada, negociada.

Las Pruebas:

Objetivo: aumentar sus energías realizando pruebas rituales de carácter.

Semejanzas para: los juegos de multijugador usted ve en programas de televisión de Realidad.

El Desafío: hay docenas de pruebas diferentes, cada uno un ritual único que aumenta sus energías. Ellos ejecutan la gama de construir una pirámide, a cría y exposición de un escarabajo, a la ganancia de un torneo dueling, a la busca de altares escondidos, a ganar las elecciones. Ellos sólo tienen una cosa en común: todos ellos le requieren a strategize contra otros jugadores.

Legislación:

Objetivo: levantar Egipto de anarquía en civilización verdadera.

El Desafío: una civilización debe tener reglas: las reglas sobre quién se pone para poseer que tierras, gobiernan sobre que tipo de contaminación es permitida, reglas sobre el comportamiento inadecuado, reglas sobre quién se pone para beneficiarse de sus trabajos de investigación, reglas sobre quién posee que vena de mena. Los egipcios deben elegir estas reglas para ellos.

El Rompecabezas: ¿puede usted hacer mejor que los verdaderos gobiernos de hoy? ¿Puede usted crear un realmente justo y sólo sociedad?
16
Varios - Gestión de la Información
GPL (GNU Gene
El espantajo proporciona un sistema de rastreo de error de programación de software.

El espantajo es un error de programación sistema que hace un informe y rastreador que corre en cualquier servidor de Web que apoya CGI. Ayuda que usted para vigilar a errores de programación hizo un informe a usted por usuarios de sus productos de software.

Esto puede manejar cualquier número de proyectos, usuarios, y clasificaciones de error de programación, y es realmente flexible en su sistema. Esto presenta rápido fulltext búsqueda, almacenaje de pregunta, temas, y relojes de error de programación.

Esto usa el tdbengine como una parte trasera de base de datos.

Aquí están algunos rasgos claves "del Error de programación un Abucheo":

El · puede manejar un número casi ilimitado de proyectos, versiones, componentes, usuarios, grupos de usuario, errores de programación, error de programación criteries, relojes de error de programación, error de programación que hojea filtros etc. El tdbengine que está basado en algoritmos de complejo de usos y estructuras de indexación que lo hacen que rápido hasta con una cantidad enorme de datos.
El · puede informarle vía el correo electrónico cada vez un error de programación es relatado que maches un componente de cualquier proyecto usted seleccionó. Esto le enviará por correo electrónico cuando alguien cambia a un error de programación usted hizo un informe, usted modificó último o usted es responsable de.
El · permite que usuarios vigilen a errores de programación interesantes y cuestiones con las cuales ellos no están directamente implicados. Los cambios son relatados entonces vía el correo electrónico inmediatamente
El · permite que usuarios definan filtros para hojear a los errores de programación. Un filtro entonces puede ser reutilizado cada vez es necesario.
El · es capaz de manejar lenguas múltiples, predeterminadas por el administrador de sistema o por cada usuario individualmente. Las frases son almacenadas en un archivo de texto simple y así pueden ser traducidas a cualquier lengua fácilmente.
· es totalmente themeable el que significa que puede conseguir una mirada diferente total choseable por los usuarios o preestablecer por el administator. La selección de disposición incluye el reemplazo de las plantillas y gráfica mientras un tema se supone para cambiar los colores.
El · tiene la rutina de búsqueda puesta índice de un fulltext que es increíble rápido
El · provee la descripción llena de su estadística integrada mostrando a todas las cifras del interés.
· será continously mejoró y se extendió

Whats Nuevo en Esta Liberación:

· nueva opción de administración "Nota" puso en práctica: el admin tiene la posibilidad de escribir una nota para todos los usuarios, que aparece en la página de descripción
· mensajería interna ahora permite a grupo la selección de recipiente sabia, también.
· informe de error de programación ligeramente optimizado corrigen la disposición de forma
El · fijó a varios errores de programación menores

17
Juegos - Puzzle
Other/Proprie
El maleficio del salto es un juego de rompecabezas basado en azulejos hexagonales. No hay ningún límite de tiempo y ningunos elementos de tiempo real.

El objetivo es destruir simplemente todos los azulejos hexagonales verdes a cada uno de los 100 niveles. Cuando usted progresa por el juego, más tipos de azulejos son introducidos que hacen cosas más difíciles e interesantes (con esperanza).

El proyecto es construido encima de SDL, que es una capa de fuente abierta para el acceso de medios directo.
18
Juegos - Puzzle
MIT/X Consort
Los pétalos en Elevarse son un juego de rompecabezas intrigante para todos los años. Este sitio Web afirma que Bill Gates fue dejado perplejo por él durante dos días. Su por lo general jugado con un grupo de amigos y un juego de 5 dados. El maestro animoso hace rodar los dados y dice a cada uno la respuesta. Esta versión de ordenador del rompecabezas trabaja del mismo modo, sólo en este caso los juegos de ordenador como el maestro animoso.

Para jugarle sólo hacen doble clic en el icono para comenzar el programa. Escriba a máquina su conjetura en el campo "de Respuesta" y prensa "Control". Si su conjetura es correcta usted es congratulado, por otra parte usted tiene que intentar otra vez. Si usted se hace cansado de la adivinación que usted puede presionar el botón de "Give Up" y youll consiguen la respuesta a aquel rollo particular.

Sólo presione el botón de "Roll Dice" en cualquier momento para conseguir un nuevo juego de números.

¡Siempre recuerde, los dont dicen la respuesta a alguien!

Diviértase, y buena suerte.
19
Ciencias e Ingeniería - Matemáticas
Public Domain
Una calculadora de la lambda práctica es un evaluador de orden normal para el cálculo de la lambda no escrito a máquina, ampliado con órdenes convenientes y atajos para hacer la programación en ello más productiva.

Los atajos son constantes distinguidas que representan términos. Las órdenes definen nuevos atajos, activan el trazado de todas las reducciones, comparan términos modulo conversión alfa, imprimen todos los atajos definidos y banderas de evaluación, etc.

Los términos para evaluar y órdenes son entrados en un read-eval-print-loop (REPL) "pronto" "o incluidos" de un archivo por una orden especial. Una rama Haskell es una fijación de la calculadora de lambda (como una lengua específica para la esfera) en Haskell. La calculadora puede estar usada interactivamente dentro de Abrazos o GHCi.

La calculadora presente pone en práctica lo que parece ser un algoritmo eficiente y elegante de reducciones de orden normales. El algoritmo es "más funcional" que el acercamiento tradicionalmente usado.

El algoritmo parece idéntico a esto empleado por yacc sans una diferencia crítica. La calculadora también toma un acercamiento "más funcional" a la higiene de substituciones de la beta, que es conseguida coloreando de identificadores donde absolutamente necesario. Este acercamiento es "más funcional" porque evita un contador global o el ensartamiento del balde de pintura por el todo el proceso. La integración de la calculadora con Haskell nos deja almacenar términos en variables y fácilmente e intuitivamente combinarlos.

La receta tradicional para reducciones de orden normal incluye una frase desagradable "cocinero hasta no hecho". La frase hace necesario guardar la pista de tentativas de reducción, e implica un algoritmo iterativo feo. Proponían lo que parece ser una técnica eficiente y elegante que puede ser puesta en práctica por reglas intuitivas que vuelven a escribir.

Nuestra calculadora, como yacc, posee una pila y trabaja haciendo una secuencia de cambio y reducir pasos. La única diferencia significativa de yacc es que la calculadora de la lambda "analiza de nuevo" el resultado después de que los acertados reducen el paso. La fuente y los idiomas de destino de nuestro "analizador sintáctico" (calculadora de la lambda) son el mismo; por lo tanto, el analizador sintáctico en efecto puede aplicarse.

La pila de análisis sintáctico puede ser hecha implícita. En este caso, el algoritmo puede estar usado para la normalización de términos de la lambda escritos a máquina en Twelf.

Los ejemplos siguientes muestran que el cálculo de la lambda se hace una lengua específica para la esfera introducida en Haskell:

> c0 = f ^ x ^ x - el número 0 de Iglesia
> succ = c ^ f ^ x ^ f # (c # f # x) - Sucesor

> los c1 = eval $ succ # c0 - preevalúan otros números
> c2 = eval $ succ # c1
> c3 = eval $ succ # c2
> c4 = eval $ succ # c3

En efecto es conveniente almacenar términos en variables Haskell y preevaluar (es decir, normalizar) ellos. Ellos en efecto son términos. Siempre podemos pedir al intérprete mostrar el término. Por ejemplo, muestre producciones de c4 (f. (x. f (f (f (f x))))).

deje a mul = un ^ b ^ f ^ un # (b # f) - multiplicación
$ de eval mul # c1---> (b. b), la función de identidad
$ de eval mul # c0---> (b. (f. (x. x))), que es "const 0"

Éstos son resultados algebraicos: la multiplicación de cualquier número por el cero siempre da el cero. Podemos ver ahora como el cálculo de la lambda puede ser útil para la prueba de teorema, hasta sobre fórmulas universalmente cuantificadas.

La calculadora pone en práctica la suposición de doctor Fairbairns para limitar la profundidad de términos impresos. Esto hace posible evaluar e imprimir algunos términos divergentes (llamados términos divergentes por la cola):

Lambda_calc> dejan a y_comb = f ^ ((p^p#p) # (c ^ f# (c#c))) en $ eval y_comb#c
c (c (c (c (c (c (c (c (c (c (...))))))))))

Es asombroso como bien el cálculo de la lambda y Haskell juegan juntos.
20
Varios - Educación
GPL (GNU Gene
Prevea que "la lista en una caja" es un sistema de dirección de curso diseñado para facilitar el uso de cesiones de tarea autoclasificadas, teniendo también preguntas basadas en el texto en cuenta para ser presentadas en línea y clasificadas en línea por el instructor. Me desarrollé y actualmente usar el sistema para mis cursos de microeconomía y estadística introductorios en la universidad de Isla Larga, y lo he tenido en la producción desde 2005. Mientras usted será capaz de romper el programa si usted intenta bastante con fuerza, está estable y muchísimo listo para el uso.

Escribí el programa porque quise algo más simple que Moodle (y también porque mi escuela no apoyaba Moodle entonces que comencé el proyecto). Amo Moodle, y Moodle puede ser correcto para usted, pero él derecho wasnt para mí, porque didnt quiero que el sistema de dirección de curso asuma mi sitio web de curso. Básicamente, los apodos "lista en una caja" la tarea y funciones que clasifican con un par de páginas web y le dejan en su propio para diseñar el resto de su sitio web de curso. Esto puede o puede no ser lo que usted quiere.

Debería ser completamente simple tomar mis módulos de estadística (y los próximos módulos de microeconomía que yo sólo havent conseguido alrededor al embalaje) y despierte su propio curso de estadística introductorio en seguida. También es completamente simple alistar un curso que consiste en preguntas sólo basadas en el texto, clasificadas a mano. Por otra parte, si usted quiere escribir cesiones autoclasificadas con algún otro objetivo, usted tendrá que saber codificarlos usted mismo. La estructura de los módulos debería ser algo que se explica por sí mismo a programadores con experiencia, pero desalienta probablemente a aquellos que no saben codificar. El programa entero es escrito en PHP, y usa MySQL como una base de datos de parte trasera.

Limitaciones:

· hay cosas que usted podría hacer corrigiendo la lista de cesión que lo dejaría en un estado inconsecuente. Por ejemplo, si usted deja una página abierta, luego abre una página diferente y hace corrige en aquella página, y luego volver a la primera página y guardar sus cambios, usted puede atornillar cosas. Me pondré alrededor a la fijación de este problema en algún punto, pero entretanto trataré de no hacer cosas así.
· el programa usa la variable de sesión PHP, que por desconexiones por tiempo por defecto después de 24 protocolos (supuestamente debido a preocupaciones de seguridad). Usted debería el error el administrador de sitio web para alargar la sesión gc_maxlifetime de ajuste de sistema PHP para ser lo más largo posible.
· en Ausencia, el sistema reinicializa al semestre de Primavera el 1 de enero, el semestre Summmer el 15 de mayo, y el semestre de Caída el 1 de septiembre. Yo debería hacer probablemente estas fechas editable en algún sitio en site_settings.php, pero en cambio los youll tienen que cavar por administer.php y homework.php si usted quiere cambiarlos.

Whats Nuevo en Esta Liberación:

· Esto ha estado usado en un ambiente de producción durante dos años ahora, pero el código nunca ha sido soltado.

Mi Software
Usted no ha guardado ningún software.
relacionados con la búsqueda
Enlaces patrocinados