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
Description
Tags
Last U/L
Maintainer
cakyrespa440.0run turtle like LOGO with lojban (bsd3, program, teaching)2012-10-29YoshikuniJujo
gluturtle700.0turtle like LOGO with glut (bsd3, library, teaching)2014-10-24YoshikuniJujo
lambda-calculator120.0A lambda calculus interpreter (lambdacalculus, language, library, mit, program, teaching)2017-04-07sgillespie
lambda-toolbox50.0An application to work with the lambda calculus (for learning) (bsd3, lambdacalculus, program, teaching)2013-03-30JulianFleischer
simpleprelude100.0A simplified Haskell prelude for teaching (bsd3, library, program, teaching)2011-11-04JeanMarieGaillourdet
weekdaze40.0A school-timetable problem-solver. (application, library, program, teaching)2020-08-10AlistairWard
worldturtle60.0Turtle graphics. (bsd3, library, teaching)2020-05-31FortOyer
wxturtle10.0turtle like LOGO with wxHaskell (bsd3, library, program, teaching)2012-09-28YoshikuniJujo
xturtle340.0turtle like LOGO (bsd3, library, teaching)2017-05-21YoshikuniJujo