Popular repositories Loading

1. proglang_lamcal_support proglang_lamcal_support Public

   Support Haskell Code for Lambda Calculus Interpretor

   Haskell 1

2. formalverif formalverif Public

   Examples of formal verification within Coq

   Coq

3. gluco-tap gluco-tap Public

   Java

4. predix-seed predix-seed Public

   Forked from PredixDev/predix-seed

   Dashboard Seed is an application that uses Px Web Components and Px UI Elements inside an Angular application.

   JavaScript

5. git-workshop git-workshop Public

   Presentation slides for ALAC workshop on Git basics

6. mass_email mass_email Public

   Python Script for sending mass emails

   Python