ramsdell/agum ramsdell/agum

  • Stars
    star
    10
  • Rank 1,807,489 (Top 36 %)
  • Language
    Haskell
  • License
    GNU General Publi...
  • Created almost 12 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ramsdell/agum
github

ramsdell

Reviews

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

Repository Details

Unification and Matching in an Abelian Group

More Repositories

1

ocaml-datalog

This package contains a lightweight deductive database system in OCaml
OCaml
37
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