Hantar Perisian
  1. Rumah
  2. Linux
  3. Lain
  4. Lurch

Lurch 0.4

Lesen: Percuma ‎Saiz fail: N/A
‎Penarafan Pengguna: 3.0/5 - ‎1 ‎Undi
Muat turun

Perisian untuk pengajaran dan pembelajaran bukti matematik Di mana kebanyakan perisian bukti matematik menumpukan perhatian kepada logik formal (atau beberapa kawasan khusus matematik lain), Lurch bertujuan untuk menjadi benar-benar tujuan umum, dengan antara muka pengguna yang attracitve.

sejarah versi

  • Versi 0.4 diposkan pada 2010-09-22
    Beberapa pembaikan dan pengemaskinian
  • Versi 0.4 diposkan pada 2010-09-22

Butiran Atur Cara

Atur Cara Berkaitan

  • TOTAL .NET Protector Percubaan Percuma

    Oleh kerana .NET adalah persekitaran yang diuruskan, sentiasa ada kelemahan mempunyai kod anda terbuka kepada sesiapa sahaja yang menggunakan Reflektor atau Refraktor.JUMLAH Skater menukarkan kod Bahasa Perantaraan Microsof

  • Ziga Percuma

    Permohonan perkongsian fail yang ditulis dalam Jawa. Ia menggunakan modul untuk menyokong protokol yang berbeza. Pada masa ini terdapat modul untuk protokol Napster dan Gnutella yang tersedia.

  • Scriptol Xul Dev Percuma

    Xul Dev bermaksud persekitaran pembangunan Xul. IDE bertujuan untuk mereka bentuk antara muka Xul dan untuk membuat program dalam mana-mana bahasa pengaturcaraan. IDE ditulis dalam Scriptol C++ dan boleh didapati dalam bentuk

  • cmpio library Percuma

    Libcmpio adalah perpustakaan tujuan umum, yang menyediakan cara mudah untuk memanipulasi fail data dengan panjang rekod pembolehubah, pemampatan rekod, penciptaan dan kawalan kelantangan telus dan mudah alih di kalangan platf

  • Nuke My Tablet Percubaan Percuma

    Nuke My Tablet melindungi privasi anda dengan menjamin memadamkan data peribadi anda, foto dan video sedemikian, dan mengembalikan telefon anda kepada tetapan kilang. Sekarang anda boleh membalas peranti lama dengan selamat a

  • the prefuse visualization toolkit Percuma

    Alatan perisian untuk membina aplikasi visualisasi maklumat interaktif. Prefuse menyokong satu set ciri yang kaya untuk pemodelan data, visualisasi, animasi, dan interaksi untuk kedua-dua Jawa (prefuse) dan Flash (prefuse fla

  • AJIO Percuma

    AJIO membolehkan membina balang dari satu atau lebih kelas. Fail balang yang dicipta mengandungi semua kelas tanggungan dari semua fail balang yang dirujuk.AJIO permet de crer UN balang partir d'une ou plusieurs kelas et

  • AdaDLX Percuma

    Ini adalah pelaksanaan Ada algoritma Dancing Links X seperti dalam kertas Donald E. Knuth. AdaDLX digunakan untuk menyelesaikan teka-teki Lapan Permaisuri, grid Sudoku dan Blocs dalam teka-teki Box.

  • Php5 Meta-Model Percuma

    Model Php 5. Projek ini menjadi tuan rumah model Php 5 ecore dan penjana.

  • Spyc Percuma

    Spyc adalah mudah YAML loader / dumper kelas untuk PHP. Ia boleh digunakan untuk memuatkan YAML fail ke dalam struktur data PHP atau untuk membuang arwah PHP untuk yaml mudah. Untuk maklumat lanjut mengenai YAML, www.yaml.org