Educational
Educational software designed to facilitate learning and instruction.
Plangs
| Name | Description |
|---|---|
| AbcDatalog | Easy Datalog for research & pedagogy. |
| Arduino | platform for creating interactive electronics projects, using a C/C++-based language. |
| CircuitPython | Maintained by Adafruit, simplifies Python for microcontroller applications and is implemented in C. |
| CodeMonkey | Educational coding platform for beginners, teaching programming concepts through game-based learning. |
| Coq | Interactive theorem prover focused on formal verification and proof checking. |
| GUPU | An environment specialized for Prolog and constraint programming. |
| Hackety Hack | Educational platform for learning Ruby programming, using the Shoes toolkit for GUI development. |
| NetLogo | Multi-agent environment for modeling complex systems. |
| Nim | Statically typed, compiled language focusing on performance and elegant syntax, compilable to C, C++, and JavaScript. |
| Pascal | An imperative and procedural language designed by Niklaus Wirth, known for encouraging structured programming and data structuring. |
| Processing | Language for visual and multimedia programming. |
| Scratch | Block-based visual language for children to learn coding through interactive projects. |
| ScratchJr | Beginner-friendly visual programming language for children aged 5 to 7. |
| Squeak | Modern Smalltalk with a fast execution environment and the Morphic framework. |
| Standard ML | Functional programming language known for its type inference and usage in compiler writing. |
| Tau Prolog | An implementation of Prolog for web-based applications in JavaScript environments. |