BRINGING SOFTWARE TO LIFE

Project Showcase


Protunity
Using SpecialK/KVDB, the only free open source distributed logic database, we partnered with Protegra, Inc to build a unique business matching network in which each business owns their data.





Using SpecialK/KVDB, the only free open source distributed logic database, we partnered with ATI, Inc to build a unique social network platform in which each user owns their data.


SpecialK/KVDB
SpecialK/KVDB, the only free open source distributed logic database. Find out more on github or watch this video.









Formal Language of Chemistry (FLoC)
 
Building on the work of Cardelli, Priami, Regev and others, we provide a simple language for expressing chemical equations and compiling them to concurrent programs.   These concurrent programs allow users to simulate the evolution of solutions of chemicals subject to a network of reactions.   In the context of the codestore project the provides the basis of searching networks of chemical reactions on the basis of a language of behavior and structure that derives from their interpretation as concurrent programs.




Codestore  

Recognizing that  
  1. Code is rapidly becoming one of the largest data assets to manage
  2. Model-checking, provides the basis of a query language for searching code
  3. Logics enabling both structural and behavioral observation have efficient translations to modern query languages
  we are developing a database for storing and retrieving code on the basis of what it does and how it does, not what keywords occur most frequently...


Parallelogram

Following up on the development of the reflective higher-order calculus (a.k.a. the \rho-calculus), Parallelogram is an effort to design a full, general purpose programming language with reflection and concurrency as the basic primitives.



Knots to π

Recognizing that knots are sitting at the confluence of several crucial lines of research from  
  1. quantum computing to
  2. quantum gravity to
  3. protein folding
  we have developed an encoding of knots into a class of concurrent programs.   This project, in conjunction with the codestore project, enables a database for storing and retrieving knots on the basis of a new kind of query language for knot properties derived from their encoding as concurrent programs. 

Check out the arXiv paper