Draw SLDNF trees in LaTeX
☆10May 7, 2025Updated last year
Alternatives and similar repositories for sldnfdraw
Users that are interested in sldnfdraw are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Prolog benchmarks (`van Roy' set)☆19Oct 21, 2026Updated last week
- CHR: Leuven Constraint Handling Rules☆27Oct 21, 2026Updated last week
- Write TAP tests with SWI-Prolog☆13Jan 19, 2023Updated 3 years ago
- Random ideas about libraries for Prolog☆12Nov 2, 2016Updated 9 years ago
- A WAM (Warren Abstract Machine for Prolog) written in Common Lisp☆12Mar 24, 2019Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Explainable machine learning☆17Mar 17, 2019Updated 7 years ago
- Easy concurrency for Prolog☆13May 30, 2014Updated 12 years ago
- Semantics of Programming Languages☆12Aug 8, 2019Updated 7 years ago
- Simple Prolog to JS transpiler☆20Oct 19, 2012Updated 14 years ago
- soft-delete-triggers enables emulating db behavior through triggers when doing soft deletes☆10Aug 5, 2023Updated 3 years ago
- Refactoring Tools for SWI-Prolog☆23Updated this week
- Demo SWI-Prolog HTTP based chat server☆22Nov 2, 2016Updated 9 years ago
- A prototype of rule generator for process-aware monitoring system implementing IEC-60870-5-104 protocol and Bro monitoring tool.☆14May 27, 2019Updated 7 years ago
- A tokenizer written in (SWI-)Prolog. It has some useful features and some flexibility and it might improve.☆11Jun 23, 2019Updated 7 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Utilities to write multilingual clojure programs☆13Apr 20, 2016Updated 10 years ago
- (TODO: connect to SOUNDWAVE CUE SHEETS ) Machine Learning Generative Classical Music using RNN LSTMs with MIDI music dataset and Magenta …☆22Jan 2, 2021Updated 5 years ago
- A modern, actively maintained rewrite of the original coveralls library for Node.js. Built for Node.js 20+ with modern dependencies and i…☆13Jun 16, 2026Updated 4 months ago
- Formal Verification of Top Single Layer Encoding☆11Dec 6, 2025Updated 10 months ago
- Extended CSS selectors for querying the DOM☆17Apr 20, 2024Updated 2 years ago
- 40% Split Ortholinear Keyboard with Kailh Choc sockets and OLED☆10May 26, 2019Updated 7 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆14Mar 8, 2025Updated last year
- Lean4 library for substitution inspired by autosubst☆16Updated this week
- A framework for writing expressive, functional-style apps 🌹☆11Jan 18, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Invoke Python libraries from Guile☆13Sep 5, 2016Updated 10 years ago
- Courses Project I have done in Syracuse University☆10Jul 9, 2014Updated 12 years ago
- ☆13Jul 8, 2024Updated 2 years ago
- The (very) small kernel of the LaTTe proof assistant☆12May 29, 2026Updated 4 months ago
- An implementation of the ASPIC+ framework for structured argumentation.☆14Updated this week
- N-Queens puzzle built with react and SWI Pengines.☆10Aug 13, 2026Updated 2 months ago
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆14Jul 29, 2026Updated 2 months ago
- Symbolic and Automatic Differentiation of Languages in Lean☆10May 9, 2025Updated last year
- Logtalk 2.x development version☆14Sep 20, 2012Updated 14 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Prove formulas of Presburger Arithmetic☆12Oct 5, 2024Updated 2 years ago
- ☆12Feb 17, 2025Updated last year
- A simple command-line bibtex query utility written in Lean 4☆11Oct 14, 2026Updated last week
- This is a set of ontologies used by different parts of the Open Semantic Framework. These ontologies should normally be loaded in OSF usi…☆16Apr 3, 2014Updated 12 years ago
- A Markdown pre-processor with support for BibTeX citations.☆12May 22, 2018Updated 8 years ago
- A deliberative software agent using Perl/Prolog/Emacs able to plan and execute language functions, programs and shell commands☆12May 17, 2019Updated 7 years ago
- Contributions to BinProlog. See https://code.google.com/p/binprolog/☆10Aug 16, 2013Updated 13 years ago