A high-performance bridge between Scryer Prolog and Python.
☆16Apr 12, 2026Updated 3 months ago
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:
- A multimodal knowledge platform for managing entities, relationships, and spatial data through a unified graph interface, Prolog rules en…☆15May 22, 2026Updated last month
- A Djot implementation in Prolog☆34Dec 30, 2025Updated 6 months 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 a Prolog-compiled s-expression language featuring static types, effect inference (det/semidet/nondet), and a Forth …☆20May 30, 2026Updated last month
- DocLog builds documentation from source code in Prolog☆35May 9, 2026Updated 2 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 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
- Date and time library for Prolog☆27Apr 6, 2026Updated 3 months ago
- Portable Qt-based console for SWI-Prolog by Carlo Capelli☆11Sep 9, 2025Updated 10 months ago
- Call Julia code from Prolog☆27Nov 11, 2022Updated 3 years ago
- ☆25Nov 24, 2025Updated 7 months ago
- If at first you don't succeed☆12Sep 25, 2020Updated 5 years ago
- Pawns functional/imperative programming language compiler etc☆11Apr 16, 2025Updated last year
- An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.☆18Jan 31, 2021Updated 5 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.
- 剑桥雅思☆19Jan 24, 2022Updated 4 years ago
- CSOM - C implementation of the Simple Object Machine Smalltalk☆11Jun 6, 2026Updated last month
- Unums 2.0 for Julia☆14Feb 1, 2017Updated 9 years ago
- Web playground to try Scryer Prolog in your browser!☆16Nov 29, 2025Updated 7 months ago
- ☆15Apr 1, 2019Updated 7 years ago
- Pengines: Prolog engines☆13Updated this week
- Prolog and Java version of Facebook's React concept☆15Mar 23, 2021Updated 5 years ago
- Port of Shen Language for Clojure☆11Oct 12, 2022Updated 3 years ago
- Multi-platform, self-contained and object-oriented implementation of the Simplex Algorithm in C++☆14Mar 11, 2021Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Prolog Reverse Proxy☆20Feb 24, 2018Updated 8 years ago
- Paredit version 1 for LispWorks☆12Jun 6, 2021Updated 5 years ago
- custom type systems for python in prolog: http://alehander42.me/prolog_type_systems☆24Jun 10, 2016Updated 10 years ago
- Bignum bindings for rust backed by GMP☆15Oct 13, 2017Updated 8 years ago
- Bigloo Scheme Compiler☆11Dec 28, 2015Updated 10 years ago
- implementation of cdr-8☆17Jan 17, 2018Updated 8 years ago
- Leaflet JS maps expressed in HTML suitable for HTMX and hypermedia driven applications☆19May 22, 2026Updated last month
- C. Hocquette and A. Cropper, Learning programs with magic values.☆18Oct 5, 2022Updated 3 years ago
- ☆15May 28, 2016Updated 10 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- My undergradate thesis on coinductive types in univalent type theory☆17May 10, 2018Updated 8 years ago
- The Ontology for Modeling and Representation of Social Entities☆21Jul 11, 2026Updated last week
- Polynomial-time Meta-Interpretive Learning☆135Feb 11, 2025Updated last year
- Agent-based Market model for the Investigation of Renewable and Integrated energy Systems (Official GitLab Mirror)☆19Jul 13, 2026Updated last week
- Symbolic computer vision tool☆20Jan 8, 2019Updated 7 years ago
- Markdown parser for SWI-Prolog.☆23Oct 22, 2020Updated 5 years ago
- Java <-> XSB Prolog bridge library☆12Oct 13, 2020Updated 5 years ago