Repositories list

• scroll_test

  Public
  JavaScript

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jul 15, 2026Jul 15, 2026

• mlbook_ii_notebooks

  Public
  Jupyter Notebook

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jul 5, 2026Jul 5, 2026

• quarto_indexer

  Public
  Indexing extension for quarto

  Lua

  •00 forks•11 star•00 issues•00 pull requests•Updated May 27, 2025May 27, 2025

• pandoc_filter

  Public
  Collection of pandoc filters

  TeX

  •00 forks•00 stars•00 issues•00 pull requests•Updated May 27, 2025May 27, 2025

• mlbook2testbed

  Public
  Testbed for ML book 2 development

  00 forks•00 stars•00 issues•00 pull requests•Updated Mar 8, 2025Mar 8, 2025

• simply-logical

  Public
  Online, interactive edition of the "Simply Logical" Prolog textbook

  prologswishjupyter-book+ 1

  prologswishjupyter-booksimply-logical

  Prolog

  •

  Other

  •2828 forks•181181 stars•22 issues•11 pull request•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

  •00 forks•22 stars•44 issues•00 pull requests•Updated Dec 16, 2024Dec 16, 2024

• ComputationalLogic

  Public
  Prolog

  •

  BSD 3-Clause "New" or "Revised" License

  •1111 forks•11 star•00 issues•00 pull requests•Updated Feb 23, 2024Feb 23, 2024

• cplint-book-template

  Public
  A Jupyter Book template for interactive cplint documents

  prologswishjupyter-book+ 3

  prologswishjupyter-booksphinx-prologcplintswp-prolog

  CSS

  •

  BSD 3-Clause "New" or "Revised" License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jun 9, 2023Jun 9, 2023

• prolog-book-template

  Public
  A Jupyter Book template for interactive Prolog documents

  prologswishswi-prolog+ 2

  prologswishswi-prologjupyter-booksphinx-prolog

  Prolog

  •

  BSD 3-Clause "New" or "Revised" License

  •00 forks•11 star•00 issues•00 pull requests•Updated Jun 9, 2023Jun 9, 2023

• simply-logical.github.io

  Public
  Simply Logical home page

  HTML

  •

  MIT License

  •00 forks•00 stars•00 issues•44 pull requests•Updated Jun 9, 2023Jun 9, 2023

• jupyterbook-meta

  Public
  A community dedicated to supporting tools for technical and scientific communication and interactive computing

  177177 forks•00 stars•00 issues•00 pull requests•Updated Aug 1, 2022Aug 1, 2022

• slides

  Public
  Slides for Simply Logical book

  Other

  •00 forks•00 stars•22 issues•00 pull requests•Updated Jul 22, 2022Jul 22, 2022

• simply-logical-too

  Public archive
  Development repository of planned second edition of the book.

  HTML

  •

  Other

  •00 forks•33 stars•11 issue•00 pull requests•Updated Jun 15, 2022Jun 15, 2022

• problog-book-template

  Public
  A Jupyter Book template for interactive ProbLog documents

  problogjupyter-book

  problogjupyter-book

  Jupyter Notebook

  •

  BSD 3-Clause "New" or "Revised" License

  •11 fork•44 stars•00 issues•00 pull requests•Updated Mar 31, 2022Mar 31, 2022

• sphinx-problog

  Public
  Interactive ProbLog code boxes for Sphinx and Jupyter Book.

  sphinxsphinx-docproblog+ 1

  sphinxsphinx-docproblogjupyter-book

  JavaScript

  •

  BSD 3-Clause "New" or "Revised" License

  •11 fork•00 stars•00 issues•00 pull requests•Updated Jun 27, 2021Jun 27, 2021

• beta

  Public
  Simply Logical slides derived directly from the book content

  HTML

  •00 forks•11 star•00 issues•00 pull requests•Updated Feb 5, 2019Feb 5, 2019

• labs

  Public
  Lab exercises for Simply Logical book

  HTML

  •

  GNU Affero General Public License v3.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated May 12, 2018May 12, 2018

• programs

  Public
  Prolog programs from the Simply Logical book

  Prolog

  •

  GNU Affero General Public License v3.0

  •11 fork•77 stars•33 issues•00 pull requests•Updated Jan 18, 2018Jan 18, 2018