@edechter
github

edechter

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    30
  • Global Rank 489,436 (Top 17 %)
  • Followers 7
  • Registered over 13 years ago
  • Most used languages
    Prolog
         45.5 %
    Perl
         18.2 %
    Scheme
         9.1 %
    C++
         9.1 %
    OCaml
         9.1 %
    TeX
         9.1 %

Top repositories

1

open_dicts

Open dicts for SWI Prolog
Prolog
7
star
2

prolog-el

Prolog mode for emacs
Prolog
3
star
3

probprog

Repo for Dechter, Johnson, Tavares final project for 6.945.
Scheme
3
star
4

strappy

TeX
2
star
5

with_state

Stateful computation with records for Prolog
Prolog
2
star
6

with

Context managers for SWI Prolog
Prolog
2
star
7

LPN

Latent Predicate Networks
Perl
1
star
8

iprover

Automatically exported from code.google.com/p/iprover
OCaml
1
star
9

PrismRepl

A rlwrap-based REPL for the PRISM probabilistic logic programming shell.
Perl
1
star
10

GenLog

Prolog
1
star