LCI - A lambda calculus interpeter 0.6

Gerelateerde programma's

• Universal SQL Gateway Gratis

  De Universal SQL Gateway tunnels SQL vraagt via firewalls via HTTP door de implementatie van een speciale JDBC driver. Het biedt veilige toegang tot de database door te fungeren als een firewall component vaak aangeduid als A

• Dev65 Gratis

  Dev65 is een macro assembler, linker en bibliothecaris suite voor de 6501, 6502, 65C02, 65816 en 65832 familie van microprocessoren gecodeerd in Java voor draagbaarheid. De code is gebaseerd op een framework dat andere systee

• GameDirector Gratis

  GameDirector Ver 0.1 Devlopment Build 10 18-november-10. GameDirector is een nieuw spel ontwikkeling systeem gebaseerd op de Ogre Engine en is in zware ontwikkeling.

• Flash and Boom Gratis proefperiode

  Bliksemafstandmetingstoepassing.Een donderslag bij heldere hemel volgt na enkele seconden een bliksemflits.Flash en Boom Application gebruiken deze tijd om de afstand tussen u en het impactpunt te bepalen!

• Network Transparent Widgets (ntw) Gratis

  NTW is een cross-platform client/ server protocol en widget toolkit die efficiënte bediening op afstand mogelijk maakt, zelfs via langzame netwerken. Het doel is om honderden externe clients te kunnen bedienen met één goedko

• subtex Gratis

  subtex is een XML-versie van LaTeX, het populaire zetsysteem. Het bevat een subset van de latex commando's (vandaar SUBtex), maar bevat ook veel verbeteringen, waaronder een fantastische ingebouwde bibliografie systeem. LaTeX

• LogJana Gratis

  Het logjana programma is een log programma voor de jana proxy server V2. Het splitst het belangrijkste logbestand "proxy.log" in getimede bestanden. Het hoofdlogboekbestand "proxy.log" wordt niet gewijzigd

• elisa Gratis

  Elisa is een open C++ bibliotheek voor beperking programmering en beperking oplossen technieken. Intervalgebaseerde algoritmen voor het oplossen van continue beperkingen vereisen dat Gaol (http://sf.net/projects/gaol) al op

• PersianDate Gratis

  een c++ bibliotheek voor het omzetten van datum tussen Perzische en Gregoriaanse kalender en sommige helperklassen aan het verhogen van datum ...

• Ada 2005 Math Extensions Gratis

  De Ada 2005-standaard definieert echte en complexe matrix- en vectorbewerkingen. Niet elke mogelijke verrichting wordt gesteund, zodat bijvoorbeeld slechts symmetrische of hermitianische matrices kunnen worden opgelost. Dit p