ubc-carnap-team

ubc-carnap-team's repositories

A formal logic framework that runs in the browser

Language:HaskellGPL-3.02 20

NixOps configs for Carnap deployment

Language:Nix2 40

Truth Tree Widget for Carnap

Language:JavaScript2 5 56

Pandoc files for the forall x-UBC textbook

Documentation for Carnap

GPL-3.0010

Simple example of a page that renders Rudolf truth-tree widgets

Language:HTML020

NixOps Digitalocean plugin [maintainer=@Kiwi]

Language:PythonLGPL-3.0000