Pendidikan & Rujukan — Altapps.net

1

Dailysubs

Adakah anda juga mempunyai masalah dengan mencari sari kata yang betul?Dailysubs.net mempunyai 4 juta sarikata dalam 70 bahasa.Menjana sarikata anda dalam bahasa yang salah?tiada masalah.Sarikata ini diterjemahkan secara automatik dalam beberapa saat.

Percuma
Web

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.

Percuma
Windows
Mac
Linux

1

Startup College

Startup College adalah sekolah keusahawanan dalam talian.Ia mempunyai kursus video pemasaran, Lean Startup, pembangunan web, dan banyak lagi.

Berbayar
Windows

1

Rope Hexagon

Jika anda menyentuh skrin kiri dan kanan, tali itu keluar. Cobalah untuk memanjat setinggi mungkin sambil mengelakkan batu.

Percuma
iPad
Android
iPhone

0

eMathHelp

Kalkulator untuk membantu masalah matematik: algebra (pemecah persamaan, bahagian sintetik, kalkulator polinomial, kalkulator pemfaktoran), kalkulus (derivatif, kalkulator grafik yang penting).

Percuma
Web

0

Skills Co.

Mempunyai Kemahiran?Dibayar.Kami membantu anda untuk menjual kemahiran anda dan membuat wang dengan YouTube.Kami memanggilnya mesin wang.Kemahiran Co telah dicipta untuk mengewangkan pandangan pada video 'Cara-Untuk' YouTube.Dengan Kemahiran Co setiap pandangan adalah pelanggan berpotensi membayar.

Berbayar
iPhone

0

Tyre Pressure

Permohonan tekanan inflasi sejuk.

Percuma
iPad
iPhone

0

Insight

Dapatkan pakar dan dapatkan jawapan kepada soalan anda.Sambung terus ke pelbagai profesional mahir dan dapatkan nasihat dan jawapan kepada soalan anda.

0

Statistical Calculations

Apl Pengiraan Statistik membantu anda mengira mudah banyak jenis data Kualitatif dan Kuantitatif.

Berbayar
Mac

0

Populi

Populi adalah perisian pengurusan kolej.Ia adalah SIS, LMS, pakej kewangan, kedai buku ... semuanya dalam satu kumpulan.

Berbayar
Web
iPad
iPhone

0

Gollum wiki

Sebuah wiki Git yang berkuasa dengan API manis dan frontend tempatan.

Percuma
Web

1

HealthMap

HealthMap, sebuah pasukan penyelidik, pakar epidemiologi dan pemaju perisian di Boston Children's Hospital yang ditubuhkan pada tahun 2006, adalah pemimpin global yang mantap dalam menggunakan ...

Percuma
Web

1

Phys

Berita dalam sains dan teknologi dengan sistem pengundian dan penapisan

Percuma
Web

1

YO Sperm Test

Ujian Sperma YO adalah yang pertama seumpamanya untuk membolehkan anda menguji sperma anda dan melihat hasilnya.Bekerja melalui kamera telefon pintar anda, ujian sperma YO memeriksa kelikatan, kiraan sperma, dan banyak lagi dengan penilaian ketepatan 97%.