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
cakyrespa670.01run turtle like LOGO with lojban (bsd3, program, teaching)2012-10-290.0.29YoshikuniJujo
gluturtle1070.01turtle like LOGO with glut (bsd3, library, teaching)2014-10-240.0.58.1YoshikuniJujo
lambda-calculator190.00A lambda calculus interpreter (lambdacalculus, language, library, mit, program, teaching)2022-06-103.0.0.1sgillespie
lambda-toolbox50.01An application to work with the lambda calculus (for learning) (bsd3, lambdacalculus, program, teaching)2013-03-301.0.1JulianFleischer
simpleprelude170.01A simplified Haskell prelude for teaching (bsd3, library, program, teaching)2011-11-041.0.1.3JeanMarieGaillourdet
weekdaze50.00A school-timetable problem-solver. (application, library, program, teaching)2020-08-100.0.0.3AlistairWard
worldturtle200.00LOGO-like Turtle graphics with a monadic interface. (bsd3, library, teaching)2022-03-120.3.1.0FortOyer
wxturtle30.01turtle like LOGO with wxHaskell (bsd3, library, program, teaching)2012-09-280.0.1YoshikuniJujo
xturtle860.01turtle like LOGO (bsd3, library, teaching)2017-05-210.2.0.0YoshikuniJujo