ramsdell/ocaml-datalog ramsdell/ocaml-datalog

  • Stars
    star
    37
  • Rank 720,807 (Top 15 %)
  • Language
    OCaml
  • License
    GNU Lesser Genera...
  • Created almost 12 years ago
  • Updated almost 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ramsdell/ocaml-datalog
github

ramsdell

Reviews

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

Repository Details

This package contains a lightweight deductive database system in OCaml

More Repositories

1

agum

Unification and Matching in an Abelian Group
Haskell
10
star
2

datalog

Datalog interpreter in Lua
C
6
star
3

chase

OCaml
5
star
4

gtksudoku

GTK Sudoku eliminates much of the drudgery of solving a Sudoku puzzle and provides educational tips should the path to the solution become obscured.
C
5
star
5

cmu

Unification in a Commutative Monoid
Haskell
3
star
6

lineqpp

The Linear Equations Preprocessor solves linear equations and then substitutes the solutions into a document at prescribed locations. It provides linear equation solving capability similar to what is provided by MetaPost, as a general purpose preprocessor. It can be used with SVG to specify the position of graphics objects using a set of linear equations.
C
2
star
7

cpsa

Cryptographic Protocol Shapes Analyzer (CPSA)
Scilab
1
star