Kirim Perangkat Lunak
  1. Rumah
  2. Linux
  3. Lain
  4. Lurch
  5. Download

Lurch 0.4

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

Tentang Lurch

Perangkat lunak untuk bukti matematika pengajaran dan pembelajaran Di mana sebagian besar perangkat lunak bukti matematika berkonsentrasi pada logika formal (atau beberapa area khusus matematika lainnya), Lurch bertujuan untuk benar-benar tujuan umum, dengan antarmuka pengguna yang attracitve.

Program Terkait

  • TOTAL .NET Protector Uji Coba Gratis

    Karena .NET adalah lingkungan yang dikelola, selalu ada kelemahan dari membuka kode Anda kepada siapa pun yang menggunakan Reflector atau Reflektor.Skater TOTAL mengonversi kode Bahasa Menengah Microsoft (MSIL atau CIL) yan

  • Ziga Gratis

    Aplikasi berbagi file yang ditulis dalam bahasa Jawa. Ini menggunakan modul untuk mendukung protokol yang berbeda. Saat ini ada modul untuk protokol Napster dan Gnutella yang tersedia.

  • Scriptol Xul Dev Gratis

    Xul Dev berarti untuk lingkungan pengembangan Xul. IDE dimaksudkan untuk merancang antarmuka Xul dan membuat program dalam bahasa pemrograman apa pun. IDE ditulis dalam Scriptol C++ dan tersedia dalam bentuk sumber dan sebaga

  • cmpio library Gratis

    Libcmpio adalah perpustakaan tujuan umum, yang menyediakan cara mudah untuk memanipulasi file data dengan panjang rekaman variabel, kompresi rekaman, pembuatan volume transparan dan kontrol dan portabilitas di antara berbagai

  • Nuke My Tablet Uji Coba Gratis

    Nuke My Tablet melindungi privasi Anda dengan menghapus data pribadi Anda dengan aman, foto dan video seperti itu, dan mengembalikan ponsel Anda ke pengaturan pabrik. Sekarang Anda dapat dengan aman mengubah perangkat lama at

  • the prefuse visualization toolkit Gratis

    Alat perangkat lunak untuk membangun aplikasi visualisasi informasi interaktif. Prefuse mendukung serangkaian fitur yang kaya untuk pemodelan data, visualisasi, animasi, dan interaksi untuk Java (prefuse) dan Flash (prefuse f

  • AJIO Gratis

    AJIO memungkinkan membangun toples dari satu atau beberapa kelas. File jar yang dibuat berisi semua kelas dependan dari semua file jar yang direferensikan.AJIO permet de crer UN jar partir d'une ou plusieurs kelas et de l

  • AdaDLX Gratis

    Ini adalah implementasi Ada dari Algoritma Dancing Links X seperti dalam makalah Donald E. Knuth. AdaDLX digunakan untuk memecahkan teka-teki Eight-Queens, kisi Sudoku dan Blocs dalam teka-teki Box.

  • Php5 Meta-Model Gratis

    Model Php 5. Proyek ini menyelenggarakan Model Php 5 ecore dan generatornya.

  • Spyc Gratis

    Spyc adalah kelas loader / dumper YAML sederhana untuk PHP. Ini dapat digunakan untuk memuat file YAML ke dalam struktur data PHP atau untuk membuang array PHP ke YAML sederhana. Untuk informasi selengkapnya tentang YAML, lih