Namdak Tonpa

Open Source Investment Portfolio

TL;DR The purpose of this document is to display investment landscape for business angels.
It covers four GitHub organizations and their intellectual structure:
voxoz, synrc, spawnproc and groupoid

Idea and Mission

1. Make full-stack certified software available to wider audience
   for the true happiness of all sentient beings.

Model and Strategy

1. Create prototypes of full-stack parts in untyped languages (LISP or Erlang).
2. Avoid using C-like languages as much as possible (C, Go, JavaScript).
3. If necessary, for system components use OCaml or similar LLVM language.
4. Make prototypes stable, concise, robust and user/community friendly.
5. Continuously reduce codebase (no more than 2000 LOC per average library).
6. Attract investments using support licensing or dual licensing.
7. Create simple certification platform based on modern formal methods (EXE).
8. Port and prove existing infrastructure headliners to EXE language.

Portfolio Streams

1. VOXOZ — Virtual Machines, engineering and high-technology, the platform.
2. SYNRC — Apps and Services, advertisement and community feedback, open source.
3. SPAWNPROC — Business Applications, most investment attractive, licensing.
4. GROUPOID — Formal Methods, scienсe intensive, R&D.

VOXOZ
Virtual Machines and Network Infrastructure

VOXOZ — is a platform for code and data distribution. It covers Virtual Machines, such as LING (Cloudozer) and BEAM (Ericsson) for a set of languages with different flavors: Erlang, Elixir, LFE, EXE.

Total Funding: $125,000 (25 man-months)

Intellectual Ownership

@proger — Vladimir Kirillov 50% — CEO
@5HT — Maxim Sokhatsky 25%
@nponeccop — Andy Melnikov 25% — CTO

Projects

01  LING — Erlang Virtual Machine — Cloudozer, LLP, @proger

02 VOX — Custom Linux for xhyve/docker/runc/voxoz — @5HT, @proger

03 SLICE — Containers Service —@5HT, @proger

05 VZ — Distributed Cloud for low-price OpenVZ hosts — @nponeccop

Articles

6 MAY 2015   LING C API

5 MAR 2015   L TYPE INSPECTOR

SYNRC
Erlang/OTP Applications compatible with LING VM

Synrc Applications Stack provides proven applications in game and banking industries.
The headliner is N2O — Best in class web framework for Erlang virtual machines.
Scalable KVS database is able to run on top of MNESIA/SQL/MONGO/REDIS/FS.
All applications are able to run on raw hardware, using Xen, or in POSIX thanks to LING.
Synrc uses MAD build and packaging tool.

Total Funding: $340,000 (68 man-months)

Intellectual Ownership

@doxtop — Andrii Zadorozhnii 50% — CEO
@5HT — Maxim Sokhatsky 25% — CTO
@proger — Vladimir Kirillov 25%

Projects

01  N2O — WebSocket Application Server for Enterprises — @5HT, @doxtop

02 KVS — Abstract Term Database for Transaction Logs — @5HT, @doxtop

03 MAD — Erlang Containers and General Build Tool — @5HT

04 FS — Native Filesystem Listeners for N2O and Phoenix — @proger

05 SH — Safe Shell Executor — @proger

06 ACTIVE — Module Reloader — @proger

07 CYCLE — Continuous Inegration — @proger

Specifications

01  PROTOCOL DEFINITION

03 REFERENCE IMPLEMENTATION

04 VERSIONS

Stories

31 MAY 2014  SVG WEBSOCKET N2O GAME

29 SEP 2015  REVIEW APP

13 APR 2015   APPLICATION STACK

23 SEP 2015 FILE TRANSFER PROTOCOL

24 SEP 2015  REMOTE PROTOCOL

SPAWNPROC
Business Processes and Payments for Enterprise and Banking

SPAWNPROC was made to satisfy extra demands of simplicity and stability for banking industry. The E-banking software can handle 30M subscribers bank in Eastern Europe on single Large Aamazon instace.

Total Funding: $95,000 (19 man-months)

Intellectual Ownership

@5HT — Maxim Sokhatsky 100% — CTO

Projects

01  BPE — BPMN-like Business Process Engine — @5HT

02 CR — Chain Replication Database — @5HT

03 UPL — Processing Language for Cards and Derivatives — @5HT

04 FORMS — Forms DSL for Enterprises — @5HT

Stories

3 MAR 2015   E-BANKING APPLICATION

15 MAR 2015   CHAIN REPLICATION

20 OCT 2015 BPE PROCESS ENGINE

GROUPOID
Dependently Typed Language for Certified Environments

R&D department.

Total Funding: $35,000 (7 man-months)

Intellectual Ownership

@5HT — Maxim Sokhatsky 50% — CEO
@nponeccop — Andy Melnikov 50%

Projects

01  OM — Intermediate Lambda Assembler — @5HT

02 EXE — Dependently Typed Language for Erlang — @5HT

03 HNC — C/C++ backend for EXE — @nponeccop

Specifications

01  INTERMEDIATE LAMBDA CORE

02  TOP LANGUAGE

03  BASE LIBRARY

04  ENCODING DETAILS

Articles

1 MAY 2016  INTRODUCTION TO EXE

1 OCT 2015  CERTIFIED ENVIRONMENT

Namdak Tonpa © 2016