ubc-carnap-team

Pinned Repositories

Carnap
A formal logic framework that runs in the browser
Language:Haskell2 2 00
Carnap-Documentation
Documentation for Carnap
0 1 00
carnap-nixops
NixOps configs for Carnap deployment
Language:Nix2 4 00
consumer
Simple example of a page that renders Rudolf truth-tree widgets
Language:HTML0 2 00
forallx-pandocs
Pandoc files for the forall x-UBC textbook
1 4 02
nixops-digitalocean
NixOps Digitalocean plugin [maintainer=@Kiwi]
Language:Python0 0 00
Rudolf
Truth Tree Widget for Carnap
Language:JavaScript2 5 563

ubc-carnap-team's Repositories

ubc-carnap-team/Carnap
A formal logic framework that runs in the browser
Language:Haskell2 2 00
ubc-carnap-team/carnap-nixops
NixOps configs for Carnap deployment
Language:Nix2 4 00
ubc-carnap-team/Rudolf
Truth Tree Widget for Carnap
Language:JavaScript2 5 563
ubc-carnap-team/forallx-pandocs
Pandoc files for the forall x-UBC textbook
1 4 02
ubc-carnap-team/Carnap-Documentation
Documentation for Carnap
0 1 00
ubc-carnap-team/consumer
Simple example of a page that renders Rudolf truth-tree widgets
Language:HTML0 2 00
ubc-carnap-team/nixops-digitalocean
NixOps Digitalocean plugin [maintainer=@Kiwi]
Language:Python0 0 00