Edukacja i referencje

Coq

Coq

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

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.
Berp

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.
Startup College

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.
Rope Hexagon

Rope Hexagon

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

Unitpedia.com

Uczenie się online w zakresie jednostek przeliczeniowych i obliczeń, długości jednostki przeliczeniowej, wysokości, masy, energii, mocy, elektryczności, koloru hex rgb, ...... I oblicz wielkość pola stożka, sześcianu, trójkąta, kuli ... I innych obliczeńjak wskazówka, zdrowie bmi .....
Aedu

Aedu

AEDU to oprogramowanie oparte na chmurze, które pomaga zarządzać całą szkołą, uczniami, nauczycielami i kontami, wszystko, co jest potrzebne do zapewnienia bezpieczeństwa i szybkości szkoły, przestało być cyfrowe dzięki oprogramowaniu AEDU.
MathPapa

MathPapa

Rozwiąż swoje problemy z algebrą krok po kroku z MathPapa! MathPapa może rozwiązać twoje równania (i pokazać pracę!) I pomóc ci, gdy utkniesz na zadaniu z matematyki.
Month to Master

Month to Master

Month to Master oferuje szereg osobistych wyzwań edukacyjnych wspomaganych przez trenera AI Maxa.
BarMax

BarMax

BarMax to wiodący kompleksowy kurs przeglądu egzaminów adwokackich z najwyższymi ogólnymi wskaźnikami zdawalności - wszystko za jedyne 999 USD.
AgriSkills

AgriSkills

Szkolenie zawodowe na rzecz zrównoważonego rozwoju - pakiet edukacyjny skupiający się na większej zrównoważoności w hodowli zwierząt gospodarskich.
TutorEye

TutorEye

TutorEye to internetowa platforma korepetycji, która łączy nauczycieli i uczniów w wirtualnej przestrzeni.Znana marka w dziedzinie edukacji online, naszym celem jest wspieranie uczniów poprzez oferowanie wykwalifikowanych nauczycieli po przystępnych cenach.
Solve My Math

Solve My Math

Uzyskaj pomoc matematyczną szybko i online dzięki ponad stu natychmiastowym, a nawet krok po kroku rozwiązaniom matematycznym i kalkulatorom zaprojektowanym, aby pomóc Ci rozwiązać problemy matematyczne i zrozumieć związane z nimi pojęcia!
HealthkartPlus

HealthkartPlus

HealthKartPlus to pierwsza i jedyna kompleksowa wyszukiwarka leków generycznych w Indiach.
Decide

Decide

Kup czy czekaj?Zaoszczędź pieniądze i wyeliminuj wyrzuty sumienia kupujących przy zakupie elektroniki i urządzeń, korzystając z rekomendacji opartych na danych firmy Decide.
ResScope

ResScope

ResScope to jedyna rewolucyjna przeglądarka i edytor zasobów Windows PE (zarówno PE16, jak i PE32).
Teenhired

Teenhired

Kto: Stworzony zaledwie kilka miesięcy temu przez (mnie), gimnazjum uczęszczającego do liceum Burlingame, Teenhired to strona internetowa, która może być niezwykle cennym zasobem dla ...
QSapecNG

QSapecNG

„QSapecNG to oparty na Qt program do symbolicznej analizy liniowych obwodów analogowych.
SubAssistant

SubAssistant

SubAssistant to zastępczy serwis internetowy, którego nauczyciele używają do automatycznego i ciągłego sprawdzania systemów online SubFinder®, SmartFindExpress® lub Aesop®.
iSLCollective

iSLCollective

Ponad 70 000 arkuszy ESL, EFL do wydruku, ćwiczenia i ćwiczenia do nauczania następnej klasy języka angielskiego