ramsdell/cmu ramsdell/cmu

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    Haskell
  • License
    GNU General Publi...
  • Created almost 12 years ago
  • Updated about 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ramsdell/cmu
github

ramsdell

Reviews

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

Repository Details

Unification in a Commutative Monoid

More Repositories

1

ocaml-datalog

This package contains a lightweight deductive database system in OCaml
OCaml
37
star
2

agum

Unification and Matching in an Abelian Group
Haskell
10
star
3

datalog

Datalog interpreter in Lua
C
6
star
4

chase

OCaml
5
star
5

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
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