Prolog language support for Visual Studio Code
☆19May 14, 2021Updated 4 years ago
Alternatives and similar repositories for vscode-prolog
Users that are interested in vscode-prolog are comparing it to the libraries listed below
Sorting:
- A VS Code extension that provides language support for prolog☆103Oct 30, 2023Updated 2 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆12Aug 30, 2025Updated 6 months ago
- A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.☆20Apr 2, 2020Updated 5 years ago
- Optional types for Prolog☆11Aug 14, 2018Updated 7 years ago
- A Javascript implementation of Prolog☆16Mar 20, 2016Updated 9 years ago
- DocLog builds documentation from source code in Prolog☆33Jan 5, 2026Updated last month
- Prolog stuff☆27Sep 1, 2019Updated 6 years ago
- A charming general game player☆17Apr 20, 2010Updated 15 years ago
- Machine Learning project to identify Japanese characters (hiragana) from a data set.☆14Nov 24, 2018Updated 7 years ago
- MG top-down beam parsing☆13Jul 2, 2018Updated 7 years ago
- Thirdperson controller made in the .NET version of Godot 4.0 with C#☆14Mar 21, 2024Updated last year
- JITed Taint Tracking in V8☆15May 19, 2014Updated 11 years ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆14Jan 21, 2017Updated 9 years ago
- Our Kubernetes applications☆11Feb 25, 2026Updated last week
- Simple OBS whiteboard/telestrator plugin☆14Aug 1, 2025Updated 7 months ago
- This is a school project for a fashion store management, we use Java Swing, Hibernate ORM , SQL Server☆12Dec 13, 2021Updated 4 years ago
- MCP server & Claude Code skills for 100+ AI services (LLMs, image/video gen, TTS). One API key, OpenAI-compatible.☆41Updated this week
- Provides secured REST API for sending messages to Telegram. Uses MQTT under the hood.☆11Apr 5, 2025Updated 10 months ago
- Wireless Network Programming - The Linux Way☆10Jan 19, 2016Updated 10 years ago
- ☆15Nov 8, 2021Updated 4 years ago
- A simple token-based modular programming language written in C++.☆10Apr 28, 2022Updated 3 years ago
- NeWS clone (very work in progress).☆11Oct 25, 2016Updated 9 years ago
- using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell☆15Feb 21, 2020Updated 6 years ago
- UmPlot: A plotting library for Umka☆13Jun 8, 2024Updated last year
- Simplified logic programming language for Unity3D☆11Sep 6, 2020Updated 5 years ago
- N-Queens puzzle built with react and SWI Pengines.☆10Feb 24, 2025Updated last year
- A forensic auditing tool designed to detect the Shai-Hulud 2.0 (and related) npm supply chain attacks. It scans local caches, global inst…☆28Jan 21, 2026Updated last month
- MRU Hacktober Fest 2021 (This repo is to get familiar with GitHub and Hacktoberfest, don't assume to get your swag)☆11Oct 24, 2021Updated 4 years ago
- Java Compiler Kit (JKit)☆12May 20, 2017Updated 8 years ago
- 翻墙浏览☆12Jan 13, 2026Updated last month
- Speakup is a screen review package for the Linux operating system☆13Nov 18, 2022Updated 3 years ago
- Welcoming all Electronics enthusiasts and Learners to contribute and learn this HacktoberFest21.☆11Oct 23, 2021Updated 4 years ago
- Elixir command-line client for tldr pages☆15Sep 5, 2025Updated 5 months ago
- Implementation of dependent type theory in SWI-Prolog☆10Oct 6, 2020Updated 5 years ago
- It's one better☆11Jan 1, 2026Updated 2 months ago
- Automated Telegram chat statistics by treating them as IRC channels☆14Nov 13, 2016Updated 9 years ago
- I have made an art gallery to showcase my traditional drawings. Have taken reference from a certain youtube tutorial☆12Aug 20, 2022Updated 3 years ago
- ☆10Jun 18, 2021Updated 4 years ago
- 💊 Result Type for Dart represents either a success or a failure, including an associated value in each case.☆12Apr 30, 2024Updated last year