Similar repositories to janschultecom/idris-refined:

• janschultecom/idris-refined github similar
• motemen/gore github similar
• danistefanovic/build-your-own-x github similar
• hecrj/iced github similar
• japesinator/Idris-Profunctors github similar
• LukaJCB/purescript-rxps github similar
• writeoncereadmany/idris-dimensions github similar
• pixijs/pixi.js github similar
• tuvtran/project-based-learning github similar
• precog/quasar github similar
• Stadicus/RaspiBolt github similar
• oragono/oragono github similar
• aquynh/capstone github similar
• gibiansky/IHaskell github similar
• cloud-annotations/training github similar
• shaunlebron/parinfer github similar
• jpypi/sn3k github similar
• strelec/DPLL-with-Rust github similar
• Peng-YM/Snake-AI github similar
• chrisvander/2048-Expectimax github similar
• hanjing5/pacman-game github similar
• raku-community-modules/Lingua-Conjunction github similar
• colin-adams/idris-libmicrohttpd github similar
• EmotionOS/android_kernel_samsung_trlte github similar
• NtRaiseHardError/Kernel-Dev-Best-Dev github similar
• mustafaozhan/SimpleFileManager github similar
• mortbauer/aur-comment-fetcher github similar
• andrewthad/monus github similar
• ahnv/MazeSolver github similar
• colomon/Math-Polynomial github similar
• raku-community-modules/Pythonic-Str github similar
• A1kmm/http4idris github similar
• thalerjonathan/glfw-idris-st github similar
• SabithPkcMnr/AndroidTicTacToeGame github similar
• comtihon/social_network_example github similar
• finanalyst/p6-inform github similar
• GuglielmoS/sfidris github similar
• eckart/cairo-idris github similar
• elpinal/rain-ml github similar
• HuwCampbell/optparse-idris github similar