fernandezpablo85/practical-tla

Stars
1
Language TLA
License
MIT License
Created over 2 years ago
Updated almost 2 years ago

fernandezpablo85/practical-tla

fernandezpablo85

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Examples hillel wayne's TLA plus book, written in pure TLA+ (not pluscal)

scribe

Extensible OAuth library for Java

Xb

a simple js library for backoff callbacks

scribe-scala

Scala port of scribe-java

slick-production-tips

tips for putting Slick in production

name_suggestions

corrector de nombres propios argentinos

sindicato

Agenda del sindicato del software

notebook_convert

pre-commit hook for converting jupyter notebooks to readable formats

employment-argentina

play-streaming

An example of streaming APIs using playframework

jrubycForMaven

Maven compiler that translates your ruby sources to java before compiling

fuzz_talk

fuzz & property based testing - pycon talk

hackday

scala-examples

Actors and scala

jupyterml

collection of jupyter notebooks about machine learning

Jupyter Notebook

blockchain_analysis

react-typescript-tutorial

react tutorial written with TSX and es6 classes

padawan-rails

Padawan Demo Application (Ruby On Rails)

isl

introduction to statistical learning exercises, in python

Jupyter Notebook

cs50ai

notes and exercises for Harvard's course on Artificial Intelligence CS50AI

jsonshootout

comparison of scala json libraries

backbone-jQuery-examples

One todo list sample application, written in backbone and jQuery to compare both

dist-mergesort

an scala and akka example for distributed sorting

linkedin-js-test

A test harness for LinkedIn's javascript API

dym

did you mean X?

typescript_talk

code for "Making Javascript Illegal States Unrepresentable" talk

dust-java

render dust from java using rhino

TokenExchangeSample

Sample application to exchange a 2.0 token for a 1.0a one

Stylr

A simple tool for code formatting

whatever

Best browser extension in the world

random_arch

random tweets by #thearchitect

python_init

python exercises

EventManagerAdmin

Event Manager Admin

GLB-User-Search

udptee

reasons-to-adopt-scala-now

Seven reasons why you should implement scala right now

inspeed

browse your professional network, lightning-fast

pote.github.com

This is just to test the cool github pages feature, disregard entirely :)

sysarmy-salaries-data-2016

GoogleDevDays

Google Dev Days 2011 exercise examples (in ruby)

fernandezpablo85.github.com

Personal Home Page

credit_card_ocr

read credit card information from an image in JavaScript

gadget-playground

LiBot

Bot that consumes LinkedIn Apis

CRX

Work in progress