Shin-Barliman Alternatives
Similar projects and alternatives to Shin-Barliman
-
mediKanren
Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
-
dissertation-single-spaced
Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'
Shin-Barliman reviews and mentions
-
William Byrd on Logic and Relational Programming, MiniKanren (2014)
https://dl.acm.org/doi/10.1145/3358502.3361269
As far as Barliman, we took a step back from imrpoving the interface, and started doing experiments with a bunch of colleagues on various ways to improve synthesis speed and expressiveness.
Until COVID-19 got in the way, Kanae Tsushima and I were beginning to put some of the pieces back together in an improved Barliman, named `新-Barliman` (`Shin-Barliman`, `shin` meaning "new" in Japanese):
https://github.com/k-tsushima/Shin-Barliman
I'm hoping we will make some real progress again soon!
Stats
k-tsushima/Shin-Barliman is an open source project licensed under MIT License which is an OSI approved license.
The primary programming language of Shin-Barliman is Scheme.
Popular Comparisons
Sponsored