Packages tagged education

26 packages have this tag.

[Merge tag] (trustees only)

Related tags: bsd3 (18), library (18), program (11), graphics (4), mit (4), development (3), gpl (3), ai (2), deprecated (2), documentation (2), game (2), apache (1), compilers-interpreters (1), ...

Name
DLs
Rating
Description
Tags
Maintainer
Craft3e220.0Code for Haskell: the Craft of Functional Programming, 3rd ed. (education, library, mit, program)SimonThompson
SoccerFun440.0Football simulation framework for teaching functional programming (ai, bsd3, education, game, library, program)JanRochel
SoccerFunGL140.0OpenGL UI for the SoccerFun framework (ai, bsd3, education, game, library, program)JanRochel
TicTacToe40.0A sub-project (exercise) for a functional programming course (bsd3, education, library)TonyMorris
activehs200.0Haskell code presentation tool (bsd3, documentation, education, program)PeterDivianszky, lspitzner, GaborPali, gombocarti
activehs-base180.0Basic definitions for activehs (bsd3, documentation, education, library)PeterDivianszky, lspitzner, GaborPali, gombocarti
clanki200.0Command-line spaced-repetition software (education, mit, program)marcusbuffett
crypto-enigma262.0An Enigma machine simulator with display. (bsd3, cryptography, education, library)Orome
dia-base210.0An EDSL for teaching Haskell with diagrams - data types (bsd3, education, graphics, library)PeterDivianszky, lspitzner, GaborPali
dia-functions270.0An EDSL for teaching Haskell with diagrams - functions (bsd3, education, graphics, library)PeterDivianszky, lspitzner, GaborPali
hscurses-fish-ex60.0hscurses swimming fish example (bsd3, console, development, education, help, program, user-interfaces)DinoMorelli
ideas230.0Feedback services for intelligent tutoring systems (apache, education, library)AlexGerdes, BastiaanHeeren, JohanJeuring
ideas-math50.0Interactive domain reasoner for logic and mathematics (education, gpl, program)BastiaanHeeren
io-machine60.0Easy I/O model to learn IO monad (bsd3, education, library)YoshikuniJujo
lambda-canvas20.0Educational drawing canvas for FP explorers. (education, graphics, library, mit)DimitrySolovyov
memscript110.0Command line utility for memorizing scriptures or any other text (education, gpl, program)KiYungAhn
onu-course20.0Code for the Haskell course taught at the Odessa National University in 2012 (education, library, mit)RomanCheplyaka
pure-io92.0Pure IO monad. (bsd3, development, education, library)ChrisDone
risc38640.0Reduced instruction set i386 simulator (bsd3, compilers-interpreters, education, program)AndreasAbel
smartword20.0Web based flash card for Word Smart I and II vocabularies (bsd3, education, program, web)KiYungAhn
turing40.0A simple simulator for Turing machines (education, gpl, library)SebastianPoeplau
twentefp40.0Lab Assignments Environment at Univeriteit Twente (bsd3, education, library)ChristiaanBaaij
twentefp-eventloop-graphics (deprecated in favor of eventloop)50.0Used as Lab Assignments Environment at the University of Twente (bsd3, deprecated, education, graphics, library)sebaslafleur
twentefp-graphs (deprecated)60.0Lab Assignments Environment at Univeriteit Twente (bsd3, deprecated, education, library)sebaslafleur
twentefp-number50.0Lab Assignments Environment at Univeriteit Twente (bsd3, education, library)sebaslafleur
wxhnotepad70.0An example of how to implement a basic notepad with wxHaskell (bsd3, development, editor, education, ide, program)FernandoBenavides