Similar repositories to andyarvanitis/idris-cplusplus:

• andyarvanitis/idris-cplusplus github similar
• tootsuite/mastodon github similar
• gibiansky/IHaskell github similar
• aquynh/capstone github similar
• danistefanovic/build-your-own-x github similar
• domdere/fp-in-idris github similar
• idris-hackers/eff-tutorial github similar
• KesterTong/idris-finite-math github similar
• soimort/idris-commonmark github similar
• jfdm/idris-xml github similar
• knsd/crypto-pubkey-openssh github similar
• pixijs/pixi.js github similar
• srijs/haskell-aws-dynamodb-conduit github similar
• justjoheinz/idris-optics github similar
• andrewthad/lens-prelude github similar
• domdere/learn-lens github similar
• adelbertc/programming-in-idris github similar
• yav/sequent-core github similar
• jyp/hgal github similar
• serras/mini-system-f-impred github similar
• domdere/haskell-coq github similar
• jutaro/ConeScripts github similar
• precog/quasar github similar
• input-output-hk/ekg-statsd-example github similar
• rvl/wikibot github similar
• edx/edx-platform github similar
• hargettp/raft github similar
• andyarvanitis/IdrisObjCExperiment github similar
• reynir/Verified github similar
• nikita-volkov/pipes-cereal-plus github similar
• kindaro/io-mem github similar
• david-christiansen/idris-utils github similar
• idris-hackers/usb github similar
• dnaq/crypto-sodium github similar
• paf31/Automata-hs github similar
• asceth/herml github similar
• jhuckabee/exhibit github similar
• stephenjudkins/php2rb github similar
• ku-fpg/marked-pretty github similar
• Shadowfiend/hestia github similar