ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.

An inductive, Second-Order Prolog meta-interpreter

Framework and Language for Neurosymbolic Programming.

Natural language OLAP engine and analytics system.

This is repo of paper 'Prolog-Driven Rule-Based Diagnostics with Large Language Models for Precise Clinical Decision Support'

A gentle color scheme, for code

Emacs Theme: Tomorrow-Night-Deepblue

Python library for confidence sequences, sequential testing, e-processes, e-values, and game-theoretic probability.

Confidence sequences and uniform boundaries

Liquid Audio - Speech-to-Speech audio models by Liquid AI

Dual accelerometer driver and tablet-mode detection service for Chuwi MiniBook X

A hack to lock the chuwi minibook x keyboard for tablet mode.

Automation to deploy SUSE AI

Kernel patch enables compiler optimizations for additional CPUs.

Python package to load and query ARCHS4 data

Iterative development framework combining Domain-Driven Design with Agile philosophy

Graphite — A private, modular node based AI workspace for thinking and creation. Seamlessly connect to Ollama, OpenAI, Gemini, Anthropic, and Groq models in one unified, node-based interface for re…

Almost full list of all desktop web browsers

A multi-platform desktop application to evaluate and compare LLM models, written in Rust and React.

An Obsidian plugin that turns web apps into panes using iframes with custom styling. Also comes with presets for Google Keep, Todoist and more.

Obsidian Plugin to write docs with ClaudeCode

A scientific instrument for investigating latent spaces

Calendar management extension for Newelle 1.0+

Newelle - Your Ultimate Virtual Assistant

Example of a simple assistant backed by Prolog (via PySwip)

Github repo for the paper Reliable Reasoning Beyond Natural Language