Edukacja i referencje — Altapps.net

1

Alfasnake

Zabij czas w tej klasycznej mieszance węża i scrabble na telefonie, jedz litery i buduj słowa.

Darmowa
Android

1

EmbedPlus

EmbedPlus pozwala bezproblemowo i swobodnie aktualizować osadzone wideo za pomocą atrakcyjnych funkcji, których standardowy odtwarzacz obecnie nie oferuje.

Darmowa
Web
Wordpress

3

Isabelle

Isabelle jest asystentką do pisania i sprawdzania matematycznych dowodów komputerowych.

Darmowa
Windows
Mac
Linux

4

Coq

Coq jest asystentem dowodów, który pozwala pisać matematyczne dowody w sposób rygorystyczny i formalny oraz sprawdzać poprawność przez komputer.

Darmowa
Windows
Mac
Linux

2

Agda

Agda jest funkcjonalnym językiem programowania o typie zależnym.Ma rodziny indukcyjne, tj. Typy danych, które zależą od wartości, takie jak typ wektorów o danej długości.

Darmowa
Windows
Mac
Linux

0

Berp

Berp jest implementacją języka Python 3. Jego sercem jest tłumacz, który pobiera kod Python jako dane wejściowe i generuje kod Haskell jako dane wyjściowe.

Darmowa
Windows
Mac
Linux

1

Startup College

Startup College to internetowa szkoła przedsiębiorczości.Posiada kursy wideo na temat marketingu, Lean Startup, tworzenia stron internetowych i nie tylko.

Płatna
Windows

1

Rope Hexagon

Po dotknięciu lewego i prawego ekranu lina wysunie się. Spróbuj wspiąć się jak najwyżej, unikając kamienia.

Darmowa
iPad
Android
iPhone

1

Boundless

Boundless poprawia edukację milionów studentów i nauczycieli dzięki zasobom edukacyjnym opartym na technologii chmurowej.

Darmowa
Web

1

Maxima on Android

Maxima-on-Android - Maxima, potomek komputerowego systemu algebry Macsyma (CAS), przeniesiony na Androida

Darmowa
Android

1

Tao

Narzędzie do tworzenia testów o otwartym kodzie źródłowym, wykorzystujące standard QTI do opracowywania e-testów.

Darmowa
Windows
Mac
Linux

1

nkoda

nkoda to jedyna obsługiwana przez wydawcę subskrypcja cyfrowej nuty.

1

Mplus

Mplus to program do modelowania statystycznego, który zapewnia badaczom elastyczne narzędzie do analizy ich danych.

Płatna
Windows

1

iVocAudio

Czy kiedykolwiek marzyłeś o zrobieniu kilku prostych rzeczy, aby poprawić swoje umiejętności pamięci?

Płatna
iPhone

1

Wikkii

Wikkii zapewnia w pełni funkcjonalny hosting stron wiki na dowolny temat, a co najważniejsze, jest w 100% darmowy.

Darmowa
Web

1

ScientificPlotter

ScientificPlotter - Nowe doświadczenie nauki w Twojej kieszeni

Darmowa
Android

1

FanHow

Fanhow to społeczność, której celem jest coś więcej niż tylko pomoc w dzieleniu się informacjami i opiniami na temat Twojego ulubionego oprogramowania.