Pinned Repositories
airflow
Apache Airflow - A platform to programmatically author, schedule, and monitor workflows
cache
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
fmse-tool
Python library that implements a number of Formal verification algorithms
formal-verifier-client
Elm-based Client for the Formal Verifier project
Ideas-bank
msemikin's Repositories
msemikin/cache
msemikin/formal-verifier-client
Elm-based Client for the Formal Verifier project
msemikin/fmse-tool
Python library that implements a number of Formal verification algorithms
msemikin/Ideas-bank
msemikin/airflow
Apache Airflow - A platform to programmatically author, schedule, and monitor workflows
msemikin/client
msemikin/db-pdfjs
pdfjs fork for db project
msemikin/DefinitelyTyped
The repository for high quality TypeScript type definitions.
msemikin/distributed-sudoku
msemikin/dotfiles
caliber01 does dotfiles, fork of holman's dotfiles project
msemikin/QR-Map
msemikin/embrec
EmbRec recommendation system implementation
msemikin/ethereumjs-accounts
A simple module for creating, managing and using Ethereum accounts in browser.
msemikin/formal-verifier-api
Flask API for the Formal verifier project
msemikin/future-you
msemikin/github-for-developers-7
msemikin/ip-calculator
Small CLI for getting ip address info and splitting network into subnets
msemikin/lucene_project
msemikin/lucene_task
msemikin/nem.deploy
org.nem.deploy package
msemikin/organizations
Api for nested organizations
msemikin/pdf.js
PDF Reader in JavaScript
msemikin/react-virtualized
React components for efficiently rendering large lists and tabular data
msemikin/simple-socket
Simple socket server
msemikin/travis-broken-example
An example that will cause a build failure