Packages tagged teaching
9 packages have this tag.
[Merge tag] (trustees only)Related tags: bsd3 (7), library (7), program (6), lambdacalculus (2), application (1), language (1), mit (1)
Name |
DLs |
Rating |
Rev Deps |
Description |
Tags |
Last U/L |
Last Version |
Maintainers |
---|---|---|---|---|---|---|---|---|
cakyrespa | 2 | 0.0 | 1 | run turtle like LOGO with lojban | (bsd3, program, teaching) | 2012-10-29 | 0.0.29 | YoshikuniJujo |
gluturtle | 43 | 0.0 | 1 | turtle like LOGO with glut | (bsd3, library, teaching) | 2014-10-24 | 0.0.58.1 | YoshikuniJujo |
lambda-calculator | 4 | 0.0 | 0 | A lambda calculus interpreter | (lambdacalculus, language, library, mit, program, teaching) | 2023-03-01 | 3.1.1.0 | sgillespie |
lambda-toolbox | 3 | 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 |
weekdaze | 3 | 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 | 0 | 0.0 | 1 | turtle like LOGO with wxHaskell | (bsd3, library, program, teaching) | 2012-09-28 | 0.0.1 | YoshikuniJujo |
xturtle | 5 | 0.0 | 1 | turtle like LOGO | (bsd3, library, teaching) | 2017-05-21 | 0.2.0.0 | YoshikuniJujo |