George Petrou's starred repositories
Folium-SemiCircle
Porting of SemiCircle plugin in Folium
django-elasticsearch-dsl
This is a package that allows indexing of django models in elasticsearch with elasticsearch-dsl-py.
lh-plugin-demo
A small package that demonstrates how to use LiquidHaskell as a GHC plugin
the-power-of-prolog
Introduction to modern Prolog