Kirim Perangkat Lunak
  1. Rumah
  2. Linux
  3. Lain
  4. LCI - A lambda calculus interpeter
  5. Download

LCI - A lambda calculus interpeter 0.6

Lisensi: Gratis ‎Ukuran file: N/A
‎Peringkat Pengguna: 4.0/5 - ‎1 ‎Suara

Tentang LCI - A lambda calculus interpeter

LCI adalah penerjemah untuk kalkulus lambda. Ini mendukung banyak fitur kemajuan seperti bilangan bulat, rekursi, operator yang ditentukan pengguna, dan beberapa strategi evaluasi.

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