fnogatz/CHR-Constraint-Store fnogatz/CHR-Constraint-Store

  • Stars
    star
    1
  • Language
    Prolog
  • License
    MIT License
  • Created about 12 years ago
  • Updated almost 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
fnogatz/CHR-Constraint-Store
github

fnogatz

Reviews

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

Repository Details

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

More Repositories

1

clocker

Command-line tool to track project hours
JavaScript
420
star
2

xsd2json

Translate XML Schema into equivalent JSON Schema
Prolog
150
star
3

CHR.js

Compile and run Constraint Handling Rules (CHR) in JavaScript
JavaScript
103
star
4

magento2-matomo

Matomo Analytics Module for Magento 2
PHP
50
star
5

swivm

SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions
Shell
41
star
6

dgtchess

An event-driven JavaScript connector for electronic DGT chess boards
JavaScript
24
star
7

geospatial-demo

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

transportation

node.js module to display and manipulate public transport data
JavaScript
16
star
9

plammar

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

tap

Write TAP tests with SWI-Prolog
Prolog
12
star
11

dcg4pt

Extend Definite Clause Grammars for Prolog by the corresponding parse tree
Prolog
10
star
12

feedback-to-gitlab

Server to generate GitLab issues for user feedback
JavaScript
9
star
13

timetraveller

Webservice to explore spatio-temporal data in an interactive way.
JavaScript
7
star
14

date_time

Logical arithmetic on dates and times in Prolog
Prolog
7
star
15

talks

A little collection of talks I gave
JavaScript
7
star
16

CHR.js-website

The code that runs http://chrjs.net
JavaScript
7
star
17

race

Prolog client for the SOAP interface of the Attempto Reasoner RACE
Prolog
6
star
18

cli_table

Pretty unicode tables for the CLI with Prolog
Prolog
5
star
19

dcg-visualiser

JavaScript
5
star
20

CHR-Constraint-Server

A Persistent CHR Webserver
Prolog
5
star
21

CHR-Minesweeper

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

CHR-Linear-Equation-Solver

Linear Equation Solving using Constraint Handling Rules
Prolog
4
star
23

CTX

Chess Tournament Exchange Format
Shell
4
star
24

RKI-Data-Diff-lfs

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

Thesis-Makefile

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

CHR-Benchmarks

Compare the execution runtimes of different implementations of Constraint Handling Rules (CHR)
C
3
star
27

babel-plugin-chr

Babel plugin that precompiles CHR.js source code
JavaScript
3
star
28

tablediff

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

alexa.pl

Alexa skill development with SWI-Prolog
Prolog
2
star
30

chess.json

JSON Schema for saving Chess Tournaments
JavaScript
2
star
31

xsd

Prolog
2
star
32

zeitpunkt

Tools to work with GeoJSON LineStrings with given time components
JavaScript
1
star
33

fnogatz.github.io

Personal Website of Falco Nogatz
JavaScript
1
star
34

cli-cal

[DEPRECATED] Github-like calendar graph for the command line
JavaScript
1
star
35

tconsole

Render objects in the console
JavaScript
1
star
36

swtparser.js

Parse SWT Swiss-Chess Tournament files with JavaScript
JavaScript
1
star
37

SWT-structure-files

Structure files for SWT Swiss Chess Tournament files
1
star
38

quickchess

OCR for chess game notations
TypeScript
1
star
39

uniwue-lernplaetze-scraper

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