mndrix/tidylog mndrix/tidylog

  • This repository has been archived on 18/May/2018
  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    Prolog
  • License
    The Unlicense
  • Created over 10 years ago
  • Updated about 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mndrix/tidylog
github

mndrix

Reviews

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

Repository Details

Automatically format Prolog source code

More Repositories

1

golog

Prolog interpreter in Go
Go
374
star
2

ps

Persistent data structures for Go
Go
114
star
3

merge-this

Revision control stress tests
Perl
101
star
4

microkanren-prolog

Prolog implementation of microKanren
Prolog
41
star
5

tap-go

Test Anything Protocol for Go
Go
26
star
6

edcg

Extended DCG syntax for Prolog by Peter Van Roy
Prolog
21
star
7

func

Apply and compose functions in Prolog
Prolog
19
star
8

network-bitcoin

Haskell bindings for Bitcoin RPC
Haskell
18
star
9

regex

Regular expressions for Prolog
Prolog
17
star
10

atom-emacs-core-keys

Emacs key bindings for only core Atom functionality
14
star
11

spawn

Easy concurrency for Prolog
Prolog
13
star
12

net-couchdb

Perl interface for CouchDB
Perl
13
star
13

prolog_library_ideas

Random ideas about libraries for Prolog
12
star
14

list_util

Prolog list utility predicates
Prolog
11
star
15

jolog

Concurrent and distributed Prolog via join patterns (join calculus)
Prolog
11
star
16

mavis

Optional types for Prolog
Prolog
11
star
17

dcg_util

DCG utility predicates for Prolog
Prolog
10
star
18

binprolog

Contributions to BinProlog. See https://code.google.com/p/binprolog/
C
9
star
19

miser

Prolog library for building self-optimizing predicates
Prolog
9
star
20

delay

Coroutine versions of built-in Prolog predicates
Prolog
8
star
21

Finance-MtGox

MtGox API bindings for Perl
Perl
8
star
22

djson

Declarative JSON library for Prolog
Prolog
8
star
23

sweet

Sugar to make Prolog a little sweeter
Prolog
6
star
24

condition

Condition system (a la Common Lisp) for Prolog
Prolog
6
star
25

term_diff

Calculate patches between two Prolog terms
Prolog
6
star
26

bencode

Bencoding for Prolog
Prolog
5
star
27

docker-swipl

Docker image for SWI Prolog
Shell
5
star
28

interpolate

String interpolation for Prolog
Prolog
5
star
29

rand

Easy random numbers for Go
Go
5
star
30

function_expansion

Help for writing function-like macros
Prolog
4
star
31

web

Easy web client library for Prolog
Prolog
4
star
32

ddata

Declarative data structures for Prolog
Prolog
4
star
33

swi-prolog-on-dotcloud

SWI-Prolog on dotCloud as a custom service
Shell
4
star
34

gift

Command-line tool for creating SWI-Prolog packs
Prolog
4
star
35

atom_feed

Parse and query Atom Syndication Format in Prolog
Prolog
4
star
36

brass-plates

Tools for finding the contents of Lehi's Brass Plates
Mercury
3
star
37

struct

Compound terms with named arguments for Prolog
Prolog
3
star
38

term_util

Predicates for working with Prolog terms
Prolog
3
star
39

maybe

Prolog "maybe" type
Prolog
3
star
40

hush

tiny, command line password manager
Go
3
star
41

helloswipl-dotcloud

Hello World app for SWI-Prolog on dotCloud
Erlang
3
star
42

uri_qq

SWI-Prolog quasiquotation for URIs
Prolog
2
star
43

clk

a distributed time clock application for the command line
Prolog
2
star
44

notes800

Prolog interface to http://800notes.com/
Prolog
2
star
45

roman

Roman numerals in Prolog
Prolog
2
star
46

chan

Directional channels for Prolog
Prolog
2
star
47

needless-search

Search any file system in <100 ms
Prolog
2
star
48

Sub-Future

Perl concurrency with futures
Perl
2
star
49

getkey

Read a single key from the terminal
Go
2
star
50

CSS-Shake

Find unused CSS rules
Perl
2
star
51

Thread-Lite

lighter weight Perl threads
Perl
2
star
52

unified_diff

Parse and generate unified diffs from Prolog
Prolog
2
star
53

text-typingeffort

Calculate the effort required to type a text with various keyboard layouts
Perl
2
star
54

readability_parser

Access Readability's Parser API using Prolog
Prolog
2
star
55

btcutil

Utility functions for Bitcoin ECC
Go
2
star
56

lcs

Longest common subsequence for Prolog
Prolog
1
star
57

Business-PayPal-API

Perl
1
star
58

mailz

Command line tool for working with maildir messages
Go
1
star
59

atom-copy-on-select

Atom package to automatically copy selected text to the clipboard
CoffeeScript
1
star
60

is-online

Run a script when your phone loses Internet connectivity
Haskell
1
star
61

thousands

A Prolog macro to make numeric arguments more palatable
Prolog
1
star
62

tomorrow

Toying with todos
Prolog
1
star
63

WLPE-13

Contributions to Prolog quasiquoting paper. Forked from git://www.swi-prolog.org/home/janw/git/WLPE-13.git
1
star
64

proximity

Proximity detection program for use with Periscope
Perl
1
star
65

tp

Patch-centric git porcelain, inspired by darcs
Prolog
1
star
66

State-Machine

Simple State Machine Implementation
Perl 6
1
star
67

julian_lang_en

Parse English language phrases into library(julian) constraints
Prolog
1
star
68

format_spec

Parse and analyze Prolog format/2 specifications
Prolog
1
star
69

aeds

App Engine datastore utilities for Go
Go
1
star
70

mustache

Prolog implementation of mustache templates
Prolog
1
star
71

Text-Phonetic-VideoGame

phonetic encoding for video game titles
Perl
1
star
72

mod_webhook

Prosody module to notify a web server for incoming/outgoing chat messages
Lua
1
star
73

semantria

Prolog interface for Semantria API
Prolog
1
star
74

amazon_api

Prolog interface for Amazon APIs
Prolog
1
star