norswap / prolog-dryView external linksLinks
A terse Prolog course
☆43Feb 14, 2019Updated 6 years ago
Alternatives and similar repositories for prolog-dry
Users that are interested in prolog-dry are comparing it to the libraries listed below
Sorting:
- Template engine for ISO Prolog, based on Jinja and Tera☆19Feb 5, 2024Updated 2 years ago
- SWI-Prolog OpenAPI (Swagger) support☆10Sep 30, 2024Updated last year
- Sample SWI-Prolog server with JavaScript client☆13Nov 30, 2023Updated 2 years ago
- Our Ludum Dare entry☆20Feb 19, 2017Updated 8 years ago
- Higher Order Prolog with Extensional Semantics☆53Jul 24, 2020Updated 5 years ago
- A Maven plugin for protecting against backwards incompatible changes to your gRPC .proto files.☆13May 6, 2024Updated last year
- An ergonomic, mobile-first, Prolog playground!☆31Sep 13, 2022Updated 3 years ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆31Oct 18, 2017Updated 8 years ago
- exploratory programming for an object system in common lisp☆14Aug 14, 2015Updated 10 years ago
- Functional Geometry in Prolog☆18May 17, 2020Updated 5 years ago
- Linked data tooling for the Racket programming language (json-ld, eventually more)☆16Aug 21, 2018Updated 7 years ago
- Yes, Erlang in SWI-Prolog!☆12Jun 18, 2018Updated 7 years ago
- ClioPatria provides an RDF application platform☆57Nov 20, 2025Updated 2 months ago
- an advanced text adventure engine with a web interface, written in prolog☆25Nov 29, 2015Updated 10 years ago
- Markdown parser for SWI-Prolog.☆23Oct 22, 2020Updated 5 years ago
- Randomized testing for Prolog à la QuickCheck☆23Jul 30, 2019Updated 6 years ago
- Extended DCG syntax for Prolog by Peter Van Roy☆21Mar 22, 2018Updated 7 years ago
- A ES7-style async/await implementation in Golang☆18Aug 3, 2022Updated 3 years ago
- Plan 9 Acme Inspired Editor, done in Scala.☆28May 30, 2023Updated 2 years ago
- DocLog builds documentation from source code in Prolog☆33Jan 5, 2026Updated last month
- A Chrome Extension that detects Phishing Websites and alerts the user regarding the same.☆11Jun 23, 2019Updated 6 years ago
- Contributing to the policy discussion about gentrification and possible displacement☆35Aug 18, 2017Updated 8 years ago
- Logtalk - declarative object-oriented logic programming language☆474Updated this week
- Git + .Net/Mono = ❤☆11Mar 22, 2016Updated 9 years ago
- The repository for c9.ide.run.debug, a Cloud9 core plugin☆13Jun 21, 2018Updated 7 years ago
- Hindley–Milner Type inferencing in C☆48Aug 11, 2022Updated 3 years ago
- Interpreter for a simple Lisp. Written in Prolog.☆151Feb 22, 2023Updated 2 years ago
- Original Forth for 1BM 1130 written by Charles Moore in 1968.☆48Oct 16, 2021Updated 4 years ago
- A Fantasy Computer using Forth as its system language☆41Nov 2, 2019Updated 6 years ago
- bctx is a tool for packing and uploading docker build context.☆12Jul 6, 2025Updated 7 months ago
- Sliding Window Inference for Network Generation☆10Feb 14, 2018Updated 7 years ago
- Simple Akka HTTP project implemented to describe how to build Microservices with Consumer Driven Contracts testing approach☆11Feb 15, 2018Updated 7 years ago
- Postgres connectivity for modern C++☆10May 19, 2020Updated 5 years ago
- Documentation Assets☆12Jul 5, 2023Updated 2 years ago
- Calculate Federal and State US Income Taxes☆13Dec 29, 2025Updated last month
- X utilities in POSIX shell scripts.☆13Dec 20, 2021Updated 4 years ago
- A .NET wrapper for CloudConvert's API.☆19Dec 11, 2017Updated 8 years ago
- An interpreter for a small ML-ish language☆11Oct 6, 2017Updated 8 years ago
- A C#.NET library to write scalable and elastic workflows in AWS cloud.☆13Dec 8, 2022Updated 3 years ago