Software verzenden
  1. Home
  2. Linux
  3. Andere
  4. LCI - A lambda calculus interpeter

LCI - A lambda calculus interpeter 0.6

Licentie: Gratis ‎Bestandsgrootte: N/A
‎Gebruikersbeoordeling: 4.0/5 - ‎1 ‎Stemmen
Downloaden

LCI is tolk voor de lambda calculus. Het ondersteunt vele geavanceerde functies zoals gehele getallen, recursie, door de gebruiker gedefinieerde operators en meerdere evaluatiestrategieën.

versiegeschiedenis

  • Versie 0.6 geplaatst op 2008-02-14
    Verschillende oplossingen en updates
  • Versie 0.6 geplaatst op 2008-02-14

Programmadetails

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