Web playground to try Scryer Prolog in your browser!
☆16Nov 29, 2025Updated 3 months ago
Alternatives and similar repositories for scryer-playground
Users that are interested in scryer-playground are comparing it to the libraries listed below
Sorting:
- DocLog builds documentation from source code in Prolog☆34Jan 5, 2026Updated 2 months ago
- Prolog stuff☆27Sep 1, 2019Updated 6 years ago
- Our Ludum Dare entry☆20Feb 19, 2017Updated 9 years ago
- Formalization of Homotopy Type Theory for use in my Youtube videos☆17May 28, 2024Updated last year
- Template engine for ISO Prolog, based on Jinja and Tera☆19Feb 5, 2024Updated 2 years ago
- Functional Geometry in Prolog☆18May 17, 2020Updated 5 years ago
- An experimental package manager for Scryer Prolog☆22Nov 25, 2025Updated 3 months ago
- Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…☆29Feb 1, 2022Updated 4 years ago
- Date and time library for Prolog☆27Mar 8, 2021Updated 5 years ago
- Face recognition with low light with Pi zeroW☆10Feb 7, 2021Updated 5 years ago
- SIGPLAN website☆13Updated this week
- My solutions to exercises in "Logical Foundations" (2018-2019)☆11Apr 11, 2019Updated 6 years ago
- 夜鹭页录(YeluYelu)，记录夜鹭奇妙拟态的图鉴网站☆18Jun 3, 2025Updated 9 months ago
- 🐥 Gallery Viewer for Anime Girls Holding Programming Books☆12Updated this week
- ProTIP permet de caractériser la connectivité réelle entre composants d'une architecture PCI Express☆11Nov 9, 2023Updated 2 years ago
- The dotfiles I infect my computers with☆12Jan 4, 2025Updated last year
- A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell☆10Mar 8, 2016Updated 10 years ago
- A set of tools and libraries for automatically generating and initiating sandboxes for Rust programs☆15Oct 24, 2022Updated 3 years ago
- If at first you don't succeed☆12Sep 25, 2020Updated 5 years ago
- A drum pattern composition tool using answer set programming.☆11Feb 25, 2019Updated 7 years ago
- Pi-Control 🥷 is an App for controlling your raspberry pi. It was designed to help with information gathering, as well as to simplify con…☆11Jun 23, 2023Updated 2 years ago
- ☆12Oct 29, 2025Updated 4 months ago
- String OS from User Space!☆11Jun 5, 2023Updated 2 years ago
- Learn nix by example☆11Aug 11, 2022Updated 3 years ago
- A Markdown pre-processor with support for BibTeX citations.☆12May 22, 2018Updated 7 years ago
- Run Dyalog APL under Docker☆11Dec 18, 2025Updated 2 months ago
- Play around with algorithms☆13Feb 6, 2022Updated 4 years ago
- Website - using Jekyll and Bootstrap☆12Feb 20, 2026Updated 2 weeks ago
- [WordPress] An example plugin for how to include a metabox for attaching files to your WordPress posts outside of the media uploader.☆14Apr 29, 2013Updated 12 years ago
- concurrent map implementation using bucket list like a skip list.☆10May 29, 2022Updated 3 years ago
- LLMs in Futhark☆12Sep 1, 2025Updated 6 months ago
- A JSON dataset of information about language museums around the world☆13Feb 26, 2020Updated 6 years ago
- Ulrich Newmerkel's library for reified if, as a prolog pack☆11Aug 11, 2020Updated 5 years ago
- Portable Qt-based console for SWI-Prolog by Carlo Capelli☆11Sep 9, 2025Updated 6 months ago
- FEniCS Project Documentation. It is updated automatically by GitHub Actions jobs running on the `main` branch of each project.☆13Updated this week
- Generator / Transpiler for Phaser 3 Typescript Definition files.☆10Mar 27, 2018Updated 7 years ago
- Haskell regular expression library that supports derivatives, equivalence, intersection, and complement.☆12Sep 4, 2022Updated 3 years ago
- This repository is a workplace for COST Action Hackathon event on Federated Query over Knowledge Graphs which will happen on 25-27 April …☆11Jun 14, 2023Updated 2 years ago
- Book and code and pointers to videos for my relational interpreter course☆12Jan 24, 2025Updated last year