Similar repositories to david-christiansen/helm-idris:

• david-christiansen/helm-idris github similar
• gibiansky/IHaskell github similar
• tootsuite/mastodon github similar
• folone/roy-mode github similar
• dnaq/crypto-sodium github similar
• zainab-ali/domainion github similar
• david-christiansen/idris-utils github similar
• tmcgilchrist/roy-rails github similar
• raphael-proust/merlin-acme github similar
• KesterTong/idris-finite-math github similar
• tailhook/reqtxt2nix github similar
• andrevdm/annotateExec github similar
• edwinb/Eff-new github similar
• jfdm/idris-xml github similar
• IanConnolly/distributed-process-aws github similar
• haskell-hub/hub-src github similar
• knsd/crypto-pubkey-openssh github similar
• danidiaz/process-streaming github similar
• daviwil/nix-config github similar
• TiborIntelSoft/ToolCabal github similar
• jfdm/hUML github similar
• phoe/cl-lzma github similar
• hargettp/raft github similar
• Darkyenus/sbt-robovm github similar
• mgsloan/instance-templates github similar
• kawu/dawg github similar
• jship/context github similar
• vishesh/racketscript github similar
• martyall/servant-zeppelin github similar
• Huddo121/haskell-starter-webservice github similar
• sampsakuronen/circleci-radiator-view github similar
• ttuegel/autonix-deps github similar
• raimohanska/francis github similar
• markhibberd/lens-talk github similar
• luzhuomi/system-gpio github similar
• proger/python2nix github similar
• ziman/text github similar
• fukamachi/pem github similar
• mbrc12/etanol github similar
• andyarvanitis/idris-cplusplus github similar