eXtensible Abstract State Machines

  •        0

The purpose of the project is to develop a programming language whose semantics is based on a minimal, imperative mathematical machine.




comments powered by Disqus

Related Projects

S.M.A.R.T. Monitoring Tools

smartmontools contains utility programs (smartctl, smartd) to control/monitor storage systems using the Self-Monitoring, Analysis and Reporting Technology System (S.M.A.R.T.) built into most modern ATA and SCSI disks. It is derived from smartsuite.

M.A.R.S. - a ridiculous Shooter

This is a first attempt to create a game in OpenGL with SFML. It is a game for two players, flying with ships in a two-dimensional space setting, governed by the laws of gravity. There are several game modes and a lot of weapons.


SImple, powerful audio tagger for GNU/Linux

FreeRTOS Real Time Kernel (RTOS)

Market leading real time kernel for 32 microcontroller architectures

Introse-s20-grpb-introseay201011t2 - INTROSE S20 - Group B

INTROSE S20 - Group B Group members Alindogan, Axel Xavier C. De los Reyes, Jane Ericka A. Lopez, Matthew Ryan M.

Backlinksbyref - back Links By Ref

Check back links to referral URL. Chekea los enlaces, el código fuente, la posicion en buscadores y más del enlace que lo envía.

Ozgursozluk - açık kaynak interaktif sözlük oluşumu yazılımı...

ek$i benzeri sözlük oluşumlarında kullanılabilmek için tasarlanan sözlük...


Mac OS X S.M.A.R.T. console client

Anapalabra - Silabeador de palabras en español

Programa que separa en español una palabra en sílabas e identifica la tónica. El código está escrito en groovy aunque puede usarse desde java. Para usarlo desde java debes incluir en tu classpath el silabeador.jar y el jar groovy-all. El código ha sido probado con Groovy 1.5.6, pero debería funcionar con versiones más modernas. Con estas dos librerías en el classpath, este código debería funcionar: public class TestSil{ public static void main(String[] args) { sil.Silabeador s = new s

Ignotus - Magia para tu biblioteca!

Ignotus es una pequeña aplicación pensada para gestionar una biblioteca casera. Su función más importante es la de rellenar automáticamente los datos introduciendo sólo el ISBN. Permite gestionar prestamos, asignar portadas automáticamente,...