triska/trs triska/trs

  • Stars
    star
    10
  • Rank 1,807,489 (Top 36 %)
  • Language
    Prolog
  • Created over 9 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
triska/trs
github

triska

Reviews

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

Repository Details

Reason about Term Rewriting Systems

More Repositories

1

the-power-of-prolog

Introduction to modern Prolog
HTML
1,106
star
2

clpz

Constraint Logic Programming over Integers
Prolog
165
star
3

clpfd

Constraint Logic Programming over Finite Domains
Prolog
153
star
4

lisprolog

Interpreter for a simple Lisp. Written in Prolog.
Prolog
136
star
5

ediprolog

Emacs Does Interactive Prolog
Emacs Lisp
37
star
6

letswicrypt

Prolog HTTPS Servers
Prolog
34
star
7

clpb

Boolean Constraint Solving in Prolog
Prolog
31
star
8

simsttab

Simple timetabling engine for schools
Prolog
21
star
9

proloxy

Prolog Reverse Proxy
Prolog
19
star
10

bitcoinolog

Reason about Bitcoin addresses with Prolog
Prolog
19
star
11

presprover

Prove formulas of Presburger Arithmetic
Prolog
7
star
12

scc

Strongly Connected Components of a Graph
Prolog
6
star