aarroyoc / scryer-playgroundView external linksLinks
Web playground to try Scryer Prolog in your browser!
☆16Nov 29, 2025Updated 2 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☆33Jan 5, 2026Updated last month
- Formalization of Homotopy Type Theory for use in my Youtube videos☆16May 28, 2024Updated last year
- Functional Geometry in Prolog☆18May 17, 2020Updated 5 years ago
- Template engine for ISO Prolog, based on Jinja and Tera☆19Feb 5, 2024Updated 2 years ago
- An experimental package manager for Scryer Prolog☆22Nov 25, 2025Updated 2 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
- A math animation engine based on geometric algebra☆34Updated this week
- My personal site.☆10Jan 20, 2026Updated 3 weeks ago
- 夜鹭页录(YeluYelu)，记录夜鹭奇妙拟态的图 鉴网站☆18Jun 3, 2025Updated 8 months ago
- SIGPLAN website☆13Jan 28, 2026Updated 2 weeks ago
- A book about functional programming in Lean☆45Feb 6, 2024Updated 2 years ago
- SPARQL micro-services: A lightweight approach to query Web APIs with SPARQL☆38Nov 4, 2024Updated last year
- A Markdown pre-processor with support for BibTeX citations.☆12May 22, 2018Updated 7 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
- Apple ][+ emulator written in Go.☆15May 21, 2018Updated 7 years ago
- A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell☆10Mar 8, 2016Updated 9 years ago
- If at first you don't succeed☆12Sep 25, 2020Updated 5 years ago
- Platform for running games of Dix opposing computer programs and/or humans☆11Mar 4, 2024Updated last year
- Tiny thing to listen on a WebSocket and forward OSC-over-UDP events to SuperDirt☆11Feb 22, 2024Updated last year
- Run Dyalog APL under Docker☆11Dec 18, 2025Updated last month
- Paradoxes in Set Theory and Type Theory☆12Jul 24, 2024Updated last year
- ☆12Oct 29, 2025Updated 3 months ago
- FEniCS Project Documentation. It is updated automatically by GitHub Actions jobs running on the `main` branch of each project.☆13Updated this week
- A JSON dataset of information about language museums around the world☆13Feb 26, 2020Updated 5 years ago
- A drum pattern composition tool using answer set programming.☆11Feb 25, 2019Updated 6 years ago
- Conway's Game of Life in Processing.js☆14Jul 16, 2016Updated 9 years ago
- Website - using Jekyll and Bootstrap☆12Dec 30, 2025Updated last month
- Ulrich Newmerkel's library for reified if, as a prolog pack☆11Aug 11, 2020Updated 5 years ago
- String OS from User Space!☆11Jun 5, 2023Updated 2 years ago
- Play around with algorithms☆13Feb 6, 2022Updated 4 years ago
- Portable Qt-based console for SWI-Prolog by Carlo Capelli☆11Sep 9, 2025Updated 5 months ago
- The dotfiles I infect my computers with☆12Jan 4, 2025Updated last year
- A list of books about mathematical subjects, using array languages like APL and J for their presentation.☆14Jan 19, 2026Updated 3 weeks ago
- Generator / Transpiler for Phaser 3 Typescript Definition files.☆10Mar 27, 2018Updated 7 years 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
- ☆13May 13, 2024Updated last year
- 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
- Haskell regular expression library that supports derivatives, equivalence, intersection, and complement.☆12Sep 4, 2022Updated 3 years ago
- Interactive help subsystem for the q/kdb+ session☆14Dec 21, 2019Updated 6 years ago