Packages tagged education

28 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (20), bsd3 (18), program (13), graphics (5), mit (5), development (3), game (3), ai (2), deprecated (2), documentation (2), animation (1), apache (1), application (1), compilers-interpreters (1), ...

Name
DLs
Rating
Description
Tags
Last U/L
Maintainer
Craft3e410.0Code for Haskell: the Craft of Functional Programming, 3rd ed. (education, library, mit, program)2016-09-01SimonThompson
SoccerFun470.0Football simulation framework for teaching functional programming (ai, bsd3, education, game, library, program)2015-12-02JanRochel
SoccerFunGL210.0OpenGL UI for the SoccerFun framework (ai, bsd3, education, game, library, program)2015-12-02JanRochel
TicTacToe100.0A sub-project (exercise) for a functional programming course (bsd3, education, library)2011-02-15TonyMorris
activehs200.0Haskell code presentation tool (bsd3, documentation, education, program)2017-07-30PeterDivianszky, lspitzner, GaborPali, gombocarti
activehs-base230.0Basic definitions for activehs (bsd3, documentation, education, library)2016-05-24PeterDivianszky, lspitzner, GaborPali, gombocarti
clanki470.0Command-line spaced-repetition software (education, mit, program)2016-10-05marcusbuffett
crypto-enigma1892.0An Enigma machine simulator with display. (bsd3, cryptography, education, library, program)2018-12-03Orome
dia-base270.0An EDSL for teaching Haskell with diagrams - data types (bsd3, education, graphics, library)2016-05-24PeterDivianszky, lspitzner, GaborPali
dia-functions300.0An EDSL for teaching Haskell with diagrams - functions (bsd3, education, graphics, library)2016-05-24PeterDivianszky, lspitzner, GaborPali
hscurses-fish-ex120.0hscurses swimming fish example (console, development, education, help, program, user-interfaces)2018-01-08DinoMorelli
ideas360.0Feedback services for intelligent tutoring systems (apache, education, library)2018-05-25AlexGerdes, BastiaanHeeren, JohanJeuring
ideas-math120.0Interactive domain reasoner for logic and mathematics (education, program)2015-04-09BastiaanHeeren
imj-game-hamazed102.0A game with flying numbers and 8-bit color animations. (animation, application, bsd3, education, game, graphics, library, program)2018-01-01OlivierSohn
io-machine200.0Easy I/O model to learn IO monad (bsd3, education, library)2016-04-08YoshikuniJujo
lambda-canvas80.0Educational drawing canvas for FP explorers. (education, graphics, library, mit)2012-08-29DimitrySolovyov
memscript230.0Command line utility for memorizing scriptures or any other text (education, program)2015-10-10KiYungAhn
onu-course100.0Code for the Haskell course taught at the Odessa National University in 2012 (education, library, mit)2012-09-20RomanCheplyaka
producer80.0Simple streaming datatype (education, library, mit)2017-10-03etorreborre
pure-io302.0Pure IO monad. (bsd3, development, education, library)2014-06-30ChrisDone
risc386210.0Reduced instruction set i386 simulator (bsd3, compilers-interpreters, education, program)2013-07-18AndreasAbel
smartword130.0Web based flash card for Word Smart I and II vocabularies (bsd3, education, program, web)2009-03-28KiYungAhn
turing100.0A simple simulator for Turing machines (education, library)2015-10-03SebastianPoeplau
twentefp140.0Lab Assignments Environment at Univeriteit Twente (bsd3, education, library)2013-09-02ChristiaanBaaij
twentefp-eventloop-graphics (deprecated in favor of eventloop)160.0Used as Lab Assignments Environment at the University of Twente (bsd3, deprecated, education, graphics, library)2014-10-14sebaslafleur
twentefp-graphs (deprecated)170.0Lab Assignments Environment at Univeriteit Twente (bsd3, deprecated, education, library)2015-04-12sebaslafleur
twentefp-number120.0Lab Assignments Environment at Univeriteit Twente (bsd3, education, library)2014-09-16sebaslafleur
wxhnotepad140.0An example of how to implement a basic notepad with wxHaskell (bsd3, development, editor, education, ide, program)2010-05-12FernandoBenavides