Julio Cesar's repositories
the-little-elixir-otp-guidebook-code
Code examples for The Little Elixir & OTP Guidebook
akka-bootcamp
Self-paced training course to learn Akka.NET fundamentals from scratch
awesome-cl
A curated list of awesome Common Lisp frameworks, libraries and other shiny stuff.
haskell-aligned
Haskell types lined up to highlight their similarities
mtheme
A modern LaTeX Beamer theme
okasaki
Scala implementation of data structures from Chris Okasaki's book
devnites-talk
Mi presentación para DevNights Beta 1.0
akkadotnet-code-samples
Akka.NET professional reference code samples
web-api-2-owin-self-host-test-demo
web api 2 self host test demo
datasharing
The Leek group guide to data sharing
sendlist
An app to send lists!
beamercolortheme-owl
A Beamer colour theme that maximizes visibility in dark and unfavourable conditions
lispTraining
pequeñas practias de Lisp usando el libro de "Land of Lisp" http://landoflisp.com/
OpenLogic
An open-source, customizable intermediate logic textbook
AuthenticatedOwinIntegrationTests
Example Visual Studio 2015 solution for Owin Web API authenticated integration tests without authorization server
livefeelings
Python bot that fetches latest tweets from certain locations, formats the text and then tries to guess how people are feeling.
bin-cat
Prints out a file in binary characters '1' and '0's. Written to learn x64/x86 NASM
contratos
Tratemos de hacer una buena plantilla para contratos para web developers / freelancers de México :)
manual-ocamlbuild
A new reference manual for the ocamlbuild tool
hacker-scripts
Based on a true story
lean
Lean Theorem Prover
eventuate
Distributed, highly-available and partition-tolerant event sourcing
type-theory-study-group-2015
Resources for Type Theory Study Group 2015
learn-tt
A collection of resources for learning type theory.
solarized
precision color scheme for multiple applications (terminal, vim, etc.) with both dark/light modes
LipsNotesSpanish
Pasar las notas que se obtuvieron en un curso de programación sobre el lenguaje de programación Lisp a latex, para que se siga conservando el conocimiento de estas notas