Yazılım Gönder
  1. Ev
  2. Linux
  3. Diğer
  4. LCI - A lambda calculus interpeter
  5. Download

LCI - A lambda calculus interpeter 0.6

Lisans: Ücret -siz ‎Dosya boyutu: N/A
‎Kullanıcı Derecelendirmesi: 4.0/5 - ‎1 ‎Oy

Hakkı -nda LCI - A lambda calculus interpeter

LCI lambda kalkülüs için bir tercüman. Bu, karşıtlar, özyineleme, kullanıcı tanımlı işleçler ve birden çok değerlendirme stratejileri gibi birçok ilerleme özelliğini destekler.

İlgili Programlar

  • Universal SQL Gateway Ücret -siz

    Universal SQL Gateway, özel bir JDBC sürücüsü uygulayarak HTTP üzerinden güvenlik duvarları üzerinden SQL isteklerini tüneller. Genellikle Uygulama Ağ Geçidi olarak başvuran bir güvenlik duvarı bileşeni gibi davranarak güvenl

  • Dev65 Ücret -siz

    Dev65, Java'da taşınabilirlik için kodlanmış 6501, 6502, 65C02, 65816 ve 65832 mikroişlemci ailesi için bir makro assembler, bağlayıcı ve kütüphaneci paketidir. Kod, diğer sistem mimarilerini destekleyebilecek bir çerçeveyi t

  • GameDirector Ücret -siz

    GameDirector Ver 0.1 Devlopment Build 10 18-Kasım-10. GameDirector Ogre Engine dayalı yeni bir oyun geliştirme sistemi ve ağır geliştirme olduğunu.

  • Flash and Boom Ücretsiz Deneme

    Yıldırım mesafesi ölçüm uygulaması.Gök gürültüsü bir gümbürtüsü birkaç saniye sonra yıldırım bir flaş izler.Flash ve Boom Uygulaması bu süreyi siz ve etki noktası arasındaki mesafeyi belirlemek için kullanın!

  • Network Transparent Widgets (ntw) Ücret -siz

    NTW, yavaş ağlarda bile etkin uzaktan çalışma sağlayan bir çapraz platform istemci/sunucu protokolü ve widget araç setidir. Amacı tek bir ucuz sunucu ile uzak istemcilere yüzlerce hizmet edebilmektir.

  • subtex Ücret -siz

    subtex LaTeX, popüler dizme sistemi bir XML sürümüdür. Lateks komutlarının bir alt kümesini (dolayısıyla SUBtex) içerir, ancak aynı zamanda muhteşem bir dahili bibliyografya sistemi de dahil olmak üzere birçok iyileştirme içe

  • LogJana Ücret -siz

    Logjana programı jana proxy sunucusu V2 için bir günlük programıdır. Ana logfile "proxy.log" zamanlanmış dosyalarda böler. Ana logfile "proxy.log" değiştirilmeyecektir. Sorular için michael.wiechert (at)go

  • elisa Ücret -siz

    Elisa, kısıtlama programlama ve kısıtlama çözme teknikleri için açık bir C++ kitaplığıdır. Sürekli kısıtlamaları çözmek için aralık tabanlı algoritmalar, Gaol'un (http://sf.net/projects/gaol) sisteminize zaten yüklü olması g

  • PersianDate Ücret -siz

    Farsça ve Gregoryen takvimi ile bazı yardımcı sınıfları arasında tarihi artış tarihine dönüştürmek için bir c++ kitaplığı ...

  • Ada 2005 Math Extensions Ücret -siz

    Ada 2005 standardı gerçek ve karmaşık matris ve vektör işlemlerini tanımlar. Mümkün olan her operasyon desteklenmez, bu nedenle örneğin sadece simetrik veya hermitian matrisler çözülebilir. Bu proje, GNAT standardına uzantıla