pavenvivek Goto Github PK

accelerack

C Bindings for Accelerate, Racket Frontend to Accelerate

agda

Agda is a dependently typed programming language / interactive theorem prover.

agda-metaprogramming

This repository contains tools for automated code generation using Agda reflection mechnism

airline_delay_analysis_bigdata

Analyze the departure delay of different airline carriers using Python's Scikit-learn machine learning packages

airline_performance_reporter

Airline performance reporter application using PHP and PostgreSQL

analysis-engine

Analysis tools for network measurements using the unis runtime.

business_success_factor_yelp

Predicting the potential factor for success of a given business using weka and stanford nlp packages

compiler-for-scheme

The compiler for subset of scheme developed as part of P523

coq-crypto

Implementation of one-time pad using HoTT in Coq

fcs-2018

Implementation for Workshop on Foundations of Computer Security (FCS 2018)

homotopy-type-theory

jisis-2018

Implementation for PADL-2019

lpar-2018

This repository contains implementation for LPAR conference

meta-2018

This repository contains implementation for META workshop

otp-hott

Implementation for IFL-2018 symposium

projectmanagement

Spring & Hibernate demo project

provsec-2018

Implementation for ProvSec 2018

raket-to-c_interpreter

Converting a Racket interpreter to C using ParenthC interpreter

wflp-18

Implementation for Workshop on Functional and Logic Programming (WFLP 2018)