Edukacja i referencje

Gollum wiki

Gollum wiki

Prosta wiki zasilana przez Git ze słodkim API i lokalną nakładką.
EmbedPlus

EmbedPlus

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

Isabelle

Isabelle jest asystentką do pisania i sprawdzania matematycznych dowodów komputerowych.
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 ...