seanpm2001 / Learn-Hope Sponsor Star 2 Code Issues Pull requests Discussions A repository for showcasing my knowledge of the Hope programming language, and continuing to learn the language knowledge article gplv3 hope learn md txt gpl3 hop seanpm2001 hope-lang hope-language seanpm2001-education seanpm2001-learn learn-hope learn-hope-lang learn-hope-language Updated Sep 28, 2022 HTML
seanpm2001 / SNU_2D_ProgrammingTools_IDE_Hope Sponsor Star 2 Code Issues Pull requests Discussions The Hope Programming language IDE submodule for SNU Programming Tools (2D Mode) programming web-ide gplv3 ide hope md txt snu gpl3 snu2d-programmingtools snu-2d snu-programming-tools snu-programmingtools snu-development snuprogrammingtools hope-lang hope-language Updated Sep 28, 2022 HTML