Skip to content
@ubc-carnap-team

ubc-carnap-team

Popular repositories Loading

  1. carnap-nixops carnap-nixops Public

    NixOps configs for Carnap deployment

    Nix 3

  2. Rudolf Rudolf Public

    Truth Tree Widget for Carnap

    JavaScript 2 3

  3. Carnap Carnap Public

    Forked from Carnap/Carnap

    A formal logic framework that runs in the browser

    Haskell 2

  4. forallx-pandocs forallx-pandocs Public

    Pandoc files for the forall x-UBC textbook

    1 2

  5. consumer consumer Public

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

    HTML

  6. Carnap-Documentation Carnap-Documentation Public

    Forked from Carnap/Carnap-Documentation

    Documentation for Carnap

Repositories

Showing 7 of 7 repositories
  • Rudolf Public

    Truth Tree Widget for Carnap

    ubc-carnap-team/Rudolf’s past year of commit activity
    JavaScript 2 3 17 20 Updated Jan 6, 2023
  • Carnap Public Forked from Carnap/Carnap

    A formal logic framework that runs in the browser

    ubc-carnap-team/Carnap’s past year of commit activity
    Haskell 2 GPL-3.0 28 0 0 Updated Jul 4, 2022
  • carnap-nixops Public

    NixOps configs for Carnap deployment

    ubc-carnap-team/carnap-nixops’s past year of commit activity
    Nix 3 0 0 0 Updated Apr 2, 2022
  • forallx-pandocs Public

    Pandoc files for the forall x-UBC textbook

    ubc-carnap-team/forallx-pandocs’s past year of commit activity
    1 2 0 0 Updated Feb 22, 2022
  • nixops-digitalocean Public Forked from nix-community/nixops-digitalocean

    NixOps Digitalocean plugin [maintainer=@Kiwi]

    ubc-carnap-team/nixops-digitalocean’s past year of commit activity
    Python 0 LGPL-3.0 11 0 0 Updated Feb 20, 2022
  • Carnap-Documentation Public Forked from Carnap/Carnap-Documentation

    Documentation for Carnap

    ubc-carnap-team/Carnap-Documentation’s past year of commit activity
    0 GPL-3.0 3 0 0 Updated Oct 5, 2020
  • consumer Public

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

    ubc-carnap-team/consumer’s past year of commit activity
    HTML 0 0 0 0 Updated Sep 11, 2020

Top languages

Loading…

Most used topics

Loading…