Packages tagged education

28 packages have this tag.

[Merge tag] (trustees only)

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

Name
DLs
Rating
Description
Tags
Last U/L
Maintainer
Craft3e1060.0Code for Haskell: the Craft of Functional Programming, 3rd ed. (education, library, mit, program)2016-09-01SimonThompson
SoccerFun1700.0Football simulation framework for teaching functional programming (ai, bsd3, education, game, library, program)2015-12-02JanRochel
SoccerFunGL670.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
activehs590.0Haskell code presentation tool (bsd3, documentation, education, program)2017-07-30PeterDivianszky, lspitzner, GaborPali, gombocarti
activehs-base530.0Basic definitions for activehs (bsd3, documentation, education, library)2016-05-24PeterDivianszky, lspitzner, GaborPali, gombocarti
clanki1220.0Command-line spaced-repetition software (education, mit, program)2016-10-05marcusbuffett
crypto-enigma1152.0An Enigma machine simulator with display. (bsd3, cryptography, education, library)2017-12-27Orome
dia-base540.0An EDSL for teaching Haskell with diagrams - data types (bsd3, education, graphics, library)2016-05-24PeterDivianszky, lspitzner, GaborPali
dia-functions680.0An EDSL for teaching Haskell with diagrams - functions (bsd3, education, graphics, library)2016-05-24PeterDivianszky, lspitzner, GaborPali
hscurses-fish-ex220.0hscurses swimming fish example (console, development, education, help, program, user-interfaces)2018-01-08DinoMorelli
ideas730.0Feedback services for intelligent tutoring systems (apache, education, library)2016-12-21AlexGerdes, BastiaanHeeren, JohanJeuring
ideas-math160.0Interactive domain reasoner for logic and mathematics (education, gpl, 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-machine260.0Easy I/O model to learn IO monad (bsd3, education, library)2016-04-08YoshikuniJujo
lambda-canvas70.0Educational drawing canvas for FP explorers. (education, graphics, library, mit)2012-08-29DimitrySolovyov
memscript490.0Command line utility for memorizing scriptures or any other text (education, gpl, program)2015-10-10KiYungAhn
onu-course60.0Code for the Haskell course taught at the Odessa National University in 2012 (education, library, mit)2012-09-20RomanCheplyaka
producer90.0Simple streaming datatype (education, library, mit)2017-10-03etorreborre
pure-io412.0Pure IO monad. (bsd3, development, education, library)2014-06-30ChrisDone
risc386250.0Reduced instruction set i386 simulator (bsd3, compilers-interpreters, education, program)2013-07-18AndreasAbel
smartword90.0Web based flash card for Word Smart I and II vocabularies (bsd3, education, program, web)2009-03-28KiYungAhn
turing130.0A simple simulator for Turing machines (education, gpl, 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)320.0Used as Lab Assignments Environment at the University of Twente (bsd3, deprecated, education, graphics, library)2014-10-14sebaslafleur
twentefp-graphs (deprecated)300.0Lab Assignments Environment at Univeriteit Twente (bsd3, deprecated, education, library)2015-04-12sebaslafleur
twentefp-number230.0Lab Assignments Environment at Univeriteit Twente (bsd3, education, library)2014-09-16sebaslafleur
wxhnotepad180.0An example of how to implement a basic notepad with wxHaskell (bsd3, development, editor, education, ide, program)2010-05-12FernandoBenavides