Packages tagged education

33 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (24), bsd3 (19), program (15), graphics (5), mit (5), apache (4), development (3), game (3), ai (2), deprecated (2), documentation (2), animation (1), application (1), compilers-interpreters (1), console (1), cryptography (1), ...

Name
DLs
Rating
Rev Deps
Description
Tags
Last U/L
Last Version
Maintainers
Advise-me00.00Assessment services for the Advise-Me project (apache, education, library, program)2019-10-300.1BastiaanHeeren
Craft3e170.01Code for Haskell: the Craft of Functional Programming, 3rd ed. (education, library, mit, program)2019-01-080.1.1.1SimonThompson
I1M140.00Code for the Haskell course taught at the University of Seville. (data-structures, education, gpl, library)2024-10-090.2.2Jose_A_Alonso
SoccerFun40.02Football simulation framework for teaching functional programming (ai, bsd3, education, game, library, program)2015-12-020.5.3JanRochel
SoccerFunGL30.01OpenGL UI for the SoccerFun framework (ai, bsd3, education, game, library, program)2015-12-020.5.3JanRochel
TicTacToe20.01A sub-project (exercise) for a functional programming course (bsd3, education, library)2011-02-150.0.1TonyMorris
activehs150.01Haskell code presentation tool (bsd3, documentation, education, program)2017-07-300.3.2PeterDivianszky, lspitzner, GaborPali, gombocarti
activehs-base80.01Basic definitions for activehs (bsd3, documentation, education, library)2016-05-240.3.0.4PeterDivianszky, lspitzner, GaborPali, gombocarti
clanki190.01Command-line spaced-repetition software (education, mit, program)2016-10-051.2.7marcusbuffett
crypto-enigma102.01An Enigma machine simulator with display. (bsd3, cryptography, education, library, program)2019-10-090.1.1.6Orome
dia-base190.02An EDSL for teaching Haskell with diagrams - data types (bsd3, education, graphics, library)2016-05-240.1.1.4PeterDivianszky, lspitzner, GaborPali
dia-functions220.01An EDSL for teaching Haskell with diagrams - functions (bsd3, education, graphics, library)2016-05-240.2.1.5PeterDivianszky, lspitzner, GaborPali
hscurses-fish-ex60.01hscurses swimming fish example (console, development, education, help, program, user-interfaces)2018-01-081.3.2DinoMorelli
ideas60.03Feedback services for intelligent tutoring systems (apache, education, library)2019-09-131.8AlexGerdes, BastiaanHeeren, JohanJeuring
ideas-math30.01Interactive domain reasoner for logic and mathematics (education, program)2015-04-091.2BastiaanHeeren
ideas-math-types20.01Common types for mathematical domain reasoners (apache, education, library)2019-10-301.1BastiaanHeeren
ideas-statistics20.00Interactive domain reasoner for statistics (apache, education, program)2020-04-031.0BastiaanHeeren
imj-game-hamazed32.00A game with flying numbers and 8-bit color animations. (animation, application, bsd3, education, game, graphics, library, program)2018-01-010.1.0.2OlivierSohn
io-machine80.01Easy I/O model to learn IO monad (bsd3, education, library)2016-04-080.2.0.0YoshikuniJujo
lambda-canvas20.01Educational drawing canvas for FP explorers. (education, graphics, library, mit)2012-08-290.1DimitrySolovyov
mathlist160.00Math using lists, including FFT and Wavelet (bsd3, education, library, math, numerics)2023-05-220.2.0.0djsamperi
memscript20.01Command line utility for memorizing scriptures or any other text (education, program)2015-10-100.1.0.0KiYungAhn
onu-course10.01Code for the Haskell course taught at the Odessa National University in 2012 (education, library, mit)2012-09-201RomanCheplyaka
producer20.01Simple streaming datatype (education, library, mit)2017-10-030.1.0.0etorreborre
pure-io32.01Pure IO monad. (bsd3, development, education, library)2014-06-300.2.1ChrisDone
risc386150.01Reduced instruction set i386 simulator (bsd3, compilers-interpreters, education, program)2023-09-280.0.20230928AndreasAbel
smartword10.01Web based flash card for Word Smart I and II vocabularies (bsd3, education, program, web)2009-03-280.0.0.5KiYungAhn
turing50.01A simple simulator for Turing machines (education, library)2015-10-030.1.1SebastianPoeplau
twentefp60.01Lab Assignments Environment at Univeriteit Twente (bsd3, education, library)2013-09-020.4.2ChristiaanBaaij
twentefp-eventloop-graphics (deprecated in favor of eventloop)40.04Used as Lab Assignments Environment at the University of Twente (bsd3, deprecated, education, graphics, library)2014-10-140.1.0.4sebaslafleur
twentefp-graphs (deprecated)20.01Lab Assignments Environment at Univeriteit Twente (bsd3, deprecated, education, library)2015-04-120.1.0.4sebaslafleur
twentefp-number40.03Lab Assignments Environment at Univeriteit Twente (bsd3, education, library)2014-09-160.1.0.2sebaslafleur
wxhnotepad30.01An example of how to implement a basic notepad with wxHaskell (bsd3, development, editor, education, ide, program)2010-05-121.2.0FernandoBenavides