franco-maroni

franco-maroni's Stars

• gioenn/cantor

  Encoding rational and integer numbers with naturals

  Language:Python3

• sfermigier/awesome-functional-python

  A curated list of awesome things related to functional programming in Python.

  2.3k135

• gioenn/dilworth-labeling

  Direct Acyclic Graphs (DAG) labeling with Dilworth's theorem and Bogart-Magagnosc's algorithm

  Language:Python21

• uiri/toml

  Python lib for TOML

  Language:Python1.1k188

• webpro/programming-principles

  Categorized overview of programming principles & design patterns

  2.7k633

• gioenn/sparkutils

  A collection of scripts to easily start HDFS and Spark clusters

  Language:Shell21

• huginn/huginn

  Create agents that monitor and act on your behalf. Your agents are standing by!

  Language:Ruby42.3k3.7k

• Z3Prover/z3

  The Z3 Theorem Prover

  Language:C++10k1.5k

• meltwater/docker-cleanup

  DEPRECATED Automatic Docker image, container and volume cleanup

  Language:Shell586117

• miguelgrinberg/flask-celery-example

  This repository contains the example code for my blog article Using Celery with Flask.

  Language:Python1.2k326

• manuzhang/awesome-streaming

  a curated list of awesome streaming frameworks, applications, etc

  2.6k291

• vinta/awesome-python

  An opinionated list of awesome Python frameworks, libraries, software and resources.

  Language:Python212k24.6k

• humiaozuzu/awesome-flask

  A curated list of awesome Flask resources and plugins

  12k1.6k

• iluwatar/java-design-patterns

  Design patterns implemented in Java

  Language:Java88.3k26.2k