Top New Best Ask Show Jobs

triska

4,161 karma · joined March 11, 2018

Homepage:

https://www.metalevel.at

You are welcome, and you are welcome!

submissions comments

A ZIP-style Prolog VM for trilog

github.com·2 pts·triska·

Model and reason on processes through (Scryer) Prolog, directly in the browser

github.com·1 pts·triska·

Clausal Prolog: A Neurosymbolic Prolog Built on Python

github.com·2 pts·triska·

Prolog knowledge base over HTTP/JSON API, with an OpenAPI description

github.com·4 pts·triska·

Country Logic

github.com·1 pts·triska·

Regular Expression Engine for Scryer Prolog and ISO Prolog Systems

github.com·3 pts·triska·

Sula: A Gemini protocol server written in Scryer Prolog

sagredo.dev·60 pts·triska·

Kb – Prolog Knowledge Base

github.com·109 pts·triska·

Conway's Game of Life in Prolog

manzikert.ca·2 pts·triska·

A local-first multimodal knowledge platform for managing entities

github.com·2 pts·triska·

From Taxman to VATmiraal: Fifty Years of Teaching Machines the Law

vatmiraal.be·1 pts·triska·

Prolog Implementation of the IRS Fact Graph

github.com·5 pts·triska·

Tax Logic Evaluation with Prolog

github.com·2 pts·triska·

A simple online forum written in Prolog

github.com·2 pts·triska·

Forth VM and compiler written in C++ and Scryer Prolog

github.com·37 pts·triska·

A high-performance bridge between Scryer Prolog and Python

github.com·2 pts·triska·

Simple Maturin Based Python Bindings to Scryer Prolog

github.com·1 pts·triska·

A lightweight, embeddable Prolog interpreter written in C11

github.com·4 pts·triska·

Blue Prince Clock Tower (CLP(Z), Scryer)

web.liminal.cafe·3 pts·triska·

Pokemon Draft Tools in Prolog

github.com·4 pts·triska·

Flowlog: An ISO-style Prolog system with faster search on multicore CPUs

web.liminal.cafe·3 pts·triska·

A simple graph database implementation running on Scryer Prolog

github.com·2 pts·triska·

Dogalog: A realtime Prolog-based livecoding music environment

github.com·82 pts·triska·

Towards an Implementation-Independent Interface for Semantic Web in Prolog [pdf]

github.com·2 pts·triska·

Transforming legal texts into computational logic

sciencedirect.com·3 pts·triska·

Scryer Prolog library for Datomic: https://github.com/jjtolton/scrytomic

2 pts·triska·

Python Integration for Scryer Prolog Using FFI (Research Project)

github.com·2 pts·triska·

Stack based Prolog. Cool thing you can do with DCGs

old.reddit.com·14 pts·triska·

Hatch Act Guidance on Social Media [pdf]

osc.gov·4 pts·triska·

Global key-value metadata storage for Scryer Prolog

github.com·13 pts·triska·

Page 1 of 6Next →