Pinned Repositories
ccl-model-checker
Cloud configuration logic model checker - Prolog (XSB Prolog)
clojure-training
Training samples from the Clojure training workshop I conducted at IBM, Calcutta.
code_embedding
crosslayer-handoff
Cross-layer handoff algorithm code: C + PHP scripts (Won best paper Hon'ble mention at IEEE ANTS conference, IIT Mumbai, 2008)
cumulus
Cumulus distributed storage system - Java + PHP
dynotate
Dynamic visual annotation for web applications - browser extension + backend
motepy
Mote Python
nodejure
Nodejure (previously, Shelloid) is an IoT-ready web application platform with built-in stream processing that integrates Node.js and Clojure/JVM.
pylib
Python utility libraries
verticalthings
Vertical Platform
jayarajporoor's Repositories
jayarajporoor/pylib
Python utility libraries
jayarajporoor/verticalthings
Vertical Platform
jayarajporoor/code_embedding
jayarajporoor/motepy
Mote Python
jayarajporoor/nodejure
Nodejure (previously, Shelloid) is an IoT-ready web application platform with built-in stream processing that integrates Node.js and Clojure/JVM.
jayarajporoor/ccl-model-checker
Cloud configuration logic model checker - Prolog (XSB Prolog)
jayarajporoor/clojure-training
Training samples from the Clojure training workshop I conducted at IBM, Calcutta.
jayarajporoor/crosslayer-handoff
Cross-layer handoff algorithm code: C + PHP scripts (Won best paper Hon'ble mention at IEEE ANTS conference, IIT Mumbai, 2008)
jayarajporoor/cumulus
Cumulus distributed storage system - Java + PHP
jayarajporoor/dynotate
Dynamic visual annotation for web applications - browser extension + backend
jayarajporoor/freertos-uip-kernel
FreeRTOS-UIP integrated kernel with board support for our custom LPC21xx (ARM) board. Includes FreeRTOS/UIP code as well. Couple of the drivers were developed by other developers. I just pushed this to github as a reference.
jayarajporoor/ganitalib
Library of Ancient and Medieval Indian Mathematics and Algorithms.
jayarajporoor/generuse
Generative Usecases domain specific language platform - Main Clojure/ANTLR codebase
jayarajporoor/generuse-lib
Generuse module library
jayarajporoor/generuse-selenium
Generuse selenium module
jayarajporoor/integralj
IntegralJ - The type-safe programming language for security-critical and safety-critical high-integrity embedded and systems software.
jayarajporoor/jayarajporoor.github.io
jayarajporoor/jotlee
Social reminder web app - node.js backend
jayarajporoor/micropython
MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems
jayarajporoor/netverif
Simulation and Verification of Networked & Distributed Applications
jayarajporoor/nodejure-ccs
Nodejure Clojure Compute Service (CCS)
jayarajporoor/shelloid-saal
Shelloid Sensor Actuator Abstraction Layer
jayarajporoor/shelloid-scripting
Shelloid scripting engine
jayarajporoor/simushell
SimuShell
jayarajporoor/smartwhisper
SmartWhisper (matlab code): Transmit certificate hash via modulated carrier over an audio channel. This was published as a paper as well. I just pushed this to github as a reference.
jayarajporoor/vert.x
Vert.x is a tool-kit for building reactive applications on the JVM
jayarajporoor/vpt-agent
Shelloid Virtual Private Transport (VPT) Agent
jayarajporoor/vpt-deploy
Shelloid Virtual Private Transport (VPT) Deploy Files
jayarajporoor/vpt-transport
Shelloid Virtual Private Transport (VPT) Transport Server
jayarajporoor/vpt-web
Shelloid Virtual Private Transport (VPT) Web Application & Services