Mohamed Attia's repositories
udp-wrapper
A Clojure wrapper around the Java UDP API to make it a little nicer.
Beautiful_OSM_in_QGIS
QGIS stylesheets and code to render OSM data as a beautiful, scalable map. Designed with osm2pgsql + default.style.
circom
zkSnark circuit compiler
cryptography
cryptography is a package designed to expose cryptographic primitives and recipes to Python developers.
django-project-template
Template for a Django 1.8 project
geo
Geospatial primitives and algorithms for Rust
mapnik
Mapnik is an open source toolkit for developing mapping applications
moonmath-manual
A resource for anyone interested in understanding and unlocking the potential of zk-SNARKs, from beginners to experts.
muattiyah-coleslaw
[[Deprecated]] The generator for http://muattiyah.com
muattiyah-hakyll
[[DEPRECATED]] The hakyll config which generates the site at http://muattiyah.com
nmea
NMEA 0183 parser
Nova
Nova: Recursive SNARKs without trusted setup
or-tools
Google's Operations Research tools:
powdr
A modular stack for zkVMs, with a focus on productivity, security and performance.
protocol
Eigen Trust - A distributed reputation system
pulp
Repository for Pulp platform code, including the server and base admin and consumer clients
servant
Main repository for the servant libraries -- DSL for describing, serving, querying, mocking, documenting web applications and more!
small_c_utils
An implementation of functions/utils like (wc, power,...) in C