Hantar Perisian
  1. Rumah
  2. Linux
  3. Lain
  4. LCI - A lambda calculus interpeter
  5. Download

LCI - A lambda calculus interpeter 0.6

Lesen: Percuma ‎Saiz fail: N/A
‎Penarafan Pengguna: 4.0/5 - ‎1 ‎Undi

Tentang LCI - A lambda calculus interpeter

LCI adalah jurubahasa untuk kalkulus lambda. Ia menyokong banyak ciri kemajuan seperti integer, recursion, pengendali yang ditakrifkan pengguna dan pelbagai strategi penilaian.

Atur Cara Berkaitan

  • Universal SQL Gateway Percuma

    Terowong Universal SQL Gateway meminta melalui tembok api melalui HTTP dengan melaksanakan pemandu khas JDBC. Ia menyediakan pangkalan data yang selamat acces dengan bertindak sebagai komponen tembok api yang biasanya dirujuk

  • Dev65 Percuma

    Dev65 adalah pemasang makro, penghimpun dan suite pustakawan untuk 6501, 6502, 65C02, 65816 dan 65832 keluarga pemproses mikro yang dikodkan di Jawa untuk mudah alih. Kod ini berdasarkan rangka kerja yang boleh menyokong seni

  • GameDirector Percuma

    GameDirector Ver 0.1 Devlopment Build 10 18-November-10. GameDirector adalah sistem pembangunan permainan baru berdasarkan Enjin Ogre dan berada dalam pembangunan berat.

  • Flash and Boom Percubaan Percuma

    Permohonan pengukuran jarak kilat.Satu rumble of thunder berikut selepas beberapa saat sekelip mata kilat.Aplikasi Flash dan Boom menggunakan kali ini untuk menentukan jarak antara anda dan titik impak!

  • Network Transparent Widgets (ntw) Percuma

    NTW adalah protokol pelanggan / pelayan silang platform dan toolkit widget yang membolehkan operasi jauh yang cekap, walaupun melalui rangkaian yang perlahan. Matlamatnya adalah untuk dapat melayani beratus-ratus pelanggan j

  • subtex Percuma

    subteks adalah versi XML LaTeX, sistem pengaturcaraan yang popular. Ia mengandungi subset perintah lateks (oleh itu SUBtex) tetapi juga mengandungi banyak penambahbaikan, termasuk sistem bibliografi terbina dalam yang hebat.

  • LogJana Percuma

    Program logjana adalah program log untuk pelayan proksi jana V2. Ia membahagikan logfile utama & sebut harga;proksi.log&sebut harga; dalam fail masa. Logfile utama & sebut harga.log&sebut harga; Untuk soalan m

  • elisa Percuma

    Elisa adalah perpustakaan C ++ terbuka untuk pengaturcaraan kekangan dan teknik penyelesaian kekangan. Algoritma berasaskan selang untuk menyelesaikan kekangan berterusan memerlukan Gaol (http://sf.net/projects/gaol) telah d

  • PersianDate Percuma

    perpustakaan c ++ untuk tarikh menukar antara kalendar Parsi dan Gregory dan beberapa kelas bantuan hingga tarikh kenaikan ...

  • Ada 2005 Math Extensions Percuma

    Piawaian Ada 2005 mentakrifkan matrix sebenar dan kompleks dan operasi vektor. Tidak semua operasi yang mungkin disokong, jadi sebagai contoh hanya matriks siymetrik atau hermitian boleh diselesaikan. Projek ini menyediakan s