LCI - A lambda calculus interpeter 0.6

Program Terkait

• Universal SQL Gateway Gratis

  Universal SQL Gateway menggali permintaan SQL melalui firewall melalui HTTP dengan menerapkan driver JDBC khusus. Ini menyediakan akumulasi database yang aman dengan bertindak sebagai komponen firewall yang biasa disebut seba

• Dev65 Gratis

  Dev65 adalah suite perakit, linker, dan pustakawan makro untuk 6501, 6502, 65C02, 65816 dan 65832 keluarga mikroprosesor yang dikodekan di Jawa untuk portabilitas. Kode ini didasarkan pada kerangka kerja yang dapat mendukung

• GameDirector Gratis

  GameDirector Ver 0.1 Devlopment Build 10 18-November-10. GameDirector adalah sistem pengembangan game baru berdasarkan Ogre Engine dan sedang dalam pengembangan yang berat.

• Flash and Boom Uji Coba Gratis

  Aplikasi pengukuran jarak kilat.Gemuruh guntur mengikuti setelah beberapa detik kilatan petir.Flash dan Boom Aplikasi menggunakan waktu ini untuk menentukan jarak antara Anda dan titik dampak!

• Network Transparent Widgets (ntw) Gratis

  NTW adalah protokol klien / server lintas platform dan toolkit widget yang memungkinkan pengoperasian jarak jauh yang efisien, bahkan melalui jaringan yang lambat. Tujuannya adalah untuk dapat melayani ratusan klien jarak ja

• subtex Gratis

  subteks adalah versi XML Dari LaTeX, sistem typesetting populer. Ini berisi subset perintah lateks (karenanya SUBtex) tetapi juga berisi banyak perbaikan, termasuk sistem bibliografi bawaan yang luar biasa. Tag LaTeX di XML!

• LogJana Gratis

  Program logjana adalah program log untuk server proxy jana V2. Ini membagi logfile utama "proxy.log" dalam berkas berwaktu. Logfile utama "proxy.log" Untuk pertanyaan, kirim email di michael.wiechert(at)go

• elisa Gratis

  Elisa adalah perpustakaan C++ terbuka untuk pemrograman batasan dan teknik pemecahan batasan. Algoritma berbasis interval untuk memecahkan batasan berkelanjutan mengharuskan Gaol (http://sf.net/projects/gaol) sudah diinstal

• PersianDate Gratis

  perpustakaan c++ untuk mengonversi tanggal antara kalender Persia dan Gregorian dan beberapa kelas pembantu ke tanggal penambahan ...

• Ada 2005 Math Extensions Gratis

  Standar Ada 2005 mendefinisikan operasi matriks dan vektor yang nyata dan kompleks. Tidak setiap operasi yang mungkin didukung, jadi misalnya hanya matriks simetris atau hermitian yang dapat diselesaikan. Proyek ini menyediak