tau-prolog/draw-derivation-trees external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

tau-prolog/draw-derivation-trees

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/tau-prolog/draw-derivation-trees)

Close

tau-prolog / draw-derivation-treesView on GitHubMore

• External links
• Readme badge

A tool for drawing derivation trees of Tau Prolog

☆11Feb 23, 2022Updated 4 years ago

Alternatives and similar repositories for draw-derivation-trees

Users that are interested in draw-derivation-trees are comparing it to the libraries listed below

• friguzzi / matrix

  View on GitHub
  Operations with matrices, SWI pack
  ☆13Dec 11, 2023Updated 2 years ago
• SWI-PrologTeamLudumDare32 / LudumDare

  View on GitHub
  Our Ludum Dare entry
  ☆20Feb 19, 2017Updated 9 years ago
• pkshashank / GFLeanTransfer

  View on GitHub
  ☆13Mar 27, 2024Updated last year
• lexi-lambda / mini-ml

  View on GitHub
  An experimental implementation of a tiny ML-like language using an embedded custom expander (WIP, currently just System F core language)
  ☆21Feb 15, 2019Updated 7 years ago
• jamesnvc / vuelog

  View on GitHub
  Prolog Pengines + vue.js
  ☆17Mar 3, 2019Updated 7 years ago
• roboticslab-cseiitg / ProjectTartarus

  View on GitHub
  Tartarus is a multi-agent emulator for Static as well as Mobile Agents.
  ☆18Feb 25, 2023Updated 3 years ago
• celinehocquette / numsynth-aaai23

  View on GitHub
  C. Hocquette and A. Cropper, Relational program synthesis with numerical reasoning, AAAI23.
  ☆17Feb 22, 2023Updated 3 years ago
• ridgeworks / clpBNR

  View on GitHub
  CLP(BNR) module for SWI-Prolog
  ☆44Feb 24, 2026Updated last week
• JanWielemaker / swi-erlang

  View on GitHub
  Yes, Erlang in SWI-Prolog!
  ☆12Jun 18, 2018Updated 7 years ago
• brismu / klesi

  View on GitHub
  Lojban ologs (categorical databases) using jq
  ☆25Nov 29, 2018Updated 7 years ago
• SWI-Prolog / packages-http

  View on GitHub
  The SWI-Prolog HTTP server and client libraries
  ☆27Feb 22, 2026Updated last week
• samer-- / prolog

  View on GitHub
  Prolog stuff
  ☆27Sep 1, 2019Updated 6 years ago
• logicmoo / prologmud

  View on GitHub
  MUD Server written in Prolog using Forward chaining
  ☆28Feb 6, 2022Updated 4 years ago
• haldai / Jurassic.pl

  View on GitHub
  Call Julia code from Prolog
  ☆27Nov 11, 2022Updated 3 years ago
• rm-hull / wam

  View on GitHub
  Gradual WAM implementation using Hassan Aït-Kaci's tutorial reconstruction
  ☆28Oct 6, 2018Updated 7 years ago
• leolin0518 / Login-System

  View on GitHub
  Login/User/Admin database system in Qt/C++ & SQLite.
  ☆10Jun 25, 2016Updated 9 years ago
• ru / casanova

  View on GitHub
  A charming general game player
  ☆17Apr 20, 2010Updated 15 years ago
• rla / simple-template

  View on GitHub
  Text templating processor for SWI-Prolog.
  ☆32Mar 14, 2020Updated 5 years ago
• Anniepoo / swipldcgtut

  View on GitHub
  A tutorial for DCG's in swi-Prolog
  ☆35Feb 8, 2021Updated 5 years ago
• stylewarning / hypergeometrica

  View on GitHub
  Livin' like it's 1813 (or 1988).
  ☆34Dec 13, 2025Updated 2 months ago
• JanWielemaker / swi-prolog-wasm

  View on GitHub
  SWI-Prolog ported to WebAssembly
  ☆40Jun 21, 2018Updated 7 years ago
• progman / libhash.cpp

  View on GitHub
  tool and many hash functions: crc16, crc32, md5, sha1, sha256, sha512, sha3_224, sha3_256, sha3_384, sha3_512
  ☆11Apr 21, 2022Updated 3 years ago
• kazuhito84455 / QGISsvgAnimals

  View on GitHub
  QGIS svg icons - Animal silhouettes
  ☆11Nov 17, 2018Updated 7 years ago
• KentaroMatsushita / icpc_library

  View on GitHub
  ☆12Dec 7, 2025Updated 2 months ago
• npe9 / aop

  View on GitHub
  Art of Prolog Code
  ☆37Aug 28, 2019Updated 6 years ago
• FormalizedFormalLogic / Arithmetization

  View on GitHub
  Formalization of Arithmetization of Mathematics/Metamathematics
  ☆13Mar 8, 2025Updated 11 months ago
• hehichens / Mini-PhotoShop

  View on GitHub
  A mini Photoshop software with c++, OpenCV and Qt
  ☆10Jun 6, 2021Updated 4 years ago
• epstabler / mgtdb

  View on GitHub
  MG top-down beam parsing
  ☆13Jul 2, 2018Updated 7 years ago
• arvsrn / mesh

  View on GitHub
  Generate SVG mesh gradients.
  ☆10Feb 10, 2023Updated 3 years ago
• maddanio / Nube

  View on GitHub
  cloud rendering by Carlos Jiménez de Parga
  ☆12Dec 19, 2024Updated last year
• labichn / hmc

  View on GitHub
  Hindley-Milner with contracts
  ☆11Dec 5, 2015Updated 10 years ago
• Mapshiny / AITool

  View on GitHub
  整理的最新AI工具软件集合，包含各种生成式AI工具如ChatGPT等生产力工具
  ☆10Apr 3, 2023Updated 2 years ago
• xujingguo58 / fileManagementSystem

  View on GitHub
  基于C++的虚拟文件管理系统
  ☆11Jul 6, 2017Updated 8 years ago
• UQ-zz-AM / portailEtudiant

  View on GitHub
  ☆11Sep 21, 2016Updated 9 years ago
• yuky2020 / Face-recognition-with-NOIR-camera-on-RaspberryPi

  View on GitHub
  Face recognition with low light with Pi zeroW
  ☆10Feb 7, 2021Updated 5 years ago
• powerrrrrrrrr / MinDraw

  View on GitHub
  该项目是基于c++和QT开发的，运行在windows桌面端的可交互式绘图软件。
  ☆12Jun 2, 2024Updated last year
• TikoTako / iconHider

  View on GitHub
  Simple program that hide/show the icons of Windows desktop.
  ☆11Sep 29, 2023Updated 2 years ago
• zorkzorkus / ZorkLib

  View on GitHub
  C++ Wrapper Library for WinAPI, Direct2D, GUIs and often used functionality. Quick and easy to use.
  ☆10Oct 7, 2022Updated 3 years ago
• vaporvee / gd-net-thirdpersoncontroller

  View on GitHub
  Thirdperson controller made in the .NET version of Godot 4.0 with C#
  ☆14Mar 21, 2024Updated last year