Pendidikan & Rujukan — Altapps.net

3

Malkovich

Malkovich adalah wiki peribadi anda sendiri.Ia mengandungi diri sendiri dan mudah dipasang.Tidak perlu mengelirukan dengan pelayan dan pangkalan data.Nota menggunakan sintaks Markdowndown.

Percuma
Windows

5

Linked Notes

Nota Berkaitan adalah notepad gaya Wiki untuk komputer desktop anda.Ia menyediakan cara mudah untuk mengatur nota anda dan menjadikannya peribadi.

Freemium
Windows

0

Super Guru Worksheets adalah perkhidmatan langganan dengan beribu-ribu sumber pengajaran yang boleh dicetak.Laman ini mempunyai sumber bacaan, matematik, dan sains untuk pelajar di peringkat rendah.Terdapat lembaran kerja, permainan pendidikan, dan pusat pembelajaran.

Berbayar
Web

0

Kuzya

Kuzya adalah IDE peralihan mudah untuk orang yang mempelajari pengaturcaraan.

Percuma
Windows
Mac
Linux

4

Chatbotmaker

Chatbotmaker.com adalah tempat untuk berbual dengan robot perbualan yang disebut chatbots.Chatbots pada sistem ini adalah pengecaman pertuturan yang didayakan untuk pengguna Chrome.

Peribadi Percuma
Web

1

EmbedPlus

EmbedPlus membolehkan anda mengemas kini benzmark video secara lancar dan bebas dengan ciri-ciri menarik yang pemain standard tidak ditawarkan saat ini.

Percuma
Web
Wordpress

3

Isabelle

Isabelle adalah pembantu bukti untuk menulis dan menyemak bukti matematik oleh komputer.

Percuma
Windows
Mac
Linux

4

Coq

Coq adalah pembantu bukti, yang membolehkan anda menulis bukti matematik dengan cara yang ketat dan formal, dan memaklumkan kepada mereka kebenaran oleh komputer.

Percuma
Windows
Mac
Linux

2

Agda

Agda adalah bahasa pengaturcaraan fungsian yang ditaip.Ia mempunyai keluarga induktif, iaitu, jenis data yang bergantung pada nilai, seperti jenis vektor panjang yang diberikan.

Percuma
Windows
Mac
Linux

0

Berp

Berp adalah pelaksanaan Python 3. Pada hatinya adalah penterjemah, yang mengambil kod Python sebagai input dan menghasilkan kod Haskell sebagai output.