Maksym's repositories
formal-verifier-client
Elm-based Client for the Formal Verifier project
airflow
Apache Airflow - A platform to programmatically author, schedule, and monitor workflows
Language:PythonApache-2.0000
Language:JavaScriptNOASSERTION000
DefinitelyTyped
The repository for high quality TypeScript type definitions.
ethereumjs-accounts
A simple module for creating, managing and using Ethereum accounts in browser.
formal-verifier-api
Flask API for the Formal verifier project
ip-calculator
Small CLI for getting ip address info and splitting network into subnets
nem.deploy
org.nem.deploy package
organizations
Api for nested organizations
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