disco-lang/disco

Functional teaching language for use in a discrete mathematics course

HaskellTeXAgdaOtherprogramming-languagefunctional-programmingteachingdiscrete-mathematics
This is stars and forks stats for /disco-lang/disco repository. As of 03 May, 2024 this repository has 150 stars and 21 forks.

Disco is a programming language intended to teach basic functional programming principles in the context of a discrete mathematics course. Using Disco on replit.com If you just want to use disco (i.e. if you are a student, or just checking out the language), the recommended way is to use it via replit.com. Simply visit this REPL and follow the instructions there to fork your own copy, where you will be able to evaluate Disco expressions, and edit and run your own .disco files, all via your web browser,...
Read on GithubGithub Stats Page
repotechsstarsweeklyforksweekly
opentiny/cross-framework-componentLessJavaScriptVue2000
EvgenyKarkan/EKAlgorithmsObjective-CCRoff2.4k0414+4
matehat/Objective-LevelDBObjective-CObjective-C++Ruby45201220
auth0/ruby-auth0RubyOther19001360
rivet-gg/rivetRustJinjaHCL1.6k0350
hylo-lang/hyloSwiftPythonOther9390390
scaffold-eth/scaffold-eth-2TypeScriptJavaScriptSolidity512+15315+9
Rvn0xsy/usefull-codeASP.NETHTMLJava960180
maaanueeelll/flutter_deliveryDartC++CMake42000
miru-project/miru-appDartC++CMake560+7530+1