bozsahin/knuth-conjecture bozsahin/knuth-conjecture

  • Stars
    star
    1
  • Language
    Common Lisp
  • Created over 7 years ago
  • Updated over 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
bozsahin/knuth-conjecture
github

bozsahin

Reviews

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

Repository Details

Knuth conjecture as a planning problem, i.e. operator sequencing from 3 or 4.

More Repositories

1

ceng444

METU Computer science introductory compiler course: Language Processors
Common Lisp
44
star
2

ccglab

Combinatory Categorial Grammar (CCG): Full set CCG, and probabilistic CCG
Common Lisp
26
star
3

cogs579

METU course on Philosophy of Computer Science
23
star
4

ccg-latex

latex style file for drawing Combinatory Categorial Grammar (CCG) derivations
TeX
21
star
5

cogs517-philosophy-of-cogsci

This is the repo for the course above at METU when i teach it.
19
star
6

cogs501

course site for METU COGS501 when i teach the course
11
star
7

cogs542

METU Cognitive science course: combinators and cognition
Common Lisp
10
star
8

ccglab-database

collection of CCGlab grammars and models
Common Lisp
5
star
9

yalalr

yet another LALR parser generator interface
Common Lisp
5
star
10

ccglab-grammars

CCG: sample grammars in CCGlab, for linguistic analyses, modeling, training
Common Lisp
3
star
11

learning-causal-relations-old-style

Lisp code for learning causal relations in a text as and/or trees
Common Lisp
2
star
12

thebench

A tool for studying Monadic Structures in Natural Language
Common Lisp
2
star
13

combinators-in-lisp

Combinators as Lisp constants on top of lambda calculus (and Church encoding)
Common Lisp
1
star
14

debruijn-index

deBruijn indices of a lambda term
Common Lisp
1
star
15

sly-example

This is python code for use of sly.py for parsing and intermediate/target code generation for a natural language grammar
Python
1
star
16

ling487-bogazici

Ling 487: Mathematics and Philosophy in Linguistics (Bogazici Linguistics elective course)
1
star
17

cl-indexer

Indexer for top-level forms in a Common Lisp file
Common Lisp
1
star
18

decorator

Python decorators, from functions with some arguments, to composition, decorators with args and fixpoint
Python
1
star