DotNet implementation of tlogica

Documentation for Logica, a logic programming language that compiles to DuckDB, Google BigQuery, PostgreSQL and SQLite.

An interactive web app for exploring abstract argumentation framework semantics.

A list of languages that compile to SQL

⚛️ A module for solving and visualizing the Schrödinger equation.

This project uses logica to interact with ontologies.

RR - Railroad Diagram Generator

Datasets used in Plotly examples and documentation

A font for the Unicode block Symbols for Legacy Computing

Humble AI Telegram Bot

Browser-based user interface for Kuzu graph database

A configuration as code language with rich validation and tooling.

MLX: An array framework for Apple silicon

Examples in the MLX framework

OpenChat: Advancing Open-source Language Models with Imperfect Data

Current version of the HYG Stellar database

Logica is a logic programming language that compiles to StandardSQL and runs on Google BigQuery.

Pyodide is a Python distribution for the browser and Node.js based on WebAssembly

An open source platform for Python in the browser. https://pyscript.net Docs: https://docs.pyscript.net/ Try it: https://pyscript.com/ Community: https://discord.gg/HxvBtukrg2

Interoperable Private Attribution (IPA) - A Private Measurement Proposal

Anki Vector Python SDK

Pytorch implementation of preconditioned stochastic gradient descent (Kron and affine preconditioner, low-rank approximation preconditioner and more)

💫 Display dynamic, automatically organised, customizable network views.

A modular implementation of timely dataflow in Rust

An implementation of differential dataflow using timely dataflow on Rust.

Explainer for proposed web platform API

Welcome to my GitHub repository. I hope you enjoy solving these puzzles as much as I have enjoyed creating them.

Examples of Virtual People modeling technique.