ssaavedra

Human. Likes to write Free Software.

https://iuvia.io & @GPUL-orgEarth

Pinned Repositories

spark
Apache Spark - A unified analytics engine for large-scale data processing
Language:Scala39.5k 2k 028.3k
Bumblebee
Bumblebee daemon and client rewritten in C
Language:C1.3k 91 1k142
displaylink-rpm
RPM sources for the DisplayLink USB display adapters
Language:Makefile574 52 19381
kafka-streams-scala
Typesafe Scala wrapper around the Kafka Streams Java API
Language:Scala0 3 01
amp-sensor-backend
A backend for an IoT sensor that keeps track of your power usage history and can perform certain action depending on the power budget
Language:Rust1 1 00
displaylink-rpm
RPM sources for the DisplayLink USB display adapters
Language:Makefile4 5 02
drf-jwt-knox
Django REST Framework JWT-based Authentication with Server-Side Tokens.
Language:Python9 2 41
maude-mode
A Maude mode for Emacs
Language:Emacs Lisp4 3 00
trackula-we
Web Extension version of the Firefox Lightbeam add-on enhanced with Trackula (coming soon)
Language:JavaScript4 3 01

ssaavedra's Repositories

ssaavedra/displaylink-rpm
RPM sources for the DisplayLink USB display adapters
Language:Makefile4 5 02
ssaavedra/maude-mode
A Maude mode for Emacs
Language:Emacs Lisp4 3 00
ssaavedra/drf-swagger-extras
Utilities for improving the generation of OpenAPI documentation in a Django REST Framework application.
Language:Python3 2 10
ssaavedra/GDAX-Python
The unofficial Python client for the GDAX API
Language:Python1 2 0
ssaavedra/tf-nlp-intro-slides
Language:JavaScript11
ssaavedra/zenbot
multi-exchange Bitcoin / Ether trading bot - BTC, ETH, LTC, USD, EUR
Language:CSS1 2 0
ssaavedra/auctex
My fork of GNU's AUCTeX.
Language:Emacs Lisp2 0
ssaavedra/c-trivial-userlevel-threads
UserLevel co-routines implemented in C for IA-32 and x86-64.
Language:C2 0
ssaavedra/cavi-art-packer-recipe
2 0
ssaavedra/copyright-header
Copyright Header is a utility to manipulate licenses on source code.
Language:Ruby2 0
ssaavedra/data-selfie
Language:JavaScript2 0
ssaavedra/django-messenger
A toy project for creating a REST API with Django REST Framework and a React + Redux frontend
Language:JavaScript2 0
ssaavedra/dnsdock
DNS service discovery for Docker containers
Language:Go
ssaavedra/docker-sbt
SBT in a docker container.
Language:Shell2 0
ssaavedra/drf-extensions
DRF-extensions is a collection of custom extensions for Django REST Framework
Language:Python2 0
ssaavedra/editor-stats-web
Language:Haskell2 0
ssaavedra/envoy
A ssh/gpg-agent wrapper leveraging cgroups and systemd/socket activation
Language:C2 0
ssaavedra/gpul-project-for-2015
Language:Makefile2 0
ssaavedra/haskell-meetup-mad-practical-monoids
Code for Practical uses of Monoids in Haskell Madrid meetup
Language:Haskell2 0
ssaavedra/irparser
A transformer from a desugared version of Erlang into the CAVIART's IR
Language:Erlang
ssaavedra/latexdiff
Compares two latex files and marks up significant differences between them. Releases on www.ctan.org and mirrors
Language:Perl2 0
ssaavedra/liquidhaskell
Liquid Types For Haskell
Language:Haskell
ssaavedra/os-pinos
The Galician Anthem.
Language:LilyPond2 0
ssaavedra/roswell
intend to be a lisp installer and launcher for major environment that just work.
Language:Common Lisp2 0
ssaavedra/stackedit
In-browser markdown editor
Language:JavaScript
ssaavedra/THPPS
The House Party Protocol, Sir?
Language:Java2 4
ssaavedra/tracks
Docker build resources for Get On Tracks GTD Ruby on Rails application
Language:Ruby2 0
ssaavedra/tryton
Tryton Dockerfile
2 0
ssaavedra/twitter-cli
CLI Twitter client programmed in C, Flex, Bison and a lot of overkill.
Language:C
ssaavedra/why3
Mirroring https://scm.gforge.inria.fr/anonscm/git/why3/why3.git with some lag
Language:Coq