• Stars
    star
    1
  • Language TLA
  • License
    MIT License
  • Created about 3 years ago
  • Updated over 2 years ago

Reviews

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

Repository Details

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

More Repositories

1

scribe

Extensible OAuth library for Java
Java
57
star
2

Xb

a simple js library for backoff callbacks
JavaScript
43
star
3

scribe-scala

Scala port of scribe-java
Scala
13
star
4

slick-production-tips

tips for putting Slick in production
Scala
9
star
5

name_suggestions

corrector de nombres propios argentinos
Go
8
star
6

sindicato

Agenda del sindicato del software
TypeScript
7
star
7

notebook_convert

pre-commit hook for converting jupyter notebooks to readable formats
Python
6
star
8

employment-argentina

Python
6
star
9

play-streaming

An example of streaming APIs using playframework
Scala
6
star
10

jrubycForMaven

Maven compiler that translates your ruby sources to java before compiling
Java
6
star
11

fuzz_talk

fuzz & property based testing - pycon talk
Python
5
star
12

hackday

hackday
JavaScript
4
star
13

scala-examples

Actors and scala
Scala
4
star
14

jupyterml

collection of jupyter notebooks about machine learning
Jupyter Notebook
3
star
15

blockchain_analysis

Python
3
star
16

react-typescript-tutorial

react tutorial written with TSX and es6 classes
JavaScript
3
star
17

padawan-rails

Padawan Demo Application (Ruby On Rails)
Ruby
2
star
18

isl

introduction to statistical learning exercises, in python
Jupyter Notebook
2
star
19

cs50ai

notes and exercises for Harvard's course on Artificial Intelligence CS50AI
Python
2
star
20

jsonshootout

comparison of scala json libraries
Scala
2
star
21

backbone-jQuery-examples

One todo list sample application, written in backbone and jQuery to compare both
JavaScript
2
star
22

dist-mergesort

an scala and akka example for distributed sorting
Scala
2
star
23

linkedin-js-test

A test harness for LinkedIn's javascript API
JavaScript
2
star
24

dym

did you mean X?
Go
2
star
25

typescript_talk

code for "Making Javascript Illegal States Unrepresentable" talk
JavaScript
2
star
26

dust-java

render dust from java using rhino
JavaScript
2
star
27

TokenExchangeSample

Sample application to exchange a 2.0 token for a 1.0a one
Java
1
star
28

Stylr

A simple tool for code formatting
1
star
29

whatever

Best browser extension in the world
JavaScript
1
star
30

random_arch

random tweets by #thearchitect
Ruby
1
star
31

python_init

python exercises
Python
1
star
32

EventManagerAdmin

Event Manager Admin
Ruby
1
star
33

GLB-User-Search

Ruby
1
star
34

udptee

Go
1
star
35

reasons-to-adopt-scala-now

Seven reasons why you should implement scala right now
Scala
1
star
36

inspeed

browse your professional network, lightning-fast
JavaScript
1
star
37

pote.github.com

This is just to test the cool github pages feature, disregard entirely :)
JavaScript
1
star
38

sysarmy-salaries-data-2016

R
1
star
39

fernandezpablo85.github.com

Personal Home Page
JavaScript
1
star
40

credit_card_ocr

read credit card information from an image in JavaScript
1
star
41

GoogleDevDays

Google Dev Days 2011 exercise examples (in ruby)
Ruby
1
star
42

gadget-playground

1
star
43

LiBot

Bot that consumes LinkedIn Apis
Scala
1
star
44

CRX

Work in progress
JavaScript
1
star