Bildung & Nachschlagewerke

4

LearningApps

LearningApps.org ist eine Web 2.0-Anwendung, die Lern- und Lehrprozesse mit kleinen interaktiven Modulen unterstützt.

Kostenlose
Web

4

Coq

Coq ist ein Proof-Assistent, mit dem Sie mathematische Beweise streng und formal schreiben und vom Computer auf ihre Richtigkeit überprüfen lassen können.

Kostenlose
Windows
Mac
Linux

2

Agda

Agda ist eine abhängig typisierte funktionale Programmiersprache.Es hat induktive Familien, dh Datentypen, die von Werten abhängen, wie z. B. die Art der Vektoren einer bestimmten Länge.

Kostenlose
Windows
Mac
Linux

0

Berp

Berp ist eine Implementierung von Python 3. Das Herzstück ist ein Übersetzer, der Python-Code als Eingabe verwendet und Haskell-Code als Ausgabe generiert.

Kostenlose
Windows
Mac
Linux

1

Startup College

Das Startup College ist eine Online-Schule für Unternehmertum.Es werden Videokurse zu Marketing, Lean Startup, Webentwicklung und vielem mehr angeboten.

Bezahlte
Windows

1

Rope Hexagon

Wenn Sie den linken und rechten Bildschirm berühren, kommt das Seil heraus. Versuchen Sie, unter Vermeidung von Steinen so hoch wie möglich zu klettern.

Kostenlose
iPad
Android
iPhone

4

ErrorMoz

ErrorMoz (ehemals solvError) ist eine Frage-und-Antwort-Site zum Erörtern und Beheben von Fehlern.

Kostenlose
Web

4

Micro-Cap

Integrierter Schaltplaneditor und Simulator. Die dynamische Analyse aktualisiert Wellenformen und Kurven, während Sie den nativen digitalen Simulator bearbeiten

Kostenlose
Windows

5

A+ VCE

Spielt alle VCE-Fragetypen ab, Standard- und fallstudienbasierte Prüfungsdateitypen - Prüfungen wiederholen und fortsetzen. - Markierte und unvollständige Fragen prüfen.

5

Agenda Mahala

Agenda Mahala ist eine großartige Website, um Englisch zu lernen. Auf Agenda Mahala gibt es großartige Englischkurse, und sowohl Level 1 als auch Level 2 sind völlig kostenlos.

Kostenlose
Web

5

Evi

Evi ist eine neue digitale Assistentin, die Ihnen bei alltäglichen Problemen behilflich ist.Möchten Sie wissen, wo Sie am nächsten Milch kaufen können?Sie kann helfen.

Kostenlose persönliche
Web
Android
iPhone

5

Bullet Physics

Bullet Physics SDK: Echtzeit-Kollisionserkennung und Multiphysik-Simulation für VR, Spiele, visuelle Effekte, Robotik, maschinelles Lernen usw.

5

Vyew

Mit Vyew können Sie eine Präsentation vor hundert Personen online halten oder ein Dokument, an dem Sie gearbeitet haben, zur Überprüfung durch Ihre Kollegen veröffentlichen.

Bezahlte
Web

6

Das 5-minütige tägliche Training für Ihre Entwicklerfähigkeiten Mit jedem täglichen Training erhalten Sie die besten Tipps, Tricks, Funktionen und Herausforderungen, um Ihre Programmierfähigkeiten zu verbessern und Ihr Wissen zu schärfen?

Kostenlose
iPad
Android
iPhone

5

Emu8086

Emu8086 ist ein Mikroprozessor-Emulator mit integriertem 8086-Assembler und kostenlosem Tutorial.

Bezahlte
Windows

5

DonationCoder

Für Software-Kenner - Die besten Freeware-, Donationware-, Software-Rezensionen, Diskussionen und Shareware-Rabatte

Kostenlose
Web

5

Surfulater

Verwenden Sie Surfulater für jede Internetrecherche.Speichern Sie Webseiten, Auszüge und URLs, fügen Sie Anmerkungen hinzu und organisieren Sie all diese wertvollen Webinhalte in einem hierarchischen Baum.