mndrix/mavis mndrix/mavis

  • This repository has been archived on 15/Aug/2018
  • Stars
    star
    11
  • Rank 1,661,300 (Top 34 %)
  • Language
    Prolog
  • License
    The Unlicense
  • Created over 11 years ago
  • Updated almost 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mndrix/mavis
github

mndrix

Reviews

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

Repository Details

Optional types for Prolog

More Repositories

1

golog

Prolog interpreter in Go
Go
373
star
2

ps

Persistent data structures for Go
Go
114
star
3

merge-this

Revision control stress tests
Perl
100
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
20
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
16
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

dcg_util

DCG utility predicates for Prolog
Prolog
10
star
17

binprolog

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

miser

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

delay

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

djson

Declarative JSON library for Prolog
Prolog
8
star
21

Finance-MtGox

MtGox API bindings for Perl
Perl
8
star
22

sweet

Sugar to make Prolog a little sweeter
Prolog
6
star
23

condition

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

term_diff

Calculate patches between two Prolog terms
Prolog
6
star
25

bencode

Bencoding for Prolog
Prolog
5
star
26

docker-swipl

Docker image for SWI Prolog
Shell
5
star
27

interpolate

String interpolation for Prolog
Prolog
5
star
28

rand

Easy random numbers for Go
Go
5
star
29

function_expansion

Help for writing function-like macros
Prolog
4
star
30

web

Easy web client library for Prolog
Prolog
4
star
31

tidylog

Automatically format Prolog source code
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