Beast code in Giters

Marco Pensallorto's repositories

brace

Air quality in italian cities

Language:Python2 20

vertx3-eventbus-tcp-bridge-c

Vert.X 3 TCP event bus bridge client library

Language:C2 2 1

yasmv

yasmv - Yet Another Symbolic Model Verifier

Language:CGPL-3.02 20

chatty

Instant Messaging for Work & Leisure

Language:Java1 20

hops

Highly Optimized Pythonic Structures

Language:CGPL-3.01 20

M-x-my-emacs

Getting serious on Emacs configuration

Language:Emacs Lisp1 20

minisat

A minimalistic and high-performance SAT solver

Language:C++NOASSERTION1 20

pony-mode

Django mode for emacs - several tweaks to support multiple configurations

Language:Emacs LispNOASSERTION1 20

4clojure

My solutions to 4Clojure problems

Language:Clojure020

bookmarks

Bookmarks management webapp written in Clojure

Language:Clojure020

trunk

Your personal data repository

Language:JavaGPL-3.0020

arduino-code

Public repository for arduino code

Language:C++020

clj-microservice-lein-template

Leiningen template to generate a stub Clojure microservice

Language:Clojure020

hadoop-minimalistic-virtualized-cluster

Vagrant-based virtualized cluster deployment for Hadoop 2.x

Language:ShellApache-2.0020

pocket-dns

A lightweight portable DNS server

Language:Go020

spacemacs

A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

Language:Emacs Lisp020

timestamps

Run a program with timestamped output

Language:Go020

vertx3-hello

A simple demo webapp built with vert.x3.

Language:Java020