A high-performance bridge between Scryer Prolog and Python.
☆22Oct 17, 2026Updated last week
Alternatives and similar repositories for ScryNeuro
Users that are interested in ScryNeuro are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Call Julia code from Prolog☆27Nov 11, 2022Updated 3 years ago
- A Djot implementation in Prolog☆33Dec 30, 2025Updated 10 months ago
- Metagol - an inductive logic programming system☆212Sep 13, 2021Updated 5 years ago
- Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…☆30Feb 1, 2022Updated 4 years ago
- A stack-based VM with sets — a Prolog-compiled, s-expression-flavored language with static types, effect inference and basic optimization…☆21Updated this week
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- DocLog builds documentation from source code in Prolog☆34Oct 22, 2026Updated last week
- Code and Data for DeepLog system☆17Feb 16, 2023Updated 3 years ago
- ProTIP permet de caractériser la connectivité réelle entre composants d'une architecture PCI Express☆11Nov 9, 2023Updated 2 years ago
- Pawns functional/imperative programming language compiler etc☆11Apr 16, 2025Updated last year
- Portable Qt-based console for SWI-Prolog by Carlo Capelli☆11Sep 9, 2025Updated last year
- Date and time library for Prolog☆27Apr 6, 2026Updated 6 months ago
- If at first you don't succeed☆12Sep 25, 2020Updated 6 years ago
- running a GUI based on pqConsole - show solving N-Queens by means of CLP(FD)☆11Feb 19, 2016Updated 10 years ago
- Self Supervised Learning for Time Series Using Similarity Distillation☆11Jun 29, 2022Updated 4 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Erlang Pengine, Erlang client to prolog pengine server.☆11Jun 15, 2021Updated 5 years ago
- An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.☆18Jan 31, 2021Updated 5 years ago
- Unums 2.0 for Julia☆14Feb 1, 2017Updated 9 years ago
- CSOM - C implementation of the Simple Object Machine Smalltalk☆12Jun 6, 2026Updated 4 months ago
- An inductive logic programming system☆328Oct 22, 2026Updated last week
- Prolog and Java version of Facebook's React concept☆15Mar 23, 2021Updated 5 years ago
- Web playground to try Scryer Prolog in your browser!☆16Nov 29, 2025Updated 11 months ago
- ☆13Feb 13, 2026Updated 8 months ago
- ☆16Apr 1, 2019Updated 7 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Pengines: Prolog engines☆13Oct 21, 2026Updated last week
- ☆15May 28, 2016Updated 10 years ago
- Multi-platform, self-contained and object-oriented implementation of the Simplex Algorithm in C++☆14Mar 11, 2021Updated 5 years ago
- custom type systems for python in prolog: http://alehander42.me/prolog_type_systems☆24Jun 10, 2016Updated 10 years ago
- Template engine for ISO Prolog, based on Jinja and Tera☆21Feb 5, 2024Updated 2 years ago
- Prolog Reverse Proxy☆20Feb 24, 2018Updated 8 years ago
- ☆10Updated this week
- C. Hocquette and A. Cropper, Learning programs with magic values.☆18Oct 5, 2022Updated 4 years ago
- Instance of CIM Knowledge Graph☆17Jun 30, 2026Updated 4 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Java <-> XSB Prolog bridge library☆12Oct 13, 2020Updated 6 years ago
- Bignum bindings for rust backed by GMP☆15Oct 13, 2017Updated 9 years ago
- Markdown parser for SWI-Prolog.☆23Oct 22, 2020Updated 6 years ago
- An abstract machine using indexed containers and their zippers☆14Dec 29, 2016Updated 9 years ago
- ☆13May 25, 2021Updated 5 years ago
- Polynomial-time Meta-Interpretive Learning☆137Feb 11, 2025Updated last year
- Shen implementation in Haskell☆16Aug 19, 2013Updated 13 years ago