Invia software
  1. Casa
  2. Linux
  3. Altro
  4. LCI - A lambda calculus interpeter
  5. Download

LCI - A lambda calculus interpeter 0.6

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 4.0/5 - ‎1 ‎Voti

Circa LCI - A lambda calculus interpeter

LCI è un interprete del lambda calculus. Supporta molte funzionalità avanzate come numeri interi, ricorsione, operatori definiti dall'utente e strategie di valutazione multiple.

Programmi correlati

  • Universal SQL Gateway Gratuito

    Universal SQL Gateway esegue il tunnel delle richieste SQL tramite firewall tramite HTTP implementando uno speciale driver JDBC. Fornisce accessi sicuri al database agendo come un componente firewall comunemente indicato come

  • Dev65 Gratuito

    Dev65 è una suite di macroassemblatori, linker e bibliotecari per la famiglia di microprocessori 6501, 6502, 65C02, 65816 e 65832 codificata in Java per la portabilità. Il codice si basa su un framework che potrebbe supportar

  • GameDirector Gratuito

    GameDirector Ver 0.1 Devlopment Build 10 18-Novembre-10. GameDirector è un nuovo sistema di sviluppo di giochi basato sul motore Ogre ed è in forte sviluppo.

  • Flash and Boom Prova gratuita

    Applicazione di misurazione della distanza dei fulmini.Un rombo di tuono segue dopo alcuni secondi un lampo.Flash e Boom Application utilizzano questo tempo per determinare la distanza tra l'utente e il punto di impatt

  • Network Transparent Widgets (ntw) Gratuito

    NTW è un protocollo client/server multipiattaforma e widget toolkit che consente un funzionamento remoto efficiente, anche su reti lente. Il suo obiettivo è quello di essere in grado di servire centinaia di client remoti con

  • subtex Gratuito

    è una versione XML di LaTeX, il popolare sistema di composizione tipografica. Contiene un sottoinsieme dei comandi in lattice (da cui SUBtex) ma contiene anche molti miglioramenti, tra cui un favoloso sistema di bibliografia

  • LogJana Gratuito

    Il programma logjana è un programma di log per il server proxy jana V2. Divide il file registro principale "proxy.log" in file a tempo. Il file registro principale "proxy.log" non verrà modificato. Per dom

  • elisa Gratuito

    Elisa è una libreria C++ aperta per la programmazione a vincoli e le tecniche di risoluzione dei vincoli. Gli algoritmi basati su intervalli per risolvere i vincoli continui richiedono che Gaol (http://sf.net/projects/gaol)

  • PersianDate Gratuito

    una libreria c++ per la conversione della data tra calendario persiano e gregoriano e alcune classi di helper in data di incremento ...

  • Ada 2005 Math Extensions Gratuito

    Lo standard Ada 2005 definisce le operazioni vettoriali e matriciali reali e complesse. Non tutte le operazioni possibili sono supportate, quindi ad esempio solo matrici simmetriche o ermitiane possono essere risolte. Questo