![](/statics/img/blank.png)
Orangeboard Lambda Calculus Interpreter 1.0
Anda boleh memuat turun dalam masa 5 saat.
Anda juga boleh klik pada Pautan Muat Turun Luaran berikut untuk memulakan muat turun:
http://sourceforge.net/projects/redboard/files/redboard/Redboard%201.0/RedboardSource.zip/download
Tentang Orangeboard Lambda Calculus Interpreter
Aplikasi mudah .NET/mono yang mentafsir dan menilai ungkapan kalkulus lambda yang tidak diikat.
Atur Cara Berkaitan
-
pyckett Percuma
Ini adalah emulator peraturan slaid berdasarkan reka bentuk peraturan slaid Pickett klasik. Ia ditulis dalam Python, jadi nama & sebut harga&pyckett& adalah sesuai. Ia sesuai sebagai contoh pembinaan perisian Py
-
tkradar Percuma
Tkradar adalah satu set perpustakaan C dan pakej Tcl/Tk untuk mengakses, memanipulasi, dan memaparkan pelbagai bentuk data radar cuaca. Ia memerlukan Tcl, Tk, dan Tkgeomap.
-
e17genmenu Percuma
e17genmenu adalah aplikasi untuk menjana entri menu secara automatik untuk Pengurus Tetingkap Pencahayaan (DR17) pada Linux berdasarkan menu Gnome/Kde. Ia ditulis dalam C, menggunakan Perpustakaan Yayasan Enlightenment termas
-
Italian Translator TransZilla Percuma
Penterjemah Itali TransZilla adalah penterjemah percuma yang menggunakan Google Translate.Penterjemah menyokong Bahasa Inggeris ke Itali dan Itali untuk terjemahan Bahasa Inggeris.Gunakan penterjemah untuk perkataan, pent
-
Eigenmath DS Percuma
Eigenmath DS adalah sistem algebra komputer percuma yang dipindahkan ke Nintendo DS.Matlamat projek ini adalah untuk mempunyai CAS percuma setanding dengan sistem komersial seperti Texas Instruments atau kalkulator HP.
-
Inaugural Address USA 2009 Percubaan Percuma
Teks rasmi alamat sulung presiden Obama, Januari 2009.Kami juga menerbitkan:*Alamat kepada Kongres Feb 2009* *Obama on Space 2010*dan aplikasi lain.Aplikasi ini direka bentuk untuk dibaca semasa di luar talian
-
BioStream Percuma
BioStream membolehkan penyelidik bioinformatik membuat, pertanyaan dan menggunakan alatan untuk pangkalan data mereka sendiri. Ia menyokong fail urutan dan jenis data lain dengan membenarkan penciptaan fail definisi metadata.
-
I.S.A.A.C.S. Percuma
I.S.A.A.C.S. Analisis Struktur Interaktif Amorphous dan Crystalline Systems adalah perisian rentas platform yang dibangunkan untuk menganalisis ciri-ciri struktur model tiga dimensi yang dibina oleh simulasi komputer.
-
SystemJ-Translator Percuma
SystemJ adalah bahasa baru yang didedikasikan untuk pembangunan mudah HDL Reaktif. Berdasarkan JAVA ia adalah platform bebas dan memberi kemudahan pembangunan yang mengiringi jawa.
-
Project35 Percuma
Project35 adalah suite alat perisian yang menjana borang berdasarkan skema XML. Pada asalnya berasal dari projek penyelidikan Pedro, alat Project35 telah diubahsuai untuk menyokong lebih banyak kes penggunaan peringkat penge