msemikin

cache

formal-verifier-client

Elm-based Client for the Formal Verifier project

fmse-tool

Python library that implements a number of Formal verification algorithms

Ideas-bank

airflow

Apache Airflow - A platform to programmatically author, schedule, and monitor workflows

client

db-pdfjs

pdfjs fork for db project

DefinitelyTyped

The repository for high quality TypeScript type definitions.

distributed-sudoku

dotfiles

caliber01 does dotfiles, fork of holman's dotfiles project

QR-Map

embrec

EmbRec recommendation system implementation

ethereumjs-accounts

A simple module for creating, managing and using Ethereum accounts in browser.

formal-verifier-api

Flask API for the Formal verifier project

future-you

github-for-developers-7

ip-calculator

Small CLI for getting ip address info and splitting network into subnets

lucene_project

lucene_task

nem.deploy

org.nem.deploy package

organizations

Api for nested organizations

pdf.js

PDF Reader in JavaScript

react-virtualized

React components for efficiently rendering large lists and tabular data

simple-socket

Simple socket server

travis-broken-example

An example that will cause a build failure