Pinned Loading

1. Lassonde-JPF/jpf-ctl Lassonde-JPF/jpf-ctl Public

   CTL model checking of Java code

   Java

2. python-monorepo-framework python-monorepo-framework Public template

   Minimal starter framework for a monorepo server in python w/ Flask, PostgreSQL, & Redis

   Python

3. TOHacks-Team-Alpha/frontend TOHacks-Team-Alpha/frontend Public

   Providing an economical solution to motor travel, vagon is a responsive webapp built with Vue.js and Nuxt.js

   Vue 1

4. RUHacksTeamAlpha/drdiabe RUHacksTeamAlpha/drdiabe Public

   ~ leveraging cloud computing to bring more affordable diabetic care to millions around the world ~

   Vue 1

5. basedCode basedCode Public

   Forked from AkinAD/basedCode

   Smart Shopper web application with backend written in Go and front end with Vue

   Vue

6. LTL_to_PNF LTL_to_PNF Public

   receives Linear Temporal Logic formulas, a temporal logic which is closely related to CTL, and converts them to their Positive Normal Form (PNF)

   HTML