Packages tagged teaching
10 packages have this tag.
[Merge tag] (trustees only)Related tags: bsd3 (8), library (7), program (7), lambdacalculus (2), application (1), language (1), mit (1)
Name |
DLs |
Rating |
Rev Deps |
Description |
Tags |
Last U/L |
Last Version |
Maintainers |
|---|---|---|---|---|---|---|---|---|
| cakyrespa | 20 | 0.0 | 1 | run turtle like LOGO with lojban | (bsd3, program, teaching) | 2012-10-29 | 0.0.29 | YoshikuniJujo |
| gluturtle | 23 | 0.0 | 1 | turtle like LOGO with glut | (bsd3, library, teaching) | 2014-10-24 | 0.0.58.1 | YoshikuniJujo |
| lambda-calculator | 13 | 0.0 | 0 | A lambda calculus interpreter | (lambdacalculus, language, library, mit, program, teaching) | 2023-03-01 | 3.1.1.0 | sgillespie |
| lambda-toolbox | 2 | 0.0 | 1 | An application to work with the lambda calculus (for learning) | (bsd3, lambdacalculus, program, teaching) | 2013-03-30 | 1.0.1 | JulianFleischer |
| simpleprelude | 5 | 0.0 | 1 | A simplified Haskell prelude for teaching | (bsd3, library, program, teaching) | 2011-11-04 | 1.0.1.3 | JeanMarieGaillourdet |
| visualize-type-inference | 2 | 0.0 | 0 | Simulate simple constraint-based type inference | (bsd3, program, teaching) | 2025-12-09 | 0.0.1.0 | AndreasAbel |
| weekdaze | 5 | 0.0 | 0 | A school-timetable problem-solver. | (application, library, program, teaching) | 2020-08-10 | 0.0.0.3 | AlistairWard |
| worldturtle | 10 | 0.0 | 0 | LOGO-like Turtle graphics with a monadic interface. | (bsd3, library, teaching) | 2022-03-12 | 0.3.1.0 | FortOyer |
| wxturtle | 2 | 0.0 | 1 | turtle like LOGO with wxHaskell | (bsd3, library, program, teaching) | 2012-09-28 | 0.0.1 | YoshikuniJujo |
| xturtle | 26 | 0.0 | 1 | turtle like LOGO | (bsd3, library, teaching) | 2017-05-21 | 0.2.0.0 | YoshikuniJujo |