ramsdell/cpsa ramsdell/cpsa

  • Stars
    star
    1
  • Language Scilab
  • License
    Other
  • Created over 9 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ramsdell/cpsa
github

ramsdell

Reviews

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

Repository Details

Cryptographic Protocol Shapes Analyzer (CPSA)

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

cmu

Unification in a Commutative Monoid
Haskell
3
star
7

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