Skip to content

@simply-logical Simply Logical

Change the repository type filter

All

    Repositories list

    17 repositories

    • quarto_indexer

      Public
      Indexing extension for quarto
      Lua
      •0•1•0•0•Updated May 27, 2025May 27, 2025

    • pandoc_filter

      Public
      Collection of pandoc filters
      TeX
      •0•0•0•0•Updated May 27, 2025May 27, 2025

    • mlbook2testbed

      Public
      Testbed for ML book 2 development
      0•0•0•0•Updated Mar 8, 2025Mar 8, 2025

    • simply-logical

      Public
      Online, interactive edition of the "Simply Logical" Prolog textbook
      prologswishjupyter-booksimply-logical
      Prolog
      •
      Other
      •24•156•2•1•Updated Dec 17, 2024Dec 17, 2024

    • sphinx-prolog

      Public
      Sphinx (and Jupyter Book) extensions for the Simply Logical content
      Python
      •
      BSD 3-Clause "New" or "Revised" License
      •0•2•4•0•Updated Dec 16, 2024Dec 16, 2024

    • ComputationalLogic

      Public
      Prolog
      •
      BSD 3-Clause "New" or "Revised" License
      •12•1•0•0•Updated Feb 23, 2024Feb 23, 2024

    • cplint-book-template

      Public
      A Jupyter Book template for interactive cplint documents
      prologswishjupyter-booksphinx-prologcplintswp-prolog
      CSS
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Jun 9, 2023Jun 9, 2023

    • prolog-book-template

      Public
      A Jupyter Book template for interactive Prolog documents
      prologswishswi-prologjupyter-booksphinx-prolog
      Prolog
      •
      BSD 3-Clause "New" or "Revised" License
      •0•1•0•0•Updated Jun 9, 2023Jun 9, 2023

    • simply-logical.github.io

      Public
      Simply Logical home page
      HTML
      •
      MIT License
      •0•0•0•4•Updated Jun 9, 2023Jun 9, 2023

    • jupyterbook-meta

      Public
      A community dedicated to supporting tools for technical and scientific communication and interactive computing
      173•0•0•0•Updated Aug 1, 2022Aug 1, 2022

    • slides

      Public
      Slides for Simply Logical book
      Other
      •0•0•2•0•Updated Jul 22, 2022Jul 22, 2022

    • simply-logical-too

      Public archive
      Development repository of planned second edition of the book.
      HTML
      •
      Other
      •0•3•1•0•Updated Jun 15, 2022Jun 15, 2022

    • problog-book-template

      Public
      A Jupyter Book template for interactive ProbLog documents
      problogjupyter-book
      Jupyter Notebook
      •
      BSD 3-Clause "New" or "Revised" License
      •1•4•0•0•Updated Mar 31, 2022Mar 31, 2022

    • sphinx-problog

      Public
      Interactive ProbLog code boxes for Sphinx and Jupyter Book.
      sphinxsphinx-docproblogjupyter-book
      JavaScript
      •
      BSD 3-Clause "New" or "Revised" License
      •1•0•0•0•Updated Jun 27, 2021Jun 27, 2021

    • beta

      Public
      Simply Logical slides derived directly from the book content
      HTML
      •0•1•0•0•Updated Feb 5, 2019Feb 5, 2019

    • labs

      Public
      Lab exercises for Simply Logical book
      HTML
      •
      GNU Affero General Public License v3.0
      •0•0•0•0•Updated May 12, 2018May 12, 2018

    • programs

      Public
      Prolog programs from the Simply Logical book
      Prolog
      •
      GNU Affero General Public License v3.0
      •1•7•3•0•Updated Jan 18, 2018Jan 18, 2018