Similar repositories to palladin/idris-snippets:

• palladin/idris-snippets github similar
• aquynh/capstone github similar
• Eugeny/terminus github similar
• danistefanovic/build-your-own-x github similar
• ReactTraining/react-router github similar
• pixijs/pixi.js github similar
• motemen/gore github similar
• k6io/k6 github similar
• blockstack/stacks github similar
• precog/quasar github similar
• gibiansky/IHaskell github similar
• domchristie/turndown github similar
• groupoid/anders github similar
• RobertHarper/hott-notes github similar
• amutake/coq-extensible-effects github similar
• txa/OmegaCats github similar
• nau/depc github similar
• effectfully/Cubes github similar
• fizruk/simple-grin github similar
• yforster/coq-synthetic-computability github similar
• chkr1011/MQTTnet github similar
• sam-astro/Astro8-Computer github similar
• yallop/fomega github similar
• pandas-profiling/pandas-profiling github similar
• sannykim/transformers github similar
• ankane/eshero github similar
• mono/linker github similar
• lab-ml/annotated_deep_learning_paper_implementations github similar
• yandex/YaLM-100B github similar
• qdrant/quaterion github similar
• rociomer/dl-chem-101 github similar
• rinongal/textual_inversion github similar
• hecrj/iced github similar
• tootsuite/mastodon github similar
• Eloston/ungoogled-chromium github similar
• edx/edx-platform github similar
• ubuntu/microk8s github similar
• tiltedphoques/TiltedEvolution github similar
• srush/GPU-Puzzles github similar
• salesforce/CodeRL github similar