simply-logical/simply-logical

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

Language: Prolog - Size: 13.3 MB - Last synced at: 27 days ago - Pushed at: 5 months ago - Stars: 141 - Forks: 24

simply-logical/quarto_indexer

Indexing extension for quarto

Language: Lua - Size: 1.95 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

simply-logical/mlbook2testbed

Testbed for ML book 2 development

Size: 300 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

simply-logical/sphinx-prolog

Sphinx (and Jupyter Book) extensions for the Simply Logical content

Language: Python - Size: 386 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 1 - Forks: 0

simply-logical/cplint-book-template

A Jupyter Book template for interactive cplint documents

Language: CSS - Size: 2.38 MB - Last synced at: about 1 year ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

simply-logical/simply-logical.github.io

Simply Logical home page

Language: HTML - Size: 890 KB - Last synced at: about 1 year ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

simply-logical/jupyterbook-meta Fork of executablebooks/meta

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

Size: 3.04 MB - Last synced at: about 1 year ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

simply-logical/programs

Prolog programs from the Simply Logical book

Language: Prolog - Size: 34.2 KB - Last synced at: about 1 year ago - Pushed at: over 7 years ago - Stars: 6 - Forks: 1

simply-logical/prolog-book-template

A Jupyter Book template for interactive Prolog documents

Language: Prolog - Size: 2.75 MB - Last synced at: about 1 year ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

simply-logical/beta

Simply Logical slides derived directly from the book content

Language: HTML - Size: 1.78 MB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

simply-logical/labs

Lab exercises for Simply Logical book

Language: HTML - Size: 30.3 KB - Last synced at: about 1 year ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0

simply-logical/ComputationalLogic

Language: Prolog - Size: 110 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 9

simply-logical/problog-book-template

A Jupyter Book template for interactive ProbLog documents

Language: Jupyter Notebook - Size: 3.23 MB - Last synced at: about 1 year ago - Pushed at: about 3 years ago - Stars: 3 - Forks: 1

simply-logical/simply-logical-too 📦

Development repository of planned second edition of the book.

Language: HTML - Size: 4.28 MB - Last synced at: about 1 year ago - Pushed at: almost 3 years ago - Stars: 3 - Forks: 0

simply-logical/slides

Slides for Simply Logical book

Size: 5.82 MB - Last synced at: about 1 year ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

simply-logical/sphinx-problog

Interactive ProbLog code boxes for Sphinx and Jupyter Book.

Language: JavaScript - Size: 114 KB - Last synced at: 3 days ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 1