LCI - A lambda calculus interpeter 0.6
5 saniye içinde indirebilirsiniz.
İndirmeye başlamak için aşağıdaki Harici İndirme Linkine de tıklayabilirsiniz:
http://sourceforge.net/projects/lci/files/lci/0.6/lci-0.6-win32.zip/download
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