Visual Lambda Calculator with Mind Maps

Program Terkait

• XML-RPC for C/C++ (Xmlrpc-c) Gratis

  Pustaka pemrograman untuk menulis server XML-RPC atau klien di C atau C++. XML-RPC adalah protokol jaringan standar untuk memungkinkan program klien membuat permintaan tipe panggilan prosedur jarak jauh sederhana (RPC) server

• Visio-EMF Bridge Gratis

  Jembatan Visio-EMF menawarkan transformasi stensil Visio dan model Visio menjadi metamodel EMF dan model EMF. Jembatan ini memungkinkan pemrosesan model Visio dengan alat EMF, seperti, openArchitectureWare atau Eclipse Epsilo

• DMG Automounter for Linux Gratis

  DMG Automounter adalah skrip nautilus yang memungkinkan distribusi Linux untuk memasang file Mac OS X .dmg (tetapi tidak menginstalnya, karena itu akan memerlukan API Mac OS X yang merupakan sumber tertutup). README memiliki

• LiveGraph Gratis

  Sebuah komplotan grafik real-time. Saat aplikasi Anda menghitung dan mencatat hasil ke file CSV menggunakan LiveGraph Writer API, plotter memungkinkan Anda memvisualisasikan dan memantau hasilnya secara langsung - dengan lang

• MGP Gratis

  Plugin Maven GWT digunakan untuk mengompilasi file sumber JavaScript dari sumber Java. Plugin menjalankan GWTCompiler, memungkinkan untuk mengkonfigurasi opsi kompilasi, secara otomatis mendeteksi lokasi file sumber dan sumbe

• pGina Gratis

  pGina adalah sistem otentikasi penggantian sumber terbuka untuk OS Windows yang menggunakan plugin yang mudah ditulis untuk mengakomodasi otentikasi melalui ujung belakang tanpa batas.

• PostNuke module pnEWiki Gratis

  ErfurtWiki adalah implementasi dari sistem hypertext WikiWikiWeb (ditulis dalam bahasa skrip PHP). pnEWiki adalah PostNuke-Module untuk integrasi dan peningkatan ErfurtWiki ke dalam PostNuke.

• Stewien's Miscellanous Libraries Gratis

  Kumpulan perpustakaan lain-lain, aplikasi kecil, dan utilitas. Sedikit sesuatu untuk semua orang.

• ioda fulltext engine Gratis

  ioda adalah perangkat lunak pengindeksan fulltext, menyimpan kata-kata dan data meta. Menangani operator logika, kurung, dan nilai jarak kata dalam kueri. Untuk digunakan sebagai suplemen database yang ada atau mandiri. Berja

• more - a C++ library Gratis

  Pustaka serbaguna: terkait STL, seperti penutupan ekspresi lambda, dan pemesanan parsial. Kode generasi-kompilasi-linking, dan diinterpretasikan fungsi panggilan. Matematika dan fisika, dengan spinor, parser ENSDF, dan bany