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
• pkshashank / GFLeanTransfer

  View on GitHub
  ☆12Mar 27, 2024Updated last year
• SWI-PrologTeamLudumDare32 / LudumDare

  View on GitHub
  Our Ludum Dare entry
  ☆20Feb 19, 2017Updated 8 years ago
• 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 6 years ago
• jamesnvc / vuelog

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

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

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

  View on GitHub
  CLP(BNR) module for SWI-Prolog
  ☆44Dec 4, 2025Updated 2 months ago
• 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
  ☆27Jan 27, 2026Updated 2 weeks ago
• 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).
  ☆33Dec 13, 2025Updated 2 months ago
• KentaroMatsushita / icpc_library

  View on GitHub
  ☆12Dec 7, 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
• npe9 / aop

  View on GitHub
  Art of Prolog Code
  ☆37Aug 28, 2019Updated 6 years ago
• hehichens / Mini-PhotoShop

  View on GitHub
  A mini Photoshop software with c++, OpenCV and Qt
  ☆10Jun 6, 2021Updated 4 years ago
• NUS-Math-Formalization / coxeter

  View on GitHub
  ☆13Jul 8, 2024Updated last year
• maddanio / Nube

  View on GitHub
  cloud rendering by Carlos Jiménez de Parga
  ☆12Dec 19, 2024Updated last year
• swi-to-yap / swicli

  View on GitHub
  SWI-Prolog 2-Way interface to Commmon Language Interface
  ☆13Jan 21, 2017Updated 9 years ago
• emap-20242-ed / fad

  View on GitHub
  lean code
  ☆10Jan 3, 2025Updated last year
• UQ-zz-AM / portailEtudiant

  View on GitHub
  ☆11Sep 21, 2016Updated 9 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
• epstabler / mgtdb

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

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

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

  View on GitHub
  基于C++的虚拟文件管理系统
  ☆11Jul 6, 2017Updated 8 years ago
• ookii-tsuki / unity-color-palette

  View on GitHub
  A unity library for generating a color palette from an image inspired by Android's Palette API
  ☆11Jan 3, 2022Updated 4 years ago
• Alpha-Yang / Matlab_arrowPlot

  View on GitHub
  提供一种Matlab绘制直线箭头以及非线性箭头的方式，可用以绘制坐标轴箭头。
  ☆14Jul 13, 2020Updated 5 years ago
• FormalizedFormalLogic / Arithmetization

  View on GitHub
  Formalization of Arithmetization of Mathematics/Metamathematics
  ☆13Mar 8, 2025Updated 11 months ago