• Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language
    Prolog
  • License
    MIT License
  • Created about 9 years ago
  • Updated over 4 years ago

Reviews

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

Repository Details

Runtime determinacy checker for SWI-Prolog

More Repositories

1

sql-sync

Offline replication between SQLite (clients) and MySQL (master).
JavaScript
58
star
2

simple-template

Text templating processor for SWI-Prolog.
Prolog
31
star
3

fast-feed

Very fast RapidXML-based Node.JS module for parsing newsfeeds (RSS 2 and Atom).
C++
25
star
4

prolog-markdown

Markdown parser for SWI-Prolog.
Prolog
20
star
5

prolog-target-js

Simple Prolog to JS transpiler
JavaScript
20
star
6

alternative-router

An alternative HTTP router/dispatcher for SWI-Prolog.
Prolog
11
star
7

node-swipl-stdio

A Node.js interface to the SWI-Prolog communicating over stdio.
JavaScript
10
star
8

docstore

Document-oriented in-memory database for Prolog.
Prolog
9
star
9

dict-schema

Dict validation/conversion for SWI-Prolog.
Prolog
8
star
10

prolog-vdom

Virtual DOM implementation for SWI-Prolog
Prolog
7
star
11

while

Some dataflow analysis in Java
Java
6
star
12

sitecheck

Simple Bash script to check whether multiple sites are online
Shell
6
star
13

prolog-yamltiny

A YAML subset parser for Prolog
Prolog
5
star
14

cooling

System cooling controller with AVR MCU
C
5
star
15

estimator

Simple project schedule estimator
JavaScript
4
star
16

old-code

My historical code archive
Java
4
star
17

swi-pack-tests

Temporary repository for SWI-Prolog pack tests
Prolog
4
star
18

llj

LLJ - Logic Language for JVM
Java
3
star
19

phantomjs-dirty

Dirty-compatible key-value database for PhantomJS
JavaScript
3
star
20

pkg-express-benchmark

A benchmark to test the performance of a pkg-packaged Express.js application.
JavaScript
3
star
21

feeds

Personal web-based replacement for Google Reader and other feed readers.
TypeScript
3
star
22

kate-ejs

Embedded JavaScript (EJS) template support for the Kate's HTML highlighter.
2
star
23

placcounting

Simple double-entry financial journal
Prolog
2
star
24

cworklog-android

Android app to access CWorkLog through the online API
JavaScript
2
star
25

dom-eee

Extraction Expression Evaluator for DOM
JavaScript
2
star
26

sort-dict

Sorts list of dicts by key in the given direction.
Prolog
2
star
27

concatter

Single-file app js concat utility
JavaScript
2
star
28

dataline

Quick and dirty script to draw line graphs.
JavaScript
2
star
29

log-ci

Simple CI script that writes build/test results into a log file.
Shell
2
star
30

router

Simplest hashchange regex router.
JavaScript
2
star
31

redmine_infdot_upload

A Redmine plugin to automate release file management.
Ruby
2
star
32

kontainer

ViewModel lifecycle manager KnockoutJS applications
JavaScript
1
star
33

media

Wicket-based mplayer frontend
Java
1
star
34

puf-vam-impl

Automatically exported from code.google.com/p/puf-vam-impl
Java
1
star
35

knockoutjs-load

KnockoutJS example code to show spinner while loading page
HTML
1
star
36

backupper

Personal backup scripts.
JavaScript
1
star
37

bcup

Half-finished online pool game (applet).
Java
1
star
38

linode-dns-ip-update

A script to update an A record on Linode DNS with the current machine IP.
JavaScript
1
star
39

projects

A wizard to start a new software project.
JavaScript
1
star
40

old-blog

My old blog engine (Wicket, OpenJPA)
Java
1
star
41

simple-template-visual-code

Syntax support for SWI-Prolog HTML templating language Simple Template
1
star
42

gallery-gen

Static image gallery generator.
JavaScript
1
star
43

xhr-json

Simple client-side JSON REST helper.
JavaScript
1
star
44

pack-tests

Docker-based test environment for a set of SWI-Prolog packs.
Makefile
1
star
45

infdot-doc

A personal project to evaluate PDFKit by turning a subset of Markdown into PDF.
JavaScript
1
star
46

frontend-js-build

Makefile-based build workflow for front-end JavaScript
JavaScript
1
star