Popular repositories Loading

1. CafeInMaude CafeInMaude Public

   Translation from CafeOBJ to Maude

   TeX 6 2

2. MUnit MUnit Public

   2 2

3. SmartContractsInMaude SmartContractsInMaude Public

   2 1

4. tweetSuccess tweetSuccess Public

   Jupyter Notebook 1

5. sscheck sscheck Public

   Forked from juanrh/sscheck

   ScalaCheck for Spark

   Scala

6. chisel chisel Public

   Chisel is a Maude tool for slicing programs whose semantics has been previously specified in Maude.