Popular repositories Loading

1. CloudFORMAL CloudFORMAL Public

   Prototype compiler from AWS CloudFormation IaC templates into Logic.

   Scala 13 1

2. OpenLogic OpenLogic Public

   Forked from OpenLogicProject/OpenLogic

   An open-source, customizable intermediate logic textbook

   TeX 1

3. boxes-and-diamonds boxes-and-diamonds Public

   Forked from rzach/boxes-and-diamonds

   Open textbook on modal logic

   TeX 1

4. claudiacauli.github.io claudiacauli.github.io Public

   Ruby

5. latex-action latex-action Public

   Forked from dante-ev/latex-action

   GitHub Action to compile LaTeX documents

   TeX