miniKanren in Pharo
☆12Jun 10, 2024Updated 2 years ago
Alternatives and similar repositories for SmallKanren
Users that are interested in SmallKanren 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 warm dark theme for Pharo Smalltalk☆14Feb 6, 2024Updated 2 years ago
- ☆10Oct 6, 2026Updated last month
- Yet another JSON-RPC 2.0 implementation for Pharo Smalltalk☆13Jan 17, 2026Updated 9 months ago
- Theorems that rule this multiverse☆11Oct 6, 2018Updated 8 years ago
- Lightweight approach to embed new languages into a host language☆12Mar 10, 2017Updated 9 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- LiveWeb: web app framework for Smalltalk☆13Feb 1, 2024Updated 2 years ago
- Elasticsearch for Pharo Smalltalk☆10Aug 3, 2021Updated 5 years ago
- Probabilistic data structures in Pharo Smalltalk.☆30May 14, 2019Updated 7 years ago
- A toolkit to generate Python 3 source code from Pharo.☆26Feb 15, 2024Updated 2 years ago
- Visualisation of memory for Pharo images at the Virtual Machine level☆14Sep 26, 2023Updated 3 years ago
- Rescuing the SOUL great logic meta programming language☆12Oct 7, 2018Updated 8 years ago
- Composable Algorithm Transformations☆15Jun 7, 2017Updated 9 years ago
- Implementation of JSON schema for pharo☆17Oct 28, 2026Updated last week
- A mathematical foundation for Smalltalk-25☆21Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Access resources and information from the git repository containing your project.☆18Mar 28, 2025Updated last year
- ☆15Feb 28, 2018Updated 8 years ago
- A visual tool for assessing Git commits and GitHub Pull Requests☆11Dec 12, 2018Updated 7 years ago
- An experimental typed version of the Rosette language☆13Aug 6, 2018Updated 8 years ago
- Pharo MQTT Client☆13Jun 30, 2021Updated 5 years ago
- Pharo utility for visualizing OO instance structure during runtime via UML instance models.☆13Nov 3, 2017Updated 9 years ago
- A DSL enabling programmatic cascading style sheet generation for Pharo Smalltalk☆18Jan 14, 2026Updated 9 months ago
- Smalltalk Compiler Compiler : a parser generator☆35Feb 12, 2024Updated 2 years ago
- Pakbot package manager☆16Jun 5, 2026Updated 5 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- rust binding for lean4☆12Jul 1, 2023Updated 3 years ago
- Expressing and manipulating symbolic algebraic expressions in Racket.☆10Mar 31, 2018Updated 8 years ago
- I am ZTimestamp, a Magnitude, a point in time, an alternative to DateAndTime and TimeStamp☆12Updated this week
- Lightweight framework for composing web service clients in Pharo Smalltalk☆22Jun 11, 2024Updated 2 years ago
- A complement to Pharo & GS64 adding useful extensions☆24Oct 20, 2026Updated 2 weeks ago
- ☆12Oct 2, 2017Updated 9 years ago
- A Shape Grammar Editor Written In Pharo☆11Feb 19, 2018Updated 8 years ago
- A Language Server Protocol implementation in Pharo☆38Updated this week
- A DSL enabling programmatic cascading style sheet generation for Pharo Smalltalk☆19Apr 27, 2018Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Agile Visualization Engine for Pharo and VisualWorks☆28Apr 19, 2023Updated 3 years ago
- Beacon is a small event and logging framework for pharo☆16Jul 26, 2026Updated 3 months ago
- Summaries of intro and advanced miniKanren hangout series☆29Dec 18, 2017Updated 8 years ago
- A minimal Redis client for Pharo☆14Jun 4, 2020Updated 6 years ago
- A Simple Lisp Interpreter☆10Feb 21, 2022Updated 4 years ago
- Write Benchmarks like Tests☆13Sep 8, 2021Updated 5 years ago
- An implementation of lambda calculus.☆26Mar 18, 2026Updated 7 months ago