fnogatz/CHR-Linear-Equation-Solver

Stars
4
Rank 3,304,323 (Top 66 %)
Language
Prolog
License
MIT License
Created almost 13 years ago
Updated over 3 years ago

fnogatz/CHR-Linear-Equation-Solver

fnogatz

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Linear Equation Solving using Constraint Handling Rules

clocker

Command-line tool to track project hours

xsd2json

Translate XML Schema into equivalent JSON Schema

CHR.js

Compile and run Constraint Handling Rules (CHR) in JavaScript

magento2-matomo

Matomo Analytics Module for Magento 2

swivm

SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions

dgtchess

An event-driven JavaScript connector for electronic DGT chess boards

geospatial-demo

Example location-based app to demonstrate the power of MongoDB, node.js and Websockets

transportation

node.js module to display and manipulate public transport data

plammar

A Prolog grammar written in Prolog, for parsing and serialising Prolog code.

tap

Write TAP tests with SWI-Prolog

dcg4pt

Extend Definite Clause Grammars for Prolog by the corresponding parse tree

feedback-to-gitlab

Server to generate GitLab issues for user feedback

timetraveller

Webservice to explore spatio-temporal data in an interactive way.

date_time

Logical arithmetic on dates and times in Prolog

talks

A little collection of talks I gave

CHR.js-website

The code that runs http://chrjs.net

race

Prolog client for the SOAP interface of the Attempto Reasoner RACE

cli_table

Pretty unicode tables for the CLI with Prolog

dcg-visualiser

CHR-Constraint-Server

A Persistent CHR Webserver

CHR-Minesweeper

Simple Minesweeper application with Prolog and Constraint Handling Rules (CHR)

CTX

Chess Tournament Exchange Format

RKI-Data-Diff-lfs

Shell scripts to get a minimal set of SQL commands for persistent yet efficient storage of RKI data for COVID19

Thesis-Makefile

Curated Makefile with best practices, conventions, and tips for writing LaTeX theses.

CHR-Benchmarks

Compare the execution runtimes of different implementations of Constraint Handling Rules (CHR)

babel-plugin-chr

Babel plugin that precompiles CHR.js source code

tablediff

Shell scripts to get a minimal set of SQL commands for table synchronisation.

alexa.pl

Alexa skill development with SWI-Prolog

chess.json

JSON Schema for saving Chess Tournaments

xsd

CHR-Constraint-Store

Incremental constraint store for Prolog's Constraint Handling Rules (CHR) module.

zeitpunkt

Tools to work with GeoJSON LineStrings with given time components

fnogatz.github.io

Personal Website of Falco Nogatz

cli-cal

[DEPRECATED] Github-like calendar graph for the command line

tconsole

Render objects in the console

swtparser.js

Parse SWT Swiss-Chess Tournament files with JavaScript

SWT-structure-files

Structure files for SWT Swiss Chess Tournament files

quickchess

OCR for chess game notations

uniwue-lernplaetze-scraper

Save the occupancy rates of working spaces in the libraries of the University of Würzburg, Germany.