Skip to content

@ubc-carnap-team ubc-carnap-team

Change the repository type filter

All

    Repositories list

    7 repositories

    • Rudolf

      Public
      Truth Tree Widget for Carnap
      JavaScript
      •3•2•17•20•Updated Jan 6, 2023Jan 6, 2023

    • Carnap

      Public
      A formal logic framework that runs in the browser
      Haskell
      •
      GNU General Public License v3.0
      •28•2•0•0•Updated Jul 4, 2022Jul 4, 2022

    • carnap-nixops

      Public
      NixOps configs for Carnap deployment
      Nix
      •0•3•0•0•Updated Apr 2, 2022Apr 2, 2022

    • forallx-pandocs

      Public
      Pandoc files for the forall x-UBC textbook
      2•1•0•0•Updated Feb 22, 2022Feb 22, 2022

    • nixops-digitalocean

      Public
      NixOps Digitalocean plugin [maintainer=@Kiwi]
      Python
      •
      GNU Lesser General Public License v3.0
      •10•0•0•0•Updated Feb 20, 2022Feb 20, 2022

    • Carnap-Documentation

      Public
      Documentation for Carnap
      GNU General Public License v3.0
      •3•0•0•0•Updated Oct 5, 2020Oct 5, 2020

    • consumer

      Public
      Simple example of a page that renders Rudolf truth-tree widgets
      HTML
      •0•0•0•0•Updated Sep 11, 2020Sep 11, 2020