texttheater/puzzling texttheater/puzzling

  • Stars
    star
    1
  • Language
    Prolog
  • License
    MIT License
  • Created almost 10 years ago
  • Updated over 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
texttheater/puzzling
github

texttheater

Reviews

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

Repository Details

Various logic puzzle solvers implemented using (constraint) logic programming

More Repositories

1

golang-levenshtein

An implementation of the Levenshtein algorithm in Go. Provides edit distances and edit scripts.
Go
137
star
2

xminid

Minimal xmonad configuration with panels for Ubuntu
Haskell
20
star
3

produce

Replacement for Make geared towards processing data rather than compiling code
Python
17
star
4

viasock

Speeds up your pipelines by automagically serverizing programs.
Python
8
star
5

xlci

Cross-lingual CCG Induction
Prolog
6
star
6

ccgweb

A Web platform for parsing and annotation
Hack
6
star
7

geopar

A simple semantic parser for the GeoQuery domain, for teaching purposes
Python
6
star
8

supertagging

Scripts to produce POS-tagged and supertagged training and testing data for CCG parsing experiments as described in Zhang and Clark (2011).
Python
3
star
9

maze

A challenging browser game – navigate the multi-storey maze
CoffeeScript
3
star
10

bach

An experimental concatenative programming language
Go
3
star
11

mercury-playground

Teaching myself Mercury (http://mercurylang.org/)
M
2
star
12

wordrobe-app-android

An, as of yet, very basic app wrapper around Wordrobe, a Web-based Game with a Purpose.
Java
2
star
13

wordrobe-app-ios

An, as of yet, very basic app wrapper around Wordrobe, a Web-based Game with a Purpose.
Objective-C
1
star
14

QBASIC

Very old BASIC programs (mostly text-based animations) and code to turn them into animated GIFs.
Python
1
star
15

pmb2tsv

Convert CCG derivations from the Parallel Meaning Bank to column-based files
Prolog
1
star
16

iobify

From the raw version and a normalized version of a text, creates a raw version where sentence and token boundaries are explicitly marked.
Go
1
star
17

superframes

Python
1
star
18

fluents

Access all solutions of a Prolog goal without backtracking
Prolog
1
star
19

tbsp

Transition-based semantic parser for Discourse Representation Structures
Python
1
star