chinuhub Goto Github PK

ashoka

byom

A tool to prove concurrent programs safe under relaxed memory models. Termination is guaranteed for Finite staet programs and for those infinite state programs which correspond to well structured transition systems (like Bakery algorithm)

closure-compiler

A JavaScript checker and optimizer.

elk-filebeat-docker-setup

Docker setup for ELK and filebeat

goz3

Sample project to use Z3 from Go using the bindings.

localadda

logstash

Logstash - transport and process your logs, events, or other data

lokdhaba_shiny

Shiny port of lokdhaba

mets-reader-writer

Library to parse and create METS files, especially for Archivematica.

neturlschemehandler

WKURLSchemeHandler for WKWebview implementation

parentbuddy

OpenEd hackathon project

programmingpuzzles

Repository for sharing programming puzzles

prooftrapar

A tool to prove concurrent programs safe by partitioning the set of traces in a small number of equivalence classes

prooftrapar_llvm

qgenerator

Project to generate spell-bee puzzles and GK puzzles.

sample-web-app

This contains a minimal codebase of JSP/Java/Tomcat based webapp. For future projects this will act as a scaffolding project.

statemparser

A state machine based framework to parse data from a regular-formatted document. This was used extensively to parse Indian election data for LokDhaba Project at www.lokdhaba.ashoka.edu.in

tracker

Repo for classroom progress tracking and other features